Sciweavers

502 search results - page 35 / 101
» Development and Application of a Formal Agent Framework
Sort
View
117
Voted
ACOM
2004
Springer
15 years 8 months ago
A Model of Rational Agency for Communicating Agents
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
Shakil M. Khan, Yves Lespérance
AOSE
2007
Springer
15 years 10 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
SAC
2003
ACM
15 years 9 months ago
Enabling Mobile Agents to Dynamically Assume Roles
Agent-based application development must face the issues related to the interactions among agents. In fact, their sociality allows decomposing large applications into collaboratin...
Giacomo Cabri, Luca Ferrari, Letizia Leonardi
ICMAS
1998
15 years 5 months ago
Interaction Protocols in Agentis
Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the ...
Mark d'Inverno, David Kinny, Michael Luck
AO
2006
127views more  AO 2006»
15 years 4 months ago
Formal ontology meets industry
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
Stefano Borgo, Matteo Cristani, Roberta Cuel