5015 search results - page 786 / 1003 » Model Checking a Path |
131
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
116
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
112
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
135
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
99
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...