Sciweavers

302 search results - page 45 / 61
» An approach to synthesise safe systems
Sort
View
98
Voted
AISS
2010
119views more  AISS 2010»
14 years 10 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
117
Voted
WMCSA
2008
IEEE
15 years 6 months 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»
14 years 11 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
14 years 11 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»
15 years 7 months 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