11063 search results - page 2024 / 2213 » On the existence of universal models |
220
click to vote
SIGECOM
2005
ACM
16 years 1 days ago
2005
ACM
This paper concerns the design of mechanisms for online scheduling in which agents bid for access to a re-usable resource such as processor time or wireless network access. Each a...
202
click to vote
SIGECOM
2005
ACM
16 years 1 days ago
2005
ACM
We introduce a new class of games, congestion games with failures (CGFs), which extends the class of congestion games to allow for facility failures. In a basic CGF (BCGF) agents ...
183
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we combine existing work in the area of social laws with a framework for reasoning about knowledge in multi-agent systems. The unifying framework in which this is do...
164
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
192
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...