4795 search results - page 436 / 959 » The Message Classification Model |
175
click to vote
INDOCRYPT
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We introduce a new undeniable signature scheme which is existentially unforgeable and anonymous under chosen message attacks in the standard model. The scheme is an embed...
173
click to vote
SEKE
2004
Springer
16 years 7 days ago
2004
Springer
UML statecharts are widely used to specify the dynamic behaviours of systems . To support systematic simulation of such models, we propose an approach to map systems specified usin...
137
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
Refinement is a key methodology for SoC design. The proposed IPSIM design environment, based on a C++ modeling library developed on top of SystemC 3.0, supports an object-oriented...
226
click to vote
PDP
2002
IEEE
15 years 11 months ago
2002
IEEE
A parallel simulated annealing algorithm to solve the vehicle routing problem with time windows is presented. The objective is to find the best possible solutions to some wellkno...
198
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
We describe and analyze a new digital signature scheme. The new scheme is quite efficient, does not require the the signer to maintain any state, and can be proven secure against ...