36 search results - page 3 / 8 » Can we predict safety culture |
ICDCSW
2007
IEEE
13 years 11 months ago
2007
IEEE
VANETs (Vehicle Ad hoc NETworks) are highly mobile wireless ad hoc networks targeted to support vehicular safety and other commercial applications. Conventional routing protocols ...
BMCBI
2010
13 years 7 months ago
2010
Background: Precise and efficient methods for gene targeting are critical for detailed functional analysis of genomes and regulatory networks and for potentially improving the eff...
ENTCS
2006
13 years 7 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— One of the potential benefits of robotic systems in cardiac surgery is that their use can increase the number of possible off-pump (beating heart) coronary artery bypass graft...
HOTOS
2009
IEEE
13 years 11 months ago
2009
IEEE
Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this...