103 search results - page 8 / 21 » A Contract-based Approach to Designing Safe Systems |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— Facing new tasks, the conventional rigid design of robotic joints has come to its limits. Operating in unknown environments current robots are prone to failure when hitting unf...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
MEDINFO
2007
13 years 9 months ago
2007
In this paper we describe a model of clinical information designed to make health information systems properly interoperable and safely computable. The model is a response to a nu...