518 search results - page 21 / 104 » Time Window Temporal Logic |
TIME
2009
IEEE
15 years 6 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
109
Voted
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
AI
2007
Springer
14 years 11 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
ICTAC
2004
Springer
15 years 4 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
ER
2004
Springer
15 years 4 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...