498 search results - page 27 / 100 » From Language to Time: A Temporal Expression Anchorer |
105
click to vote
ASIAN
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
131
Voted
ECOOP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
139
Voted
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...
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...
119
Voted
JOLLI
2002
15 years 1 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...