Sciweavers

2025 search results - page 280 / 405
» Minimal-Cut Model Composition
Sort
View
ICSOC
2010
Springer
13 years 7 months ago
A Soft Constraint-Based Approach to QoS-Aware Service Selection
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
Mohamed Anis Zemni, Salima Benbernou, Manuel Carro
ACL
2010
13 years 7 months ago
Syntactic and Semantic Factors in Processing Difficulty: An Integrated Measure
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
Jeff Mitchell, Mirella Lapata, Vera Demberg, Frank...
JLP
2011
106views more  JLP 2011»
12 years 12 months ago
Concurrent Kleene Algebra and its Foundations
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...
Tony Hoare, Bernhard Möller, Georg Struth, Ia...
RECOMB
2010
Springer
14 years 3 months ago
A Novel Abundance-Based Algorithm for Binning Metagenomic Sequences Using l-Tuples
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
Yu-Wei Wu, Yuzhen Ye
ECOOP
2007
Springer
14 years 3 months ago
Towards correct evolution of components using VPA-based aspects
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
Dong Ha Nguyen, Mario Südholt