2245 search results - page 23 / 449 » A Case Study Implementing Features Using AspectJ |
ISSS
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
The lifecycle mismatch between vehicles and their IT system poses a problem for the automotive industry. Such systems need to be open and extensible to provide customised function...
SQJ
2008
13 years 8 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
DAC
1997
ACM
14 years 2 days 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...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Our “information-oriented” society shows an increasing exigency of life-long learning. In such framework, online Learning is becoming an important tool to allow the flexibilit...