1027 search results - page 42 / 206 » Callgraph properties of executables |
113
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
IJCAI
2001
15 years 2 months ago
2001
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
113
Voted
ENTCS
2006
15 years 21 days ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
98
Voted
CORR
1999
Springer
15 years 11 days ago
1999
Springer
ABSTRACT. We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combi...
109
click to vote
SAC
2002
ACM
15 years 10 days ago
2002
ACM
Java is the predominant language for mobile agent systems, both for implementing mobile agent execution environments and for writing mobile agent applications. This is due to inhe...