1583 search results - page 255 / 317 » Using Multi-context Systems to Engineer Executable Agents |
147
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
116
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, we propose a fast and simple heuristic for the cosynthesis problem targeting the system-on-chip (SOC) design. The proposed algorithm covers from implementation sele...
120
Voted
ISSRE
2007
IEEE
15 years 6 months ago
2007
IEEE
Enterprise systems must guarantee high availability and reliability to provide 24/7 services without interruptions and failures. Mechanisms for handling exceptional cases and impl...
167
Voted
SEKE
2010
Springer
15 years 3 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
134
Voted
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...