5457 search results - page 109 / 1092 » Software Component Independence |
101
click to vote
ICSE
2009
IEEE-ACM
15 years 27 days 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...
104
Voted
ICSE
2003
IEEE-ACM
16 years 3 months 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...
125
click to vote
ECBS
2002
IEEE
15 years 8 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...
136
click to vote
TOOLS
1999
IEEE
15 years 7 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...
114
click to vote
EUROMICRO
2003
IEEE
15 years 8 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...