Sciweavers

4911 search results - page 697 / 983
» The Future of Object Technology
Sort
View
CHI
2009
ACM
16 years 7 months ago
Cost-effective wearable sensor to detect EMF
In this paper we present the design of a cost-effective wearable sensor to detect and indicate the strength and other characteristics of the electric field emanating from a laptop...
Cati Vaucelle, Hiroshi Ishii, Joseph A. Paradiso
CHI
2005
ACM
16 years 7 months ago
StoryGrid: a tangible interface for student expression
StoryGrid is a classroom-based design and presentation system for interactive multimedia posters. Employing the technology base first used in Eden's PitABoard, StoryGrid allo...
Thomas G. Moher, Benjamin Watson, Janet Kim, Claud...
FLOPS
2010
Springer
16 years 1 months ago
Beluga: Programming with Dependent Types, Contextual Data, and Contexts
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
Brigitte Pientka
RTAS
2009
IEEE
16 years 1 months ago
CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
Joshua Love, Jerry Jariyasunant, Eloi Pereira, Mar...
RTAS
2009
IEEE
16 years 1 months ago
Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints
Thermal management becomes a prominent issue in system design for both server systems and embedded systems. A system could fail if the peak temperature exceeds its thermal constra...
Jian-Jia Chen, Shengquan Wang, Lothar Thiele