42 search results - page 9 / 9 » On-the-Fly Data Flow Analysis Based on Verification Technolo... |
WWW
2007
ACM
14 years 6 months ago
2007
ACM
Major research challenges in discovering Web services include, provisioning of services across multiple or heterogeneous registries, differentiating between services that share si...
EATIS
2007
ACM
13 years 9 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...