1027 search results - page 169 / 206 » Callgraph properties of executables |
154
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
This paper introduces the notion of temporally constrained ranked retrieval, which, given a query and a time constraint, produces the best possible ranked list within the specifi...
136
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
135
click to vote
JAPLL
2010
15 years 2 months ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
153
click to vote
SDMW
2010
Springer
15 years 2 months ago
2010
Springer
In an outsourced database framework, clients place data management with specialized service providers. Of essential concern in such frameworks is data privacy. Potential clients ar...
105
click to vote
TCS
2010
15 years 2 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...