641 search results - page 111 / 129 » Formal Reliability Analysis Using Theorem Proving |
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
MOBIHOC
2010
ACM
13 years 6 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
TCAD
2002
13 years 8 months ago
2002
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuits...
EUROSYS
2008
ACM
14 years 5 months ago
2008
ACM
When computer systems are compromised by an attack, it is difficult to determine the precise extent of the damage caused by the attack because the state changes made by an attack...
ICCV
1999
IEEE
14 years 10 months ago
1999
IEEE
?We have recently proposed an approach to recognition that uses regions to determine the pose of objects while allowing for partial occlusion of the regions. Regions introduce an a...