Sciweavers

2422 search results - page 66 / 485
» Composition of Services with Constraints
Sort
View
CANDC
2008
ACM
13 years 9 months ago
'Genome order index' should not be used for defining compositional constraints in nucleotide sequences
Background: The Z-curve is a three dimensional representation of DNA sequences proposed over a decade ago and has been extensively applied to sequence segmentation, horizontal gen...
Eran Elhaik, Dan Graur, Kresimir Josic
ISSTA
1998
ACM
14 years 1 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League
CAISE
2003
Springer
14 years 2 months ago
Selection of Web Services for Composition Using Location of Provider Hosts Criterion
We present a Web service composition approach that relies on three selection criteria: execution cost, execution time, and location of provider hosts. A Web service is an accessibl...
Zakaria Maamar, Quan Z. Sheng, Boualem Benatallah
EDOC
2004
IEEE
14 years 24 days ago
Web Service Composition in UML
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...
David Skogan, Roy Grønmo, Ida Solheim
ICWS
2007
IEEE
13 years 10 months ago
Guarding Sensitive Information Streams through the Jungle of Composite Web Services
Complex and dynamic web service compositions may introduce unpredictable and unintentional sharing of security-sensitive data (e.g., credit card numbers) as well as unexpected vul...
Jinpeng Wei, Lenin Singaravelu, Calton Pu