126 search results - page 13 / 26 » A History-based Verification of Distributed Applications |
KDD
2006
ACM
16 years 2 days ago
2006
ACM
Online stores providing subscription services need to extend user subscription periods as long as possible to increase their profits. Conventional recommendation methods recommend...
82
Voted
PODS
2008
ACM
15 years 11 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
ICSE
2008
IEEE-ACM
15 years 11 months ago
2008
IEEE-ACM
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
86
Voted
CAV
2009
Springer
16 years 6 days ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
103
Voted
EATIS
2007
ACM
15 years 3 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...