Sciweavers

4350 search results - page 24 / 870
» Case studies for contract-based systems
Sort
View
FAST
2010
14 years 5 days ago
End-to-end Data Integrity for File Systems: A ZFS Case Study
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...
Yupu Zhang, Abhishek Rajimwale, Andrea C. Arpaci-D...
SIGOPS
2010
162views more  SIGOPS 2010»
13 years 8 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
DMIN
2006
106views Data Mining» more  DMIN 2006»
13 years 11 months ago
A Medical Claim Fraud/Abuse Detection System based on Data Mining: A Case Study in Chile
This paper describes an effective medical claim fraud/abuse detection system based on data mining used by a Chilean private health insurance company. Fraud and abuse in medical cla...
Pedro A. Ortega, Cristián J. Figueroa, Gonz...
ECIS
2001
13 years 11 months ago
Justification of Group Decisions: A Case Study of User Training in Group Support Systems Applications
Decision making, whether by an individual or a group, can be substantially enhanced by a "systems thinking" approach. Because groups are often challenged to justify thei...
Jackie Phahlamohlaka, J. Dewald Roode
TSMC
2010
13 years 4 months ago
Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
Ole J. Mengshoel, Mark Chavira, Keith Cascio, Scot...