4307 search results - page 98 / 862 » Dynamic Spyware Analysis |
132
Voted
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
128
click to vote
CAV
2004
Springer
15 years 6 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
141
Voted
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
119
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
Scientists increasingly rely on the execution of workflows in grids to obtain results from complex mixtures of applications. However, the inherently dynamic nature of grid workflo...
177
click to vote
AAMAS
2006
Springer
15 years 2 months ago
2006
Springer
In this paper, we investigate Reinforcement learning (RL) in multi-agent systems (MAS) from an evolutionary dynamical perspective. Typical for a MAS is that the environment is not ...