Sciweavers

2422 search results - page 193 / 485
» Composition of Services with Constraints
Sort
View
ATAL
2010
Springer
13 years 12 months ago
Runtime monitoring of contract regulated web services
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...
OTM
2007
Springer
14 years 4 months ago
An OSGi-Based Semantic Service-Oriented Device Architecture
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
Panagiotis Gouvas, Thanassis Bouras, Gregoris Ment...
SOSE
2006
IEEE
14 years 4 months ago
Service Engineering Design Patterns
Design of service-oriented applications differs from design of the component-based applications in granularity, abstraction and dynamic environment in which binding between client...
Nikola Milanovic
WAIM
2005
Springer
14 years 4 months ago
Using Web Services and Scientific Workflow for Species Distribution Prediction Modeling
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...
Jianting Zhang, Deana Pennington, William Michener
CORR
2006
Springer
135views Education» more  CORR 2006»
13 years 10 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...