2317 search results - page 293 / 464 » Model based testing for agent systems |
112
click to vote
EAAI
2008
15 years 3 months ago
2008
Multi-agent systems allow the simulation of complex phenomena that cannot easily be described analytically. Multi-agent approaches are often based on coordinating agents whose act...
112
click to vote
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
117
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
130
click to vote
WORDS
2003
IEEE
15 years 8 months ago
2003
IEEE
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
122
click to vote
JODS
2008
15 years 3 months ago
2008
This paper proposes a cooperative approach for composite ontology mapping. We first present an extended classification of automated ontology matching and propose an automatic compo...