1180 search results - page 95 / 236 » Interaction Protocols in Agentis |
112
click to vote
JUCS
2008
15 years 19 days ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
111
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...
97
Voted
TCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
105
Voted
ICLP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The FORCES project aims at providing robust and declarative formalisms for analyzing systems in the emerging areas of Security Protocols, Biological Systems and Multimedi...
126
Voted
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computi...