2409 search results - page 79 / 482 » Building Components from Functions |
IFIP
2000
Springer
14 years 2 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
COMPSAC
1997
IEEE
14 years 2 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Software systems increasingly integrate Off-The-Shelf (OTS) components. However, due to the lack of knowledge about the reused OTS components, this integration is fragile and can ...
CVPR
2006
IEEE
14 years 4 months ago
2006
IEEE
Images can be represented as the composition of multiple intrinsic component images, such as shading, albedo, and noise images. In this paper, we present a method for estimating i...
ASWEC
2009
IEEE
14 years 3 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...