Sciweavers

5423 search results - page 167 / 1085
» Denial-of-service in automation systems
Sort
View
CIMCA
2005
IEEE
16 years 5 days ago
Safety-Automation of Cars Using Embedded Microcontrollers
—The paper deals with the partial automation of cars for safety purposes. We have tried to automate the car to prevent the danger (obstacles around the car) in the best possible ...
Abhinav Ray, Varun Kumar
HYBRID
2003
Springer
15 years 11 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
ICCS
2003
Springer
15 years 11 months ago
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
Olivier Bournez, Guy-Marie Côme, Valé...
EUROMICRO
1998
IEEE
15 years 10 months ago
System Level Modelling for Hardware/Software Systems
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
Jeroen Voeten, P. H. A. van der Putten, Marc Geile...
HICSS
2010
IEEE
153views Biometrics» more  HICSS 2010»
16 years 1 months ago
Securing E-Government Assets through Automating Deployment of Honeynets for IDS Support
One of the challenges facing system e-government security professionals is the laborious task of sifting through numerous log files in an attempt to identify malicious traffic and...
Christopher Hecker, Brian Hay