4350 search results - page 50 / 870 » Case studies for contract-based systems |
DAGSTUHL
2009
13 years 11 months ago
2009
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
COLING
1992
13 years 11 months ago
1992
This paper proposes a methodology for the eustomisation of natural language interfaces to information retrieval applications. We report a field study in which we tested this metho...
MASCOTS
2004
13 years 11 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
ROBOCOMM
2007
IEEE
14 years 4 months ago
2007
IEEE
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
ADAEUROPE
2010
Springer
14 years 2 months ago
2010
Springer
The technology for building dependable computing systems has advanced dramatically. Nevertheless, there is still no complete solution to building software for critical systems in w...