Sciweavers

3130 search results - page 93 / 626
» Design Correctness of Digital Systems
Sort
View
120
Voted
GECCO
2008
Springer
182views Optimization» more  GECCO 2008»
15 years 4 months ago
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
Heather Goldsby, Betty H. C. Cheng
MHCI
2009
Springer
15 years 10 months ago
Sweep-Shake: finding digital resources in physical environments
In this article we describe the Sweep-Shake system, a novel, low interaction cost approach to supporting the spontaneous discovery of geo-located information. By sweeping a mobile...
Simon Robinson, Parisa Eslambolchilar, Matt Jones
186
Voted
EUROMED
2010
15 years 1 months ago
Scotlandsplaces: Accessing Remote Digital Heritage Datasets Using Web Services
The ScotlandsPlaces project is an official, permanent website found at www.scotlandsplaces.gov.uk. It exhibits a very novel and exciting way of searching across cultural heritage i...
Ashley Beamer, Mark Gillick
206
Voted
SIGMOD
2008
ACM
147views Database» more  SIGMOD 2008»
16 years 3 months ago
A demonstration of Cascadia through a digital diary application
The Cascadia system provides RFID-based pervasive computing applications with an infrastructure for specifying, extracting and managing meaningful high-level events from raw RFID ...
Christopher Ré, Dan Suciu, Evan Welbourne, ...
AVI
2008
15 years 5 months ago
Exploring emotions and multimodality in digitally augmented puppeteering
Recently, multimodal and affective technologies have been adopted to support expressive and engaging interaction, bringing up a plethora of new research questions. Among the chall...
Lassi A. Liikkanen, Giulio Jacucci, Eero Huvio, To...