Sciweavers

3729 search results - page 119 / 746
» On Formal Modeling of Agent Computations
Sort
View
AOSE
2001
Springer
15 years 11 months ago
A Lifecycle for Models of Large Multi-agent Systems
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...
AAAI
2006
15 years 7 months ago
Multiparty Proactive Communication: A Perspective for Evolving Shared Mental Models
Helping behavior in effective teams is enabled by some overlapping "shared mental models" that are developed and maintained by members of the team. In this paper, we tak...
Kaivan Kamali, Xiaocong Fan, John Yen
CCS
2004
ACM
15 years 11 months ago
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture
In order to solve future Multi Level Security (MLS) problems, we have developed a solution based on the DARPA Polymorphous Computing Architecture (PCA). MLS-PCA uses a novel distr...
Brant Hashii
ECAI
2010
Springer
15 years 7 months ago
Modelling Multilateral Negotiation in Linear Logic
Abstract. We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, ...
Daniele Porello, Ulle Endriss
EATIS
2007
ACM
15 years 10 months ago
Introducing interaction-based auctions into a model agent-based e-commerce system: preliminary considerations
In our work we have proposed an agent-based model e-commerce system. In this system buyer agents negotiate prices with seller agents. Thus far our attention was devoted "one ...
Maciej Gawinecki, Pawel Kobzdej, Maria Ganzha, Mar...