302 search results - page 28 / 61 » An approach to synthesise safe systems |
119
Voted
TROB
2010
14 years 7 months ago
2010
The manipulation of fast moving, delicate tissues in beating heart procedures presents a considerable challenge to the surgeon. A robotic force tracking system can assist the surge...
114
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...
OSDI
1994
ACM
15 years 1 months ago
1994
ACM
Structural changes, such as file creation and block allocation, have consistently been identified as file system performance problems in many user environments. We compare several...
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
MEDINFO
2007
15 years 1 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...