1636 search results - page 145 / 328 » Reasoning About Quantum Systems |
161
click to vote
CCIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
161
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. RAID systems are widely deployed, both as standalone storage solutions and as the building blocks of modern virtualised storage platforms. An accurate model of RAID syste...
169
click to vote
IJFCS
2006
15 years 6 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
173
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
177
click to vote
CSFW
2006
IEEE
16 years 12 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...