950 search results - page 37 / 190 » Constraint Based Resilience Analysis |
227
click to vote
TOPLAS
2008
15 years 3 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
138
click to vote
FDL
2008
IEEE
15 years 10 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
158
click to vote
ICON
2007
IEEE
15 years 10 months ago
2007
IEEE
Key establishment plays a central role in authentication and encryption in wireless sensor networks, especially when they are mainly deployed in hostile environments. Because of th...
131
click to vote
MMS
2008
15 years 3 months ago
2008
Abstract Multimedia applications operating in today's Internet have to employ some form of error resilience to cope with losses. For interactive applications with strict delay...
118
click to vote
DKE
2010
15 years 3 months ago
2010
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...