2024 search results - page 97 / 405 » A Formal Model of Multi-agent Computations |
153
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
114
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
157
click to vote
ENTCS
2006
15 years 4 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
135
click to vote
TCS
2010
15 years 2 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
138
click to vote
CSFW
2006
IEEE
15 years 10 months 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...