1264 search results - page 56 / 253 » Designing Safe, Reliable Systems using Scade |
121
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
124
click to vote
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a technique for task response time improvement based on the concept of code motion from the software domain. Relaxed Operation Motion (ROM) is a simple yet powerful app...
163
click to vote
IPSN
2010
Springer
15 years 6 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
164
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Fully autonomous vehicles promise enormous gains in safety, efficiency, and economy. Before such gains can be realized, safety and reliability concerns must be addressed. We have ...
129
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...