2638 search results - page 251 / 528 » Frameworks for Reasoning about Agent Based Systems |
193
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
165
click to vote
PLDI
1997
ACM
15 years 10 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
201
click to vote
AMKM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Distributed knowledge management systems (DKMS) have been suggested to meet the requirements of today’s knowledge management. Peer-to-peer systems offer technical found...
165
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...
183
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Three distinct and interacting types of entities: people, software agents and e-markets are considered in this paper. These entities operate within Shaman, a proposed framework fo...