1186 search results - page 61 / 238 » Goal-Oriented Interaction Protocols |
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
BIRTHDAY
2006
Springer
14 years 1 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
EUROCRYPT
2006
Springer
14 years 1 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
While a variety of mechanisms have been developed for securing individual intra-domain protocols, none address the issue in a holistic manner. We develop a unified framework to sec...
WCNC
2010
IEEE
14 years 1 months ago
2010
IEEE
—This paper aims at answering the questions of how to enable cooperative communications in random access networks. And, since cooperation introduces extra transmissions in the ch...