Sciweavers

2317 search results - page 73 / 464
» Model based testing for agent systems
Sort
View
TACAS
2005
Springer
120views Algorithms» more  TACAS 2005»
15 years 8 months ago
Symbolic Test Selection Based on Approximate Analysis
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu,...
COMPSAC
2006
IEEE
15 years 8 months ago
Consensus Ontology Generation in a Socially Interacting MultiAgent System
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
Ergun Biçici
120
Voted
ATAL
2007
Springer
15 years 8 months ago
Interactions between market barriers and communication networks in marketing systems
We investigate a framework where agents search for satisfying products by using referrals from other agents. Our model of a mechanism for transmitting word-of-mouth and the result...
Ian N. Durbach, Jan H. Hofmeyr
138
Voted
AISADM
2005
Springer
15 years 8 months ago
A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes
Abstract. We present CoLe, a model for cooperative agents for mining knowledge from heterogeneous data. CoLe allows for the cooperation of different mining agents and the combinat...
Jie Gao, Jörg Denzinger, Robert C. James
119
Voted
ADC
2004
Springer
109views Database» more  ADC 2004»
15 years 6 months ago
A Model of Dynamic Resource Allocation in Workflow Systems
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
Guido Governatori, Antonino Rotolo, Shazia Wasim S...