225 search results - page 17 / 45 » Design for Constraint Violation Detection in Safety-Critical... |
160
click to vote
TC
2002
15 years 5 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
149
click to vote
ICDIM
2007
IEEE
16 years 10 days ago
2007
IEEE
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
161
click to vote
ICRA
2007
IEEE
16 years 9 days ago
2007
IEEE
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
164
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
147
click to vote
PERCOM
2005
ACM
16 years 5 months ago
2005
ACM
Mobile computers are subject to a unique form of denial of service attack known as a battery exhaustion attack, in which an attacker attempts to rapidly drain the battery of the d...