Sciweavers

534 search results - page 74 / 107
» A Framework for Dependency Based Automatic Service Compositi...
Sort
View
122
Voted
ICRA
2009
IEEE
108views Robotics» more  ICRA 2009»
15 years 10 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
141
Voted
EON
2008
15 years 5 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
141
Voted
BPM
2004
Springer
114views Business» more  BPM 2004»
15 years 9 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
131
Voted
IDEAS
2007
IEEE
144views Database» more  IDEAS 2007»
15 years 10 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...
152
Voted
ICLP
1997
Springer
15 years 7 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