1180 search results - page 147 / 236 » Interaction Protocols in Agentis |
ISSS
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
91
Voted
CRYPTO
2009
Springer
15 years 4 months ago
2009
Springer
The round complexity of interactive protocols is one of their most important complexity measures. In this work we prove that existing lower bounds for the round complexity of VSS c...
92
Voted
GI
2007
Springer
15 years 4 months ago
2007
Springer
: Container security systems including electronic seals play an important role in securing container logistics. Nevertheless, a lack of standards prevents devices by different vend...
116
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
111
click to vote
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...