615 search results - page 69 / 123 » High-Level Nondeterministic Abstractions in |
103
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
108
click to vote
SPIN
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
111
click to vote
ECAL
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We propose the use of Deterministic Generalized Asynchronous Random Boolean Networks [1] as models of contextual deterministic discrete dynamical systems. We show that ch...
122
click to vote
CP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
109
click to vote
ISRR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper traces four years of evolution of the UNSW team in the RoboCup Sony legged robot league. The lessons learned in the creation of a competitive team are instruct...