451 search results - page 87 / 91 » Accomplishing software stability |
BIOINFORMATICS
2005
13 years 8 months ago
2005
Inner holes, artifacts and blank spots are common in microarray images, but current image analysis methods do not pay them enough attention. We propose a new robust model-based me...
JACM
2002
13 years 8 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Information sharing can be effective with structured data. The Semantic Web is mainly aimed at structuring information by creating widely accepted ontologies. However, users have ...
TOOLS
2008
IEEE
14 years 3 months ago
2008
IEEE
Access modifiers like public and private let the programmer control the accessibility of class members. Restricted accessibility supports encapsulation, i.e., the hiding of impleme...