900 search results - page 106 / 180 » On the observational theory of the CPS-calculus |
160
click to vote
INFOCOM
2009
IEEE
16 years 28 days ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...
179
click to vote
LICS
2009
IEEE
16 years 28 days ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
142
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
173
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
This paper reports on a novel decentralised technique for planning agent schedules in dynamic task allocation problems. Specifically, we use a Markov game formulation of these pr...
158
click to vote
CIKM
2009
Springer
16 years 26 days ago
2009
Springer
On photo sharing websites like Flickr and Zooomr, users are offered the possibility to assign tags to their uploaded pictures. Using these tags to find interesting groups of sem...