107 search results - page 3 / 22 » Dependable Polygon-Processing Algorithms for Safety-Critical... |
ECRTS
2004
IEEE
13 years 9 months ago
2004
IEEE
In this paper we present a concurrency control algorithm that allows co-existence of soft real-time, relational database transactions, and hard real-time database pointer transact...
HOST
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs) used in safety critical, security and military systems. The migration of IC fabrication to low-cost ...
EDCC
2005
Springer
13 years 11 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...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
DCOSS
2007
Springer
13 years 11 months ago
2007
Springer
With the field of wireless sensor networks rapidly maturing, the focus shifts from “easy” deployments, like remote monitoring, to more difficult domains where applications imp...