Sciweavers

5838 search results - page 571 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
ACSAC
2004
IEEE
15 years 10 months ago
Open-Source Applications of TCPA Hardware
How can Alice trust computation occurring at Bob's computer? Since it exists and is becoming ubiquitous, the current-generation TCPA/TCG hardware might enable a solution. Whe...
John Marchesini, Sean W. Smith, Omen Wild, Joshua ...
HUC
2010
Springer
15 years 8 months ago
CastOven: a microwave oven with just-in-time video clips
In this paper, we propose a novel microwave oven called CastOven. CastOven is a microwave oven with a LCD display that enables people to enjoy videos while they are waiting for th...
Keita Watanabe, Shota Matsuda, Michiaki Yasumura, ...
HUC
2010
Springer
15 years 7 months ago
Social sensing for epidemiological behavior change
An important question in behavioral epidemiology and public health is to understand how individual behavior is affected by illness and stress. Although changes in individual behav...
Anmol Madan, Manuel Cebrián, David Lazer, A...
FOSSACS
2006
Springer
15 years 10 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
AGP
2003
IEEE
15 years 10 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello