Sciweavers

3785 search results - page 492 / 757
» Immune System Based Intrusion Detection System
Sort
View
VTC
2008
IEEE
113views Communications» more  VTC 2008»
16 years 1 months ago
V2V Communications in Automotive Multi-Sensor Multi-Target Tracking
—Today’s automotive sensor systems for in-vehicle based target tracking, i.e. radar, lidar, camera, are limited to a field of view which is restricted by distance, angle and l...
Matthias Röckl, Thomas Strang, Matthias Kranz
ANSS
2006
IEEE
16 years 21 days ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
SEKE
2001
Springer
15 years 11 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
JIRS
2007
134views more  JIRS 2007»
15 years 6 months ago
Improving Robustness of Mobile Robots Using Model-based Reasoning
Retaining functionality of a mobile robot in the presence of faults is of particular interest in autonomous robotics. From our experiences in robotics we know that hardware is one ...
Michael W. Hofbaur, Johannes Köb, Gerald Stei...
LOBJET
2000
84views more  LOBJET 2000»
15 years 6 months ago
Typing Concurrent Objects and Actors
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
Fabien Dagnat, Marc Pantel, Matthias Colin, Patric...