Sciweavers

1360 search results - page 166 / 272
» Reasoning on Workflow Executions
Sort
View
EDOC
2004
IEEE
14 years 1 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
EUROMICRO
2004
IEEE
14 years 1 months ago
Towards Predicting Real-Time Properties of a Component Assembly
This paper addresses the prediction of timing properties of a component-based application already during the composition phase. At this stage, it is of vital importance to guarant...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...
HOTDEP
2008
113views Hardware» more  HOTDEP 2008»
14 years 12 days ago
Consistability: Describing Usually Consistent Systems
Current weak consistency semantics provide worst-case guarantees to clients. These guarantees fail to adequately describe systems that provide varying levels of consistency in the...
Amitanand S. Aiyer, Eric Anderson, Xiaozhou Li, Me...
NIPS
2008
13 years 11 months ago
Using Bayesian Dynamical Systems for Motion Template Libraries
Motor primitives or motion templates have become an important concept for both modeling human motor control as well as generating robot behaviors using imitation learning. Recent ...
Silvia Chiappa, Jens Kober, Jan Peters
SERVICES
2008
77views more  SERVICES 2008»
13 years 11 months ago
Dynamic Service Substitution in Service-Oriented Architectures
The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research e...
Manel Fredj, Nikolaos Georgantas, Valérie I...