2210 search results - page 79 / 442 » Applying a Model-based Approach for Embedded System Developm... |
118
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
101
click to vote
CEEMAS
2005
Springer
15 years 4 months ago
2005
Springer
Architectural design plays a key role in software engineering. The software architecture is the backbone of the designed solution, it has the functional requirements of the system ...
ITS
2004
Springer
15 years 4 months ago
2004
Springer
Developing a learner model containing an accurate representation of a learner’s knowledge is made more difficult in distributed learning environments where the learner uses mult...
SIGOPS
2008
14 years 11 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...
125
click to vote
PFE
2001
Springer
15 years 3 months ago
2001
Springer
: How do you introduce product lines into a hardware dominated organization that has increasing software architecture awareness and products with extremely limited memory resources...