3028 search results - page 243 / 606 » Integrating Temporal Logics |
170
click to vote
ICFEM
2009
Springer
15 years 5 months ago
2009
Springer
We present the integration of refinement method of VSE verification tool, successfully used in industrial applications, in the Heterogeneous Tool Set HETS. The connection is done v...
185
click to vote
SAIG
2001
Springer
15 years 11 months ago
2001
Springer
Most foundational models for global computing have focused on the spatial dimension of computations, however global computing requires also new ways of thinking about the temporal ...
221
click to vote
FGR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper proposes a state based approach to gesture learning and recognition. Using spatial clustering and temporal alignment, each gesture is defined to be an ordered sequence ...
184
click to vote
FMLDO
1999
Springer
15 years 11 months ago
1999
Springer
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Fir...
195
click to vote
WORDS
2005
IEEE
16 years 26 days ago
2005
IEEE
Depending on the physical structuring of large distributed safety-critical real-time systems, one can distinguish federated and integrated system architectures. This paper investi...