Sciweavers

2375 search results - page 42 / 475
» Towards a Theory of Services
Sort
View
CSAC
2006
15 years 7 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
DAGSTUHL
2006
15 years 7 months ago
Towards a Services-Based Process Platform
Service oriented software architectures that are aware of business processes will form the core of
Dominik Kuropka, Mathias Weske
COR
2006
86views more  COR 2006»
15 years 6 months ago
G-functions for the hermeneutic circle of evolution
Evolution by natural selection may include both frequency and density-dependence. Frequency-dependent selection is a kind of hermeneutic circle. As a literary term (and a school o...
Joel S. Brown, Thomas L. Vincent
WETICE
2005
IEEE
15 years 11 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
TON
2002
102views more  TON 2002»
15 years 5 months ago
A min, + system theory for constrained traffic regulation and dynamic service guarantees
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boud...