3028 search results - page 452 / 606 » Integrating Temporal Logics |
IEEEICCI
2002
IEEE
14 years 3 months ago
2002
IEEE
In this contribution we present a theoretical approach which has been utilized to inform the coordination of the development of complex systems. Coordination is regarded as a form...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we describe an algorithm and implementation of locality optimizations for architectures with instruction sets such as Intel’s SSE and Motorola’s AltiVec that su...
ISMAR
2002
IEEE
14 years 3 months ago
2002
IEEE
There is a problem in the spatial and temporal separation between the varying forms of representation used in urban design. Sketches, physical models, and more recently computatio...
PCM
2009
Springer
14 years 2 months ago
2009
Springer
Video content is growing at an explosive rate nowadays. How to consume them efficiently is an important research point for years. Although the widely investigated video summarizati...
CAV
2001
Springer
14 years 2 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...