607 search results - page 65 / 122 » There Is Something about Might |
178
click to vote
SUM
2009
Springer
16 years 26 days ago
2009
Springer
Bayesian networks are probabilistic graphical models widely employed in AI for the implementation of knowledge-based systems. Standard inference algorithms can update the beliefs a...
143
click to vote
ISSTA
2009
ACM
16 years 25 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
172
click to vote
SADFE
2008
IEEE
16 years 21 days ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
139
click to vote
WISE
2008
Springer
16 years 21 days ago
2008
Springer
Abstract. Most approaches to information filtering taken so far have the underlying hypothesis of potentially delivering notifications from every information producer to subscrib...
170
click to vote
AINA
2007
IEEE
16 years 20 days ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...