5128 search results - page 710 / 1026 » When Abstraction Fails |
206
click to vote
INDOCRYPT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The recently introduced Galois/Counter Mode (GCM) of operation for block ciphers provides both encryption and message authentication, using universal hashing based on mul...
178
click to vote
ISOLA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
175
click to vote
KI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
200
click to vote
MABS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A simulation-based tool is described which will be used to investigate how the actors in a transport chain are expected to act when different types of governmental contro...
161
click to vote
MABS
2004
Springer
16 years 3 days ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...