7393 search results - page 1084 / 1479 » Synthesis-for-testability using transformations |
109
Voted
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
148
click to vote
CSCW
2010
ACM
16 years 1 months ago
2010
ACM
In this paper, we examine the social roles of software tools in the English-language Wikipedia, specifically focusing on autonomous editing programs and assisted editing tools. Th...
137
click to vote
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
144
Voted
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We present results from an experiment that studied the information search behavior of younger and older adults in a medical decision-making task. To study how different combinatio...
128
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Trees can be conveniently compressed with linear straight-line contextfree tree grammars. Such grammars generalize straight-line context-free string grammars which are wi...