4795 search results - page 436 / 959 » The Message Classification Model |
188
click to vote
INDOCRYPT
2005
Springer
16 years 1 months 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...
186
click to vote
SEKE
2004
Springer
16 years 28 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...
146
click to vote
DATE
2003
IEEE
16 years 26 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...
240
click to vote
PDP
2002
IEEE
16 years 15 days 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...
210
click to vote
CCS
1999
ACM
15 years 12 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 ...