1753 search results - page 323 / 351 » State Machines |
210
click to vote
PODC
2004
ACM
16 years 28 days ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
197
Voted
CRYPTO
2004
Springer
16 years 27 days ago
2004
Springer
We study both distinguishing and key-recovery attacks against E0, the keystream generator used in Bluetooth by means of correlation. First, a powerful computation method of correla...
223
Voted
EMSOFT
2004
Springer
16 years 27 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
257
click to vote
IFIP
2004
Springer
16 years 26 days ago
2004
Springer
The parallel packet switch (PPS) extends the inverse multiplexing architecture, and is extensively used as the core of contemporary commercial switches. A key factor in the perfor...
215
Voted
WADT
2004
Springer
16 years 25 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...