5401 search results - page 374 / 1081 » Using Versions in GIS |
175
click to vote
ASIACRYPT
2003
Springer
15 years 10 months ago
2003
Springer
One of the recent thrust areas in research on hyperelliptic curve cryptography has been to obtain explicit formulae for performing arithmetic in the Jacobian of such curves. We con...
198
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
199
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
We describe an enhanced version of the TWINKLE factoring device and analyse to what extent it can be expected to speed up the sieving step of the Quadratic Sieve and Number Field S...
177
Voted
HYBRID
1995
Springer
15 years 10 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
151
click to vote
AIPS
2010
15 years 9 months ago
2010
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...