Sciweavers

5326 search results - page 89 / 1066
» On what we can ensure
Sort
View
ISSTA
2010
ACM
15 years 10 months ago
Automated fixing of programs with contracts
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, St...
IWQOS
2004
Springer
15 years 11 months ago
Triage: performance isolation and differentiation for storage systems
Abstract— Ensuring performance isolation and differentiation among workloads that share a storage infrastructure is a basic requirement in consolidated data centers. Existing man...
Magnus Karlsson, Christos T. Karamanolis, Xiaoyun ...
DGO
2009
175views Education» more  DGO 2009»
15 years 7 months ago
Modelling task delegation for human-centric eGovernment workflows
The execution of cross-domain eGovernment applications is a challenging topic. eGovernment organisations are facilitated and conducted using workflow management systems. Workflows...
Khaled Gaaloul, François Charoy, Andreas Sc...
SEBD
2001
75views Database» more  SEBD 2001»
15 years 7 months ago
Data on the Web: A W3C Perspective
What is the "high level view" of data on the Web that can be traced down within W3C's rich roadmap of technologies? What the relationships between the "big need...
Massimo Marchiori
ATAL
2003
Springer
15 years 11 months ago
Deriving individual obligations from collective obligations
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
Laurence Cholvy, Christophe Garion