637 search results - page 82 / 128 » Inconsistency-Tolerant Integrity Checking |
137
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
135
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
123
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
In object-oriented programming, unique permissions to object references are useful for checking correctness properties such as consistency of typestate and noninterference of conc...
111
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
101
click to vote
HPCA
2009
IEEE
16 years 2 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...