452 search results - page 26 / 91 » Symbolic Execution of Behavioral Requirements |
GRID
2005
Springer
15 years 4 months ago
2005
Springer
—The scale, heterogeneity and dynamism of Grid applications and environments require Grid applications to be self-managing or autonomic. This paper presents the Accord autonomic ...
ASAP
2003
IEEE
15 years 4 months ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...
NDSS
2008
IEEE
15 years 5 months ago
2008
IEEE
Malware programs that incorporate trigger-based behavior initiate malicious activities based on conditions satisfied only by specific inputs. State-of-the-art malware analyzers ...
SIGSOFT
2004
ACM
15 years 11 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
94
Voted
ACSD
2001
IEEE
15 years 2 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...