2935 search results - page 406 / 587 » An Integrated Approach to High Integrity Software Verificati... |
161
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
- This paper describes existing designs and future design trends of in-vehicle vision processors for driver assistance systems. First, requirements of vision processors for driver ...
181
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
165
click to vote
REFSQ
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
166
click to vote
APSEC
2007
IEEE
16 years 19 days ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
162
click to vote
COMPSAC
2006
IEEE
16 years 10 days ago
2006
IEEE
The convergence of data, voice and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has significantly enrich...