5350 search results - page 61 / 1070 » Space and time in eco-ontologies |
ICTAC
2004
Springer
15 years 3 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 3 months ago
2004
Springer
COSIT
2003
Springer
15 years 3 months ago
2003
Springer
To travel successfully in a dynamic space-time setting, wayfinders must project the impact of a changing environment onto future travel choices. When making decisions, however, peo...
EUROPAR
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents the design and experimental evaluation of two dynamic load partitioning and balancing strategies for parallel Structured Adaptive Mesh Refinement (SAMR) applic...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE