Sciweavers

302 search results - page 45 / 61
» An approach to synthesise safe systems
Sort
View
AISS
2010
119views more  AISS 2010»
15 years 3 months ago
Distributed Cipher Services Using Object Activation
As the World Wide Web grows rapidly on a daily basis, the number of new computer attacks is also growing at a matching rate. It is increasing by development of information and com...
JinKyoung Heo
WMCSA
2008
IEEE
16 years 13 days ago
The managed motorway: real-time vehicle scheduling: a research agenda
Air pollution, traffic congestion, stress and accidents are common features of today’s road transportation experience. New approaches to improving the efficiency and safety of t...
Vinny Cahill, Aline Senart, Douglas C. Schmidt, St...
MDM
2010
Springer
164views Communications» more  MDM 2010»
15 years 4 months ago
A Mobile-Cloud Collaborative Traffic Lights Detector for Blind Navigation
—Context-awareness is a critical aspect of safe navigation, especially for the blind and visually-impaired in unfamiliar environments. Existing mobile devices for contextaware na...
Pelin Angin, Bharat K. Bhargava, Sumi Helal
SAFECOMP
2010
Springer
15 years 4 months ago
Deriving Safety Cases for Hierarchical Structure in Model-Based Development
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
Nurlida Basir, Ewen Denney, Bernd Fischer 0002
ICRA
2009
IEEE
145views Robotics» more  ICRA 2009»
16 years 22 days ago
Expansion segmentation for visual collision detection and estimation
Abstract— Collision detection and estimation from a monocular visual sensor is an important enabling technology for safe navigation of small or micro air vehicles in near earth ï...
Jeffrey Byrne, Camillo J. Taylor