1716 search results - page 186 / 344 » Proving Conditional Termination |
124
click to vote
JAIR
2010
14 years 11 months ago
2010
LAMA is a classical planning system based on heuristic forward search. Its core feature is the use of a pseudo-heuristic derived from landmarks, propositional formulas that must b...
111
Voted
DIALM
2010
ACM
14 years 10 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
130
click to vote
OPODIS
2010
14 years 10 months ago
2010
Abstract. Shared counters are the key to solving a variety of coordination problems on multiprocessor machines, such as barrier synchronization and index distribution. It is desire...
125
Voted
SIAMCOMP
2011
14 years 7 months ago
2011
In this paper, we study the question of whether or not it is possible to construct protocols for general secure computation in the setting of malicious adversaries and no honest m...
125
click to vote
CCS
2011
ACM
14 years 22 days ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...