Sciweavers

534 search results - page 74 / 107
» A Framework for Dependency Based Automatic Service Compositi...
Sort
View
ICRA
2009
IEEE
108views Robotics» more  ICRA 2009»
14 years 2 months ago
Local decomposition and observability properties for automatic calibration in mobile robotics
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...
Agostino Martinelli
EON
2008
13 years 9 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
BPM
2004
Springer
114views Business» more  BPM 2004»
14 years 1 months ago
Modeling Medical E-services
On the one hand Web services are gaining increasing attention. A lot of standardization has improved their stability and range of application. Composition and coordination techniqu...
Rainer Anzböck, Schahram Dustdar
IDEAS
2007
IEEE
144views Database» more  IDEAS 2007»
14 years 2 months ago
An Extensible and Personalized Approach to QoS-enabled Service Discovery
We present an extensible and customizable framework for the autonomous discovery of Semantic Web services based on their QoS properties. Using semantic technologies, users can spe...
Le-Hung Vu, Fabio Porto, Karl Aberer, Manfred Haus...
ICLP
1997
Springer
13 years 12 months ago
Automatic Termination Analysis of Logic Programs
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
Naomi Lindenstrauss, Yehoshua Sagiv