5228 search results - page 795 / 1046 » Case Studies for Software Engineers |
167
click to vote
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
140
click to vote
CGO
2004
IEEE
15 years 10 months ago
2004
IEEE
Dynamic binary translators use a two-phase approach to identify and optimize frequently executed code dynamically. In the first step (profiling phase), blocks of code are interpre...
151
click to vote
AVI
2008
15 years 9 months ago
2008
Tagging systems such as del.icio.us and Diigo have become important ways for users to organize information gathered from the Web. However, despite their popularity among early ado...
137
click to vote
AVI
2008
15 years 9 months ago
2008
Acquiring small targets on a tablet or touch screen can be challenging. To address the problem, researchers have proposed techniques that enlarge the effective size of targets by ...
181
click to vote
AVI
2008
15 years 9 months ago
2008
We present the design and evaluation of TapTap and MagStick, two thumb interaction techniques for target acquisition on mobile devices with small touch-screens. These two techniqu...