264 search results - page 14 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
We propose a probabilistic contract signing protocol that achieves balance even in the presence of an adversary that may delay messages sent over secure channels. To show that this...
VMCAI
2010
Springer
15 years 8 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
129
click to vote
CLIMA
2006
15 years 18 days ago
2006
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
118
click to vote
IEAAIE
2011
Springer
14 years 2 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...