1206 search results - page 41 / 242 » Concurrent Abstract Predicates |
KI
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. As an extension of the well
110
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a finite-state operator Y=F(X) ...
113
Voted
DEXAW
1999
IEEE
15 years 4 months ago
1999
IEEE
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
116
Voted
FLOPS
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
92
Voted
HYBRID
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...