1540 search results - page 21 / 308 » Automotive System Design - Challenges and Potential |
ICCBR
1999
Springer
14 years 21 days ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
ISPEC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
TOCHI
2010
13 years 6 months ago
2010
Current Web search tools do a good job of retrieving documents that satisfy the wide range of intentions that people associate with a query – but do not do a very good job of di...
ICPP
2009
IEEE
14 years 3 months ago
2009
IEEE
—Wireless sensor networks have become a promising technology in monitoring physical world. In many applications with wireless sensor networks, it is essential to understand how w...
DAC
1997
ACM
14 years 14 hour ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...