4895 search results - page 596 / 979 » Functional Quantum Programming |
134
click to vote
ICN
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
156
click to vote
TACAS
2005
Springer
16 years 3 days ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
196
click to vote
AUSAI
2004
Springer
16 years 1 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
155
click to vote
CSL
2004
Springer
16 years 1 days ago
2004
Springer
Set constraints are a useful formalism for verifying properties of programs. Usually, they are interpreted over the universe of finite terms. However, some logic languages allow i...
165
click to vote
ICALP
2004
Springer
16 years 17 hour ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...