13041 search results - page 107 / 2609 » Simulating space and time |
VLDB
2005
ACM
15 years 10 months ago
2005
ACM
147
click to vote
ICCSA
2004
Springer
15 years 10 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...
128
click to vote
ICTAC
2004
Springer
15 years 10 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...