669 search results - page 92 / 134 » critical 2005 |
102
click to vote
EDCC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
EPIA
2005
Springer
15 years 5 months ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
121
click to vote
EUC
2005
Springer
15 years 5 months ago
2005
Springer
As sensor networks mature the current generation of sensor networks that are application-specific and exposed only to a limited set of users will give way to heterogeneous sensor ...
118
click to vote
EUC
2005
Springer
15 years 5 months ago
2005
Springer
Wireless sensor networks comprise of small nodes with sensing, computation and wireless communication capabilities. The energy efficiency is a substantial key design issues in suc...