902 search results - page 20 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
91
Voted
AAAI
2012
13 years 2 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
FSTTCS
2005
Springer
15 years 6 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
120
Voted
WFLP
2000
Springer
15 years 4 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
CSB
2004
IEEE
15 years 4 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
89
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...