Sciweavers

1164 search results - page 77 / 233
» Type based service composition
Sort
View
112
Voted
ENASE
2009
88views Hardware» more  ENASE 2009»
15 years 1 months ago
FOCAS: An Enginering Environment for Service-Based Applications
Service composition is an important topic, but so far addressed from a technical and low level perspective. The issue is not (too much) the orchestration formalism, but rather the ...
Gabriel Pedraza, Idrissa A. Dieng, Jacky Estublier
152
Voted
NOSSDAV
2005
Springer
15 years 9 months ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...
142
Voted
PODS
2005
ACM
99views Database» more  PODS 2005»
16 years 3 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...
140
Voted
WWW
2004
ACM
16 years 4 months ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su
149
Voted
ICWE
2010
Springer
15 years 2 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...