844 search results - page 11 / 169 » aim 2004 |
AUSAI
2004
Springer
14 years 29 days ago
2004
Springer
This paper presents a formal method based on the high-level semantics of processes to reason about continuous change. With a case study we show how the semantics of processes can b...
CAISE
2004
Springer
14 years 28 days ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
CAV
2004
Springer
14 years 28 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
ECAI
2004
Springer
14 years 28 days ago
2004
Springer
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
EUSAI
2004
Springer
14 years 28 days ago
2004
Springer
Context-aware services platforms aim at supporting the handling of contextual information in order to provide better user-tailored services. This paper addresses our current effort...