518 search results - page 45 / 104 » Time Window Temporal Logic |
142
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
165
click to vote
SEW
2003
IEEE
15 years 11 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
146
click to vote
AI
2004
Springer
15 years 5 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
155
click to vote
TIME
2006
IEEE
15 years 12 months ago
2006
IEEE
In this paper, we present our work on creating a complete set of rules for temporal arithmetic mixing months and days based on the “history-dependent intuition”. Many examples...
156
click to vote
TIME
2007
IEEE
16 years 7 days ago
2007
IEEE
Computer science has long been considered to emphasize three distinct perspectives: mathematics, science, and engineering. While the database field has some very strong mathemati...