Sciweavers

2940 search results - page 84 / 588
» Behavioral Constraints for Services
Sort
View
ICML
2000
IEEE
14 years 11 months ago
Clustering with Instance-level Constraints
Clustering algorithms conduct a search through the space of possible organizations of a data set. In this paper, we propose two types of instance-level clustering constraints ? mu...
Kiri Wagstaff, Claire Cardie
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
14 years 3 months ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
ECOWS
2007
Springer
14 years 4 months ago
Structural Matching of BPEL Processes
BPEL has emerged as the industrial standard language for modelling behavioral aspects of web services. To support business partners in dynamically and flexibly binding their serv...
Rik Eshuis, Paul W. P. J. Grefen
IEEESCC
2006
IEEE
14 years 4 months ago
On Exploiting System Dynamics Modeling to Identify Service Requirements
SOA provides a flexible framework for betterintegrated systems that meet business needs. However, the existing methods are not successful in helping business analysts to devise ap...
Lianjun An, Jun-Jang Jeng, Cagdas E. Gerede
AUSAI
2006
Springer
14 years 2 months ago
Finite Domain Bounds Consistency Revisited
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagati...
Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter ...