4350 search results - page 257 / 870 » Case studies for contract-based systems |
164
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a case study where SofTrack a Software Defect Report and Tracking System - was implemented using internet technology in a geographically distributed organizat...
134
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This article presents a multi-agent dialogue system. We show how a collection of relatively simple agents is able to treat complex dialogue phenomena and deal successfully with di...
170
click to vote
IJCAI
2007
15 years 8 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
162
click to vote
WSC
1997
15 years 8 months ago
1997
This paper presents an investigation of three simulation packages: VS7, SIMAN/CINEMA IV, and SIMFACTORY II.5. These packages were investigated with regard to their capabilities of...