Sciweavers

1492 search results - page 128 / 299
» Testing Properties of Constraint-Graphs
Sort
View
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 6 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
AAAI
1992
15 years 5 months ago
On the Minimality and Decomposability of Constraint Networks
Constraint networks have been shown to be useful in formulating such diverse problems as scene labeling, natural language parsing, and temporal reasoning. Given a constraint netwo...
Peter van Beek
DEXA
2010
Springer
177views Database» more  DEXA 2010»
15 years 5 months ago
Enhanced Foundry Production Control
Mechanical properties are the attributes that measure the faculty of a metal to withstand several loads and tensions. Specifically, ultimate tensile strength is the force a materia...
Javier Nieves, Igor Santos, Yoseba K. Penya, Felix...
ENTCS
2006
112views more  ENTCS 2006»
15 years 4 months ago
Modeling Web Applications by the Multiple Levels of Integrity Policy
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
Gianluca Amato, Massimo Coppola, Stefania Gnesi, F...
ORGSCI
2008
78views more  ORGSCI 2008»
15 years 3 months ago
The Penguin Has Entered the Building: The Commercialization of Open Source Software Products
Previous literature on open source software (OSS) mostly analyzes organizational issues within communities of developers and users. This paper focuses on profit-oriented organizat...
Andrea Fosfuri, Marco S. Giarratana, Alessandra Lu...