3938 search results - page 238 / 788 » Interactive Protocols on the Reals |
171
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
177
click to vote
SPAA
1998
ACM
15 years 10 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
187
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
163
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a topological navigation system that is able to visually recognize the different rooms of an apartment and guide a robot between them. Specifically tailored for sma...
150
click to vote
ACRI
2006
Springer
16 years 17 days ago
2006
Springer
This paper presents an application of Cellular Automata in the field of dry Granular Systems modelling. While the study of granular systems is not a recent field, no efficient mo...