Sciweavers

2123 search results - page 113 / 425
» Composition of Cyber-Physical Systems
Sort
View
LPNMR
2005
Springer
15 years 10 months ago
An ID-Logic Formalization of the Composition of Autonomous Databases
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
RTSS
2003
IEEE
15 years 9 months ago
Periodic Resource Model for Compositional Real-Time Guarantees
We address the problem of providing compositional hard real-time guarantees in a hierarchy of schedulers. We first propose a resource model to characterize a periodic resource al...
Insik Shin, Insup Lee
ATAL
2003
Springer
15 years 8 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
DGO
2007
142views Education» more  DGO 2007»
15 years 6 months ago
ARGOS: dynamic composition of web services for goods movement analysis and planning (project highlights 2007)
Poster. We highlight the latest developments in the Argos project. First, we describe our approach to automatic workflow composition. Second, we discuss the validation of the fre...
José Luis Ambite, Genevieve Giuliano, Peter...
NIPS
2003
15 years 5 months ago
A Holistic Approach to Compositional Semantics: A Connectionist Model and Robot Experiments
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...
Yuuya Sugita, Jun Tani