Sciweavers

140 search results - page 22 / 28
» Assurance of Automotive Safety - A Safety Case Approach
Sort
View
ATAL
2010
Springer
14 years 10 months ago
Model checking detectability of attacks in multiagent systems
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
MR
2007
143views Robotics» more  MR 2007»
14 years 9 months ago
Life cycle cost impact of using prognostic health management (PHM) for helicopter avionics
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
E. Scanff, K. L. Feldman, S. Ghelam, Peter Sandbor...
84
Voted
DAC
2006
ACM
15 years 10 months ago
HybDTM: a coordinated hardware-software approach for dynamic thermal management
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
Amit Kumar 0002, Li Shang, Li-Shiuan Peh, Niraj K....
MOBICOM
2006
ACM
15 years 3 months ago
Towards lightweight information dissemination in inter-vehicular networks
Vehicular ad hoc networks have recently been proposed as an effective tool for improving both road safety and the comfort experienced while driving. Vehicles may propagate inform...
Paolo Costa, Davide Frey, Matteo Migliavacca, Luca...
COMCOM
2008
147views more  COMCOM 2008»
14 years 9 months ago
Vehicular Ad Hoc Networks: A New Challenge for Localization-Based Systems
A new kind of ad hoc network is hitting the streets: Vehicular Ad Hoc Networks (VANets). In these networks, vehicles communicate with each other and possibly with a roadside infra...
Azzedine Boukerche, Horacio A. B. F. de Oliveira, ...