452 search results - page 12 / 91 » Symbolic Execution of Behavioral Requirements |
EUROPAR
2006
Springer
15 years 2 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
101
click to vote
CORR
2011
Springer
14 years 2 months ago
2011
Springer
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
AAAI
2008
15 years 1 months ago
2008
Building architectures for autonomous rational behavior requires the integration of several AI components, such as planning, learning and execution monitoring. In most cases, the ...
101
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...