1901 search results - page 221 / 381 » Predicting Program Properties from |
127
click to vote
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
123
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
148
click to vote
SAS
2005
Springer
15 years 8 months ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
138
click to vote
TCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
138
click to vote
ASE
1999
15 years 3 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...