Sciweavers

307 search results - page 36 / 62
» Beyond Frontier Exploration
Sort
View
CHI
2010
ACM
15 years 6 months ago
Studying always-on electricity feedback in the home
The recent emphasis on sustainability has made consumers more aware of their responsibility for saving resources, in particular, electricity. Consumers can better understand how t...
Yann Riche, Jonathan Dodge, Ronald A. Metoyer
TPHOL
2009
IEEE
15 years 6 months ago
Psi-calculi in Isabelle
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
Jesper Bengtson, Joachim Parrow
MHCI
2009
Springer
15 years 6 months ago
HoverFlow: expanding the design space of around-device interaction
In this paper we explore the design space of around-device interaction (ADI). This approach seeks to expand the interaction possibilities of mobile and wearable devices beyond the...
Sven G. Kratz, Michael Rohs
ICC
2008
IEEE
122views Communications» more  ICC 2008»
15 years 6 months ago
Analysis of Fixed Outage Transmission Schemes: A Finer Look at the Full Multiplexing Point
— This paper studies the performance of transmission schemes that have rate that increases with average SNR while maintaining a fixed outage probability. This is in contrast to ...
Peng Wu, Nihar Jindal
ICC
2007
IEEE
111views Communications» more  ICC 2007»
15 years 6 months ago
SecureRank: A Risk-Based Vulnerability Management Scheme for Computing Infrastructures
— In this paper, we introduce a new scheme called SecureRank for prioritizing vulnerabilities to patch in computing systems/networks. This has become a key issue for IT infrastru...
Reiko Ann Miura-Ko, Nicholas Bambos