87 search results - page 9 / 18 » Modeling System Security Rules with Time Constraints Using T... |
132
click to vote
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
122
click to vote
TROB
2002
15 years 2 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
139
click to vote
IJCAI
2003
15 years 4 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
131
click to vote
SSS
2010
Springer
15 years 29 days ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
160
click to vote
WACV
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper describes a new method to improve inertial navigation using feature-based constraints from one or more video cameras. The proposed method lengthens the period of tim...