4350 search results - page 18 / 870 » Case studies for contract-based systems |
FDL
2004
IEEE
14 years 1 months ago
2004
IEEE
In a companion paper [HVV04], we have investigated the deficiency of existing design approaches in supporting predictability for real-time control system development. A design app...
CSEE
1999
Springer
14 years 2 months ago
1999
Springer
Real-world case studies are important to complement the academic skills and knowledge acquired by computer science students. In this paper we relate our experiences with a course ...
CORR
1998
Springer
13 years 9 months ago
1998
Springer
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
ISMAR
2006
IEEE
14 years 3 months ago
2006
IEEE
This poster presents a qualitative user study investigating user experience and acceptance of an MR application designed to give instructions on how to start up a diathermy appara...
ECRTS
2002
IEEE
14 years 2 months ago
2002
IEEE