3792 search results - page 521 / 759 » Techniques for Trusted Software Engineering |
155
click to vote
UIST
2004
ACM
16 years 3 days ago
2004
ACM
We present a variant of hierarchical marking menus where items are selected using a series of inflection-free simple marks, rather than the single "zig-zag" compound mar...
151
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
The two most common strategies for verification and validation, inspection and testing, are in a controlled experiment evaluated in terms of their fault detection capabilities. Th...
190
click to vote
JSAC
2011
15 years 1 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
200
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
187
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...