Sciweavers

2317 search results - page 167 / 464
» Model based testing for agent systems
Sort
View
130
Voted
ICSE
2001
IEEE-ACM
15 years 8 months ago
Engineering Mobile-Agent Applications via Context-Dependent Coordination
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
140
Voted
SRDS
1999
IEEE
15 years 8 months ago
An Agent Platform for Reliable Asynchronous Distributed Programming
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
Luc Bellissard, Noel De Palma, André Freyss...
106
Voted
AAAI
2010
15 years 5 months ago
Intentions in Equilibrium
Intentions have been widely studied in AI, both in the context of decision-making within individual agents and in multiagent systems. Work on intentions in multi-agent systems has...
John Grant, Sarit Kraus, Michael Wooldridge
123
Voted
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
15 years 7 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund
135
Voted
MUE
2007
IEEE
137views Multimedia» more  MUE 2007»
15 years 10 months ago
Process Management Agent
In this paper, agent based process management model is proposed, which is for the process management of knowledge worker and service workers in order to establish the basis for th...
Jeong Ah Kim, Seung Yong Choi