4350 search results - page 82 / 870 » Case studies for contract-based systems |
108
Voted
FLAIRS
2006
15 years 5 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...
125
Voted
EXPERT
1998
15 years 3 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...
124
Voted
CASES
2006
ACM
15 years 9 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...
136
Voted
FATES
2003
Springer
15 years 9 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) ...
136
Voted
WOSP
2004
ACM
15 years 9 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...