1027 search results - page 162 / 206 » Callgraph properties of executables |
135
click to vote
AAAI
2006
15 years 5 months ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...
105
click to vote
AIPS
2004
15 years 5 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
126
click to vote
CMS
2006
15 years 5 months ago
2006
At the Asiacrypt 2003 conference Billet and Gilbert introduce a block cipher, which, to quote them, has the following paradoxical traceability properties: it is computationally ea...
117
Voted
ECIS
2004
15 years 5 months ago
2004
The methods and technologies providing advantages in controlling and managing intellectual property rights are currently associated under the term Digital Rights Management (DRM)....
119
click to vote
DBSEC
2006
15 years 5 months ago
2006
The need for enterprise application integration projects leads to complex composite applications. For the sake of security and efficiency, consolidated access control policies for ...