Sciweavers

502 search results - page 51 / 101
» Development and Application of a Formal Agent Framework
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 6 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
VRML
2003
ACM
15 years 9 months ago
Implementation of a scripting language for VRML/X3D-based embodied agents
Embodied agents or humanoid avatars may effectively be used to communicate with human users. Currently there is a wide range of specification formalisms and scripting languages f...
Zhisheng Huang, Anton Eliëns, Cees T. Visser
ODR
2008
15 years 5 months ago
A Multi-Agent Architecture for Online Dispute Resolution Services
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...
Brooke Abrahams, John Zeleznikow
IJCAI
2001
15 years 5 months ago
CAST: Collaborative Agents for Simulating Teamwork
Psychological studies on teamwork have shown that an effective team often can anticipate information needs of teammates based on a shared mental model. Existing multi-agent models...
John Yen, Jianwen Yin, Thomas R. Ioerger, Michael ...
ICWN
2007
15 years 5 months ago
Comparing Agent Paradigms for Resource Management in Sensor Networks
— Management of power and other resources that effect field life is an important consideration in sensor networks. This paper presents and compares alternative agent paradigms ap...
Anish Anthony, Thomas C. Jannett