902 search results - page 16 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
100
Voted
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
ECOOP
2005
Springer
15 years 6 months ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
90
Voted
ACSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
104
click to vote
ECIR
1998
Springer
15 years 1 months ago
1998
Springer
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
88
Voted
ENTCS
2007
15 years 13 days ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...