1980 search results - page 125 / 396 » Compositional Model Checking of Real Time Systems |
121
click to vote
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
104
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The premise of automated alert correlation is to accept that false alerts from a low level intrusion detection system are inevitable and use attack models to explain the output in ...
136
click to vote
CA
1998
IEEE
15 years 6 months ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...
145
click to vote
IJITN
2010
14 years 11 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
109
click to vote
MEMOCODE
2003
IEEE
15 years 7 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...