Sciweavers

252 search results - page 12 / 51
» Safety Evaluation of NanoFabrics
Sort
View
MOBICOM
2004
ACM
14 years 1 months ago
Vehicle-to-vehicle safety messaging in DSRC
— This paper studies the design of layer-2 protocols for a vehicle to send safety messages to other vehicles. The target is to send vehicle safety messages with high reliability ...
Qing Xu 0007, Tony K. Mak, Jeff Ko, Raja Sengupta
ICRA
2008
IEEE
145views Robotics» more  ICRA 2008»
14 years 2 months ago
Towards a personal robotics development platform: Rationale and design of an intrinsically safe personal robot
—The most critical challenge for Personal Robotics is to manage the issue of human safety and yet provide the physical capability to perform useful work. This paper describes a n...
Keenan A. Wyrobek, Eric H. Berger, H. F. Machiel V...
SAFECOMP
2005
Springer
14 years 1 months ago
Safety Interfaces for Component-Based Systems
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
ISPW
2005
IEEE
14 years 1 months ago
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin C...
EDBT
2009
ACM
85views Database» more  EDBT 2009»
14 years 2 months ago
Recursion in XQuery: put your distributivity safety belt on
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...