6 search results - page 2 / 2 » Timed Concurrent Constraint Programming: Decidability Result... |
MIDDLEWARE
2007
Springer
13 years 11 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...