3911 search results - page 64 / 783 » Using Operational Architecture to Model Embedded Software |
127
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices, such as mobile phones, digital cameras, mp3 players, etc. In order for mobile devices to successfully provi...
141
click to vote
SIGOPS
2008
15 years 2 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
161
Voted
MODELS
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
108
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
147
click to vote
CSMR
2000
IEEE
15 years 7 months ago
2000
IEEE
An alternative approach to developing reusable components from scratch is to recover them from existing systems. Although numerous techniques have been proposed to recover reusabl...