485 search results - page 24 / 97 » System Safety Requirements as Control Structures |
DEON
2010
Springer
14 years 1 months ago
2010
Springer
Compliance is often achieved ‘by design’ through a coherent system of controls consisting of information systems and procedures . This system-based control requires a new appro...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
AINA
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in f...
HASE
2007
IEEE
14 years 3 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
IJRR
2007
13 years 8 months ago
2007
This paper proposes an algorithm that drives a unicycle type robot to a desired path, including obstacle avoidance capabilities. The path-following control design relies on Lyapun...