Sciweavers

5599 search results - page 118 / 1120
» Abstract State Services
Sort
View
ECAI
2004
Springer
15 years 5 months ago
Configuration of Web Services as Parametric Design
Abstract. The configuration of Web services is particularly hard given the heterogeneous, unreliable and open nature of the Web. Furthermore, such composite Web services are likely...
Annette ten Teije, Frank van Harmelen, Bob J. Wiel...
ICSOC
2010
Springer
15 years 8 days ago
From Quality to Utility: Adaptive Service Selection Framework
Abstract. We consider an approach to service selection wherein service consumers choose services with desired nonfunctional properties to maximize their utility. A consumer’s uti...
Chung-Wei Hang, Munindar P. Singh
104
Voted
ESWS
2007
Springer
15 years 8 months ago
Process Mediation in Semantic Web Services
Abstract. The Semantic Web Services initiatives are aiming to develop automatic and dynamic solutions for the semantically described Web services discovery, invocation and executio...
Emilia Cimpian
ERLANG
2003
ACM
15 years 7 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
BSL
2008
98views more  BSL 2008»
15 years 1 months ago
A Natural Axiomatization of Computability and Proof of Church's Thesis
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
Nachum Dershowitz, Yuri Gurevich