7766 search results - page 174 / 1554 » Testing Nondeterminate Systems |
DATE
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
CEEMAS
2005
Springer
14 years 3 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
TABLEAUX
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
HCI
2007
13 years 11 months ago
2007
The collection and sharing of results from usability laboratories around the world has not yet made good use of emerging models of Internetbased knowledge sharing technologies. Thi...