2317 search results - page 143 / 464 » Model based testing for agent systems |
122
Voted
CASCON
1996
15 years 4 months ago
1996
The lack of an appropriate external data model is one of the reasons for the dearth of eective network management applications. Many network management computations over Managemen...
125
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we introduce a formal-language model for explicitly formalizing agent-environment interaction in a multiagent systems (MAS) framework: Conversational Grammar System...
172
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
136
Voted
IEAAIE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
138
Voted
CIMCA
2006
IEEE
15 years 9 months ago
2006
IEEE
The aim of this paper is to propose a service oriented decision support system based on an ontology-driven uncertainty model (OntoBayes). OntoBayes consists of knowledge and decis...