41 search results - page 8 / 9 » Contract-Based Data Structure Repair Using Alloy |
BMCBI
2006
13 years 6 months ago
2006
Background: We present a general approach to perform association analyses in pedigrees of arbitrary size and structure, which also allows for a mixture of pedigree members and ind...
USENIX
1990
13 years 7 months ago
1990
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...
ICLP
2007
Springer
13 years 10 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
BMCBI
2010
13 years 6 months ago
2010
Background: Microevolution is the study of short-term changes of alleles within a population and their effects on the phenotype of organisms. The result of the below-species-level...
VEE
2010
ACM
13 years 11 months ago
2010
ACM
Crash dump, or core dump is the typical way to save memory image on system crash for future offline debugging and analysis. However, for typical server machines with likely abund...