Sciweavers

2521 search results - page 35 / 505
» Semantic Component Composition
Sort
View
89
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne
57
Voted
KBSE
2007
IEEE
15 years 6 months ago
Behavioral adaptation of component compositions based on process algebra encodings
Radu Mateescu, Pascal Poizat, Gwen Salaün
76
Voted
SOCO
2005
Springer
15 years 6 months ago
Analysis of Compositional Conflicts in Component-Based Systems
Andreas Leicher, Susanne Busse, Jörn Guy S&uu...
ICEIS
2003
IEEE
15 years 5 months ago
Policies Composition Through Graphical Components
Vitor Roque, José Luís Oliveira, Rui...