1261 search results - page 131 / 253 » Extending the Capabilities of Component Models for Embedded ... |
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents a novel application involving two important Software Engineering research areas: process modeling and software reuse. The Spiral Model is a risk-driven process...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
ECRTS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we address the real-time capabilities of P-NET, which is a multi-master fieldbus standard based on a virtual token passing scheme. We show how P-NET's medium ac...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...