7080 search results - page 863 / 1416 » Designing High Integrity Systems Using Aspects |
149
click to vote
SIGOPSE
2004
ACM
16 years 12 days ago
2004
ACM
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
202
click to vote
DKE
2008
15 years 7 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
195
click to vote
VLDB
2004
ACM
16 years 9 days ago
2004
ACM
Discovering co-expressed genes and coherent expression patterns in gene expression data is an important data analysis task in bioinformatics research and biomedical applications. ...
182
click to vote
JUCS
2002
15 years 6 months ago
2002
: Community web sites exhibit the property that multiple content providers exist. Of course, any portal is only as useful as the quality and amount of its content. Developing origi...
180
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
Current Static Timing Analysis (STA) techniques allow one to verify the timing of a circuit at different process corners which only consider cases where all the supplies are low o...