Sciweavers

2317 search results - page 127 / 464
» Model based testing for agent systems
Sort
View
129
Voted
DAGSTUHL
2004
15 years 4 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
116
Voted
FLAIRS
2004
15 years 4 months ago
A New Filtering Model towards an Intelligent Guide Agent
In E-learning systems, where both helpers (tutors) and learners are separated geographically, finding a reliable helper is one of the most important challenges. Although helpers c...
Mohammed Abdel Razek, Claude Frasson, Marc Kaltenb...
DSN
2000
IEEE
15 years 8 months ago
Testing for Software Vulnerability Using Environment Perturbation
We describe an methodology for testing a software system for possible security flaws. Based on the observation that most security flaws are caused by the program’s inappropria...
Wenliang Du, Aditya P. Mathur
AAAI
1997
15 years 4 months ago
Model Decomposition and Simulation: A Component Based Qualitative Simulation Algorithm
Traditionally, qualitative simulation uses a global, state-based representation to describe the behavior of the modeled system. For larger, more complex systems this representatio...
Daniel J. Clancy, Benjamin Kuipers
134
Voted
ATAL
2007
Springer
15 years 9 months ago
Coordination and Sociability for Intelligent Virtual Agents
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
Francisco Grimaldo, Miguel Lozano, Fernando Barber