1769 search results - page 17 / 354 » An implementation of argument based discussion |
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
CL
2000
Springer
13 years 12 months ago
2000
Springer
Webbases are database systems that enable creation of Web applications that allow end users to shop around for products and services at various Web sites without having to manually...
SRDS
1999
IEEE
13 years 11 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
FLAIRS
2001
13 years 9 months ago
2001
This paper presents arguments for the application of a multiagent approach to spatial reasoning, and it is shown how spatial reasoning benefits from an agent-based implementation....