1297 search results - page 113 / 260 » Semantic Correctness in Adaptive Process Management Systems |
COORDINATION
2005
Springer
14 years 2 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
COMPSAC
1996
IEEE
14 years 1 months ago
1996
IEEE
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
WIDM
2006
ACM
14 years 3 months ago
2006
ACM
Geoscience studies produce data from various observations, experiments, and simulations at an enormous rate. With proliferation of applications and data formats, the geoscience re...
EUROSSC
2006
Springer
14 years 26 days ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
EUC
2004
Springer
14 years 2 months ago
2004
Springer
In a ubiquitous computing environment, users continuously access computing services and interact with smart spaces, while moving from one place to another. Application migration, t...