Sciweavers

3268 search results - page 232 / 654
» Structured Service Composition
Sort
View
EICS
2009
ACM
15 years 11 months ago
Support for authoring service front-ends
The success of service-oriented computing has important implications on how people develop user interfaces. This paper discusses a method for supporting the development of interac...
Fabio Paternò, Carmen Santoro, Lucio Davide...
ECOWS
2006
Springer
15 years 10 months ago
Verifying Correctness of Web Services Choreography
This paper is about Web services used in distributed, inter-organizational business cooperation (choreography). In this application scenario, we have a multipart functional conven...
Tarek Melliti, Céline Boutrous-Saab, Sylvai...
ICWS
2008
IEEE
15 years 8 months ago
Multimedia Content Provisioning Using Service Oriented Architectures
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...
Ingo Brunkhorst, Sascha Tönnies, Wolf-Tilo Ba...
SWAP
2008
15 years 8 months ago
Exploiting Semantic Technology in Computational Logic-based Service Contracting
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
Marco Alberti, Massimiliano Cattafi, Marco Gavanel...
HASKELL
2009
ACM
16 years 1 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...