Sciweavers

4343 search results - page 258 / 869
» Replication Techniques for Availability
Sort
View
TAP
2008
Springer
144views Hardware» more  TAP 2008»
15 years 6 months ago
Integrating Verification and Testing of Object-Oriented Software
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
Christian Engel, Christoph Gladisch, Vladimir Kleb...
GRAPHICSINTERFACE
2009
15 years 4 months ago
Handle Flags: efficient and flexible selections for inking applications
There are a number of challenges associated with content selection in pen-based interfaces. Supplementary buttons to enter a selection mode may not be available, and selections ma...
Tovi Grossman, Patrick Baudisch, Ken Hinckley
TSP
2010
15 years 1 months ago
A recursive method for the approximation of LTI systems using subband processing
Using the subband technique, an LTI system can be implemented by the composition of an analysis filterbank, followed by a transfer matrix (subband model) and a synthesis filterbank...
Damián Marelli, Minyue Fu
TEDU
2012
289views Education» more  TEDU 2012»
14 years 2 months ago
Propositions for Innovative Forms of Digital Interactive Storytelling Based on Narrative Theories and Practices
This paper takes a look at narrative forms as of yet unexplored in the field of digital interactive storytelling, and proposes methods for how they can be used in engaging ways fo...
Nicolas Szilas, Monica Axelrad, Urs Richle
ICDE
2006
IEEE
201views Database» more  ICDE 2006»
16 years 8 months ago
Approximate Data Collection in Sensor Networks using Probabilistic Models
Wireless sensor networks are proving to be useful in a variety of settings. A core challenge in these networks is to minimize energy consumption. Prior database research has propo...
David Chu, Amol Deshpande, Joseph M. Hellerstein, ...