2766 search results - page 131 / 554 » Hybridizing a Logical Framework |
150
click to vote
CSREASAM
2006
15 years 5 months ago
2006
: - Intrusion Detection Systems are increasingly a key part of systems defense. Various approaches to Intrusion Detection are currently being used, but they are relatively ineffect...
159
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
103
click to vote
VTS
1997
IEEE
15 years 8 months ago
1997
IEEE
We address the problem of rectifying an incorrect combinational circuit against a given specification. Based on the symbolic BDD techniques, we consider the rectification process,...
151
click to vote
RECOMB
2007
Springer
16 years 4 months ago
2007
Springer
High-resolution array comparative genomic hybridization (aCGH) provides exon-level mapping of DNA aberrations in cells or tissues. Such aberrations are central to carcinogenesis an...
214
click to vote
PLPV
2011
ACM
14 years 7 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...