513 search results - page 47 / 103 » An Aspect-Oriented Approach for Mobile Embedded Software Mod... |
105
click to vote
ICRE
1998
IEEE
15 years 4 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
107
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
Most of the hard-real-time scheduling theory for multiprocessor systems assumes independent periodic or sporadic tasks. Such a simple task model is not directly applicable to mode...
111
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
120
click to vote
SEUS
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
CSMR
2006
IEEE
15 years 5 months ago
2006
IEEE
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...