Sciweavers

303 search results - page 24 / 61
» Model-Based Testing Service on the Web
Sort
View
108
Voted
SERVICES
2010
123views more  SERVICES 2010»
15 years 4 months ago
Testbeds for Emulating Dependability Issues of Mobile Web Services
Today's ubiquitous internet access has opened new opportunities for mobile workers. By using portable devices, the workers are not only able to access their company's dat...
Lukasz Juszczyk, Schahram Dustdar
DEXAW
2004
IEEE
103views Database» more  DEXAW 2004»
15 years 6 months ago
An Object-Oriented Approach to GI Web Service Composition
In this paper we describe a novel approach to the incremental, semi-automated method for composition of web services in a geographical domain. First, we present the incremental co...
Carlos Granell, J. Francisco Ramos
126
Voted
ICSE
2007
IEEE-ACM
15 years 8 months ago
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Composition of Web Services (WSs) is anticipated as the future standard way to dynamically build distributed applications, and hence their verification and validation is attractin...
Cesare Bartolini, Antonia Bertolino, Eda Marchetti...
SRDS
2006
IEEE
15 years 8 months ago
Satem: Trusted Service Code Execution across Transactions
Web services and service oriented architectures are becoming the de facto standard for Internet computing. A main problem faced by users of such services is how to ensure that the...
Gang Xu, Cristian Borcea, Liviu Iftode
POPL
2008
ACM
16 years 2 months ago
A theory of contracts for web services
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
Giuseppe Castagna, Nils Gesbert, Luca Padovani