45 search results - page 9 / 9 » Completeness and Consistency Analysis of State-Based Require... |
DELOS
2007
13 years 7 months ago
2007
Data Stream Management (DSM) addresses the continuous processing of sensor data. DSM requires the combination of stream operators, which may run on different distributed devices, ...
INTEGRATION
2008
13 years 5 months ago
2008
With the growing complexity in consumer embedded products, new tendencies forecast heterogeneous Multi-Processor SystemsOn-Chip (MPSoCs) consisting of complex integrated component...
OTM
2005
Springer
13 years 11 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
SPATIALCOGNITION
2000
Springer
13 years 9 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
AAI
2010
13 years 5 months ago
2010
Distributed Description Logics (DDL) enable reasoning with multiple ontologies interconnected by directional semantic mapping, called bridge rules. Bridge rules map concepts of a s...