154 search results - page 8 / 31 » A Formal Semantics for Protocol Narrations |
120
click to vote
ACOM
2006
Springer
15 years 8 months ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
118
click to vote
FORTE
2007
15 years 3 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
124
click to vote
JCS
2007
15 years 1 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
137
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Agent communication languages such as KQML and the FIPA ACL serve as metalanguages to define software agent message-passing protocols. These metalanguages are incompatible with eac...
139
click to vote
IJSWIS
2006
15 years 1 months ago
2006
Popular online social networks such as Friendster and MySpace do more than simply reveal the superficial structure of social connectedness--the rich meanings bottled within social...