4007 search results - page 254 / 802 » Automotive Software Integration |
175
click to vote
ICDCSW
2005
IEEE
16 years 9 days ago
2005
IEEE
Alerting for Digital Libraries (DL) is an important and useful feature for the library users. To date, two independent services and a few publisher-hosted proprietary services hav...
202
click to vote
WETICE
2005
IEEE
16 years 8 days ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
172
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
246
click to vote
DATE
2003
IEEE
16 years 8 hour ago
2003
IEEE
As MultiProcessor System-on-a-Chip (MPSoC) designs become more common, hardware/software codesign engineers face new challenges involving operating system integration. To speed up...
152
click to vote
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...