1027 search results - page 31 / 206 » Callgraph properties of executables |
ESORICS
2005
Springer
14 years 4 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
AI
2011
Springer
13 years 6 months ago
2011
Springer
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
ISORC
2008
IEEE
14 years 5 months ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
WORDS
2005
IEEE
14 years 4 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
IJCAI
1993
14 years 8 days ago
1993
In multi-agent environments where agents independently generate and execute plans to satisfy their goals, the resulting plans may sometimes overlap. In this paper, we propose a co...