6014 search results - page 451 / 1203 » Structural Testing with Use Cases |
145
click to vote
MAICS
2003
15 years 7 months ago
2003
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
169
click to vote
SOFSEM
2004
Springer
15 years 11 months ago
2004
Springer
We propose an efficient approach for finding relevant XML data twigs defined by unordered query tree specifications. We use the tree signatures as the index structure and find...
142
click to vote
DAGM
1997
Springer
15 years 10 months ago
1997
Springer
Using the 3-dimensional structure tensor, dense displacement vector fields (DVF) can be computed with subpixel accuracy. The approach is based on the detection of linear symmetrie...
157
click to vote
SBMF
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
228
click to vote
ICDCSW
2011
IEEE
14 years 6 months ago
2011
IEEE
—Developing secure wireless sensor networks (WSNs) is a complex process that involves careful design of attack test cases and security countermeasures, as well as meaningful eval...