1186 search results - page 6 / 238 » Goal-Oriented Interaction Protocols |
GI
2009
Springer
13 years 6 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...
ESOP
1999
Springer
14 years 25 days ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...
SP
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--We consider resource-constrained broadcast authentication for n receivers in a static, known network topology. There are only two known broadcast authentication protocols...
ESAW
2006
Springer
14 years 7 days ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...