556 search results - page 64 / 112 » Checking Interval Properties of Computations |
109
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
170
click to vote
PERCOM
2010
ACM
15 years 2 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
118
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
184
click to vote
ESOP
2012
Springer
14 years 2 days ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
144
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...