Sciweavers

2252 search results - page 351 / 451
» Regular expression patterns
Sort
View
ESOP
2007
Springer
15 years 6 months ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
PKDD
2007
Springer
112views Data Mining» more  PKDD 2007»
15 years 6 months ago
Association Mining in Large Databases: A Re-examination of Its Measures
Abstract. In the literature of data mining and statistics, numerous interestingness measures have been proposed to disclose succinct object relationships of association patterns. H...
Tianyi Wu, Yuguo Chen, Jiawei Han
TLCA
2007
Springer
15 years 6 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani
WSFM
2007
Springer
15 years 6 months ago
Extending Model Checking to Data-Aware Temporal Properties of Web Services
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
Sylvain Hallé, Roger Villemaire, Omar Cherk...
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
15 years 6 months ago
Using Function Generalization to Design a Cosequential Processing Framework
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
H. Conrad Cunningham, Pallavi Tadepalli