Sciweavers

252 search results - page 33 / 51
» Safety Evaluation of NanoFabrics
Sort
View
WOWMOM
2006
ACM
119views Multimedia» more  WOWMOM 2006»
14 years 4 months ago
Credentials and Beliefs in Remote Trusted Platforms Attestation
— Remote attestation in trusted computing is about the ability of a local platform to authenticate the hardware and the software stack running on a remote trusted platform. We sa...
Andrea Bottoni, Gianluca Dini, Evangelos Kranakis
CHI
2005
ACM
14 years 10 months ago
Dynamic speedometer: dashboard redesign to discourage drivers from speeding
We apply HCI design principles to redesign the dashboard of the automobile to address the problem of speeding. We prototyped and evaluated a new speedometer designed with the expl...
Manu Kumar, Taemie Kim
ICFP
2007
ACM
14 years 10 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park
PADS
2009
ACM
14 years 4 months ago
An Approach for Validation of Semantic Composability in Simulation Models
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
Claudia Szabo, Yong Meng Teo
IROS
2009
IEEE
275views Robotics» more  IROS 2009»
14 years 4 months ago
A stereo vision based mapping algorithm for detecting inclines, drop-offs, and obstacles for safe local navigation
— Mobile robots have to detect and handle a variety of potential hazards to navigate autonomously. We present a real-time stereo vision based mapping algorithm for identifying an...
Aniket Murarka, Benjamin Kuipers