Sciweavers

607 search results - page 53 / 122
» A Model of Pervasive Services for Service Composition
Sort
View
PERCOM
2008
ACM
14 years 9 months ago
Provably Correct Pervasive Computing Environments
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...
Anand Ranganathan, Roy H. Campbell
ENTCS
2006
146views more  ENTCS 2006»
13 years 10 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
IEEESCC
2010
IEEE
14 years 4 days ago
A Model for Visual Specification of E-contracts
Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions th...
Enrique Martinez, Gregorio Díaz, Marí...
ICECCS
2010
IEEE
162views Hardware» more  ICECCS 2010»
13 years 10 months ago
A Tile-Based Approach for Self-Assembling Service Compositions
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furi...
WOA
2010
13 years 8 months ago
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN
Abstract--Recent works proposed the adoption of a natureinspired approach of chemistry for implementing service architectures suitable for pervasive applications [34]. In particula...
Elena Nardini, Mirko Viroli, Matteo Casadei, Andre...