5457 search results - page 109 / 1092 » Software Component Independence |
80
Voted
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Existing black-box adaptation techniques are insufficiently powerful for a large class of real-world tasks. Meanwhile, white-box techniques are language-specificand overly invasiv...
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
103
Voted
ECBS
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a generic software architecture for large-scale distributed applications in which mobile agents are an integral part. We developed this architecture through th...
119
Voted
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
EUROMICRO
2003
IEEE
15 years 6 months ago
2003
IEEE
Accurate and timely information is a key motivator in the widespread adoption of CBSE technology in Europe. Although there are overlaps and informal communications between researc...