15401 search results - page 128 / 3081 » Software in Automotive Systems |
123
Voted
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Scalable handling of real arithmetic is a crucial part of the verification of hybrid systems, mathematical algorithms, and mixed analog/digital circuits. Despite substantial advanc...
107
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Motivated by a probe-vehicle based automotive traffic monitoring system, this paper considers the problem of guaranteed anonymity in a dataset of location traces while maintainin...
104
Voted
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
In the context of distributed real-time systems as deployed in the avionic and the automotive domain a substantial number of system malfunctions result from connector faults. For ...
141
click to vote
QEST
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
117
Voted
CHI
2003
ACM
15 years 7 months ago
2003
ACM
With the advent of new technology in vehicles, drivers can access information in many different forms (email, address books, Web pages) and from many information sources (cell pho...