5228 search results - page 957 / 1046 » Case Studies for Software Engineers |
FSTTCS
2004
Springer
15 years 6 months ago
2004
Springer
We consider hypotheses about nondeterministic computation that have been studied in different contexts and shown to have interesting consequences: • The measure hypothesis: NP d...
100
click to vote
ISESE
2003
IEEE
15 years 6 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...
UIST
2003
ACM
15 years 6 months ago
2003
ACM
We describe a new type of graphical user interface widget, known as a “tracking menu.” A tracking menu consists of a cluster of graphical buttons, and as with traditional menu...
122
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
The JavaScript programming language is widely used for web programming and, increasingly, for general purpose computing. As such, improving the correctness, security and performan...
122
click to vote
UIST
2009
ACM
15 years 6 months ago
2009
ACM
One of the challenges with using mobile touch-screen devices is that they do not provide tactile feedback to the user. Thus, the user is required to look at the screen to interact...