1860 search results - page 217 / 372 » A Temporal Logic of Robustness |
103
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
106
click to vote
LOGCOM
2006
15 years 1 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
237
click to vote
AMCS
2011
14 years 8 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
132
Voted
TII
2010
14 years 8 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
125
click to vote
ICCV
1999
IEEE
16 years 3 months ago
1999
IEEE
Proc. of the International Conference on Computer Vision, Corfu (Sept. 1999) An object recognition system has been developed that uses a new class of local image features. The fea...