13041 search results - page 107 / 2609 » Simulating space and time |
VLDB
2005
ACM
15 years 7 months ago
2005
ACM
112
click to vote
ICCSA
2004
Springer
15 years 7 months ago
2004
Springer
We propose Inflate-Paste – a new technique for generating orthogonal polygons with a given number of vertices from a unit square based on gluing rectangles. It is dual to Inflate...
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
ICTAC
2004
Springer
15 years 7 months ago
2004
Springer
We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and...
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer