4350 search results - page 82 / 870 » Case studies for contract-based systems |
FLAIRS
2006
13 years 11 months ago
2006
The use of ontologies based on knowledge representation architectures to support search and other decision-making problems in production environments has become a critical compone...
EXPERT
1998
13 years 9 months ago
1998
This article illustrates the complexities of real-world planning and how we can create AI planning systems to address them. We describe the IMACS Project (Interactive Manufacturab...
CASES
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
FATES
2003
Springer
14 years 3 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
WOSP
2004
ACM
14 years 3 months ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...