302 search results - page 48 / 61 » An approach to synthesise safe systems |
118
click to vote
PERVASIVE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper we introduce the simultaneous tracking and activity recognition (STAR) problem, which exploits the synergy between location and activity to provide the info...
ISSRE
2002
IEEE
15 years 5 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...
105
Voted
BPM
2009
Springer
15 years 1 months ago
2009
Springer
Alaska Simulator is an interactive software tool developed at the University of Innsbruck which allows people to explore different approaches to process flexibility by using a fami...
119
Voted
CADE
2003
Springer
16 years 23 days ago
2003
Springer
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
94
Voted
IPCCC
2007
IEEE
15 years 6 months ago
2007
IEEE
Successes and failures during rescue operations after hurricane Katrina and the Twin Towers attack demonstrated the importance of supporting first responders with adequate means t...