338 search results - page 27 / 68 » A Formal Approach to Heuristically Test Restorable Systems |
112
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
DAGSTUHL
2001
15 years 3 months ago
2001
Visualization of an algorithm offers only a rough picture of operations. Explanations are crucial for deeper understanding, because they help the viewer to associate the visualiza...
100
click to vote
SAC
2008
ACM
15 years 1 months ago
2008
ACM
In a hypothesis-based approach to digital investigation, the investigator formulates his hypothesis about which events took place, and tests them using the evidence available. A f...
135
click to vote
GLOBECOM
2008
IEEE
15 years 2 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Embedded system secondary storage size is often constrained, yet storage demands are growing as a result of increasing application complexity and storage of personal dat...