Sciweavers

523 search results - page 39 / 105
» A Formal Account of WS-BPEL
Sort
View
ICML
2010
IEEE
13 years 8 months ago
Bayes Optimal Multilabel Classification via Probabilistic Classifier Chains
In the realm of multilabel classification (MLC), it has become an opinio communis that optimal predictive performance can only be achieved by learners that explicitly take label d...
Krzysztof Dembczynski, Weiwei Cheng, Eyke Hül...
FOMI
2009
13 years 8 months ago
Modular Ontologies for Architectural Design
Abstract. The design of architectural environments has to take into account various sources of heterogeneous information. Not only quantitative spatial constraints and qualitative ...
Joana Hois, Mehul Bhatt, Oliver Kutz
IFIP
2009
Springer
13 years 8 months ago
Model Checking of Security-Sensitive Business Processes
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
Alessandro Armando, Serena Elisa Ponta
ECEASST
2010
13 years 8 months ago
Open Source Verification under a Cloud
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
Peter T. Breuer, Simon Pickin
COMMA
2010
13 years 5 months ago
Dialectical Proofs for Constrained Argumentation
Abstract. Constrained argumentation frameworks (CAF) generalize Dung's frameworks by allowing additional constraints on arguments to be taken into account in the definition of...
Caroline Devred, Sylvie Doutre, Claire Lefè...