Sciweavers

3317 search results - page 116 / 664
» Strategies in Rigid-Variable Methods
Sort
View
CHI
2007
ACM
16 years 4 months ago
Learning shape writing by game playing
We present a computer game designed to efficiently and playfully teach users shape writing ? a new text entry method for pen-based devices. Keywords Text entry, mobile devices, sh...
Per Ola Kristensson, Shumin Zhai
ICSE
2003
IEEE-ACM
16 years 4 months ago
Quantifying the Value of Architecture Design Decisions: Lessons from the Field
This paper outlines experiences with using economic criteria to make architecture design decisions. It briefly describes the CBAM (Cost Benefit Analysis Method) framework applied ...
Mike Moore, Rick Kazman, Mark Klein, Jai Asundi
TIT
2002
67views more  TIT 2002»
15 years 3 months ago
Closest point search in lattices
In this semitutorial paper, a comprehensive survey of closest point search methods for lattices without a regular structure is presented. The existing search strategies are describ...
Erik Agrell, Thomas Eriksson, Alexander Vardy, Ken...
PSTV
1992
113views Hardware» more  PSTV 1992»
15 years 5 months ago
Coverage Preserving Reduction Strategies for Reachability Analysis
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
Gerard J. Holzmann, Patrice Godefroid, Didier Piro...
CSREAPSC
2006
15 years 5 months ago
Towards an Energy-Aware Network Activation Strategy for Multi-Homed Mobile Devices
Simultaneous operation of multiple network interfaces can benefit mobile devices with diverse network interfaces. This paper outlines an IP-level network activation strategy that a...
Mortaza S. Bargh, Arjan J. H. Peddemors