1167 search results - page 156 / 234 » A Really Temporal Logic |
137
click to vote
TIME
2006
IEEE
15 years 7 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
116
click to vote
TIME
2005
IEEE
15 years 7 months ago
2005
IEEE
Historical information can be effectively preserved using XML and searched through powerful historical queries written in XQuery. Indeed, by storing the successive versions of a d...
137
click to vote
UML
2004
Springer
15 years 7 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
111
click to vote
STACS
2001
Springer
15 years 6 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
113
click to vote
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...