55 search results - page 9 / 11 » Reasoning about strategies of multi-agent programs |
PLDI
2006
ACM
14 years 6 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
ROBOCUP
2004
Springer
13 years 11 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
ICCL
1998
IEEE
13 years 10 months ago
1998
IEEE
We study communication primitives for interaction between mobile agents. They can be classified into two groups. At a low level there are location dependent primitives that require...
TLDI
2009
ACM
14 years 3 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...