248 search results - page 19 / 50 » Knit: Component Composition for Systems Software |
133
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
131
Voted
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
121
Voted
SERP
2003
15 years 3 months ago
2003
The software engineering community has introduced component and connector concepts to support architecture-based software descriptions. However, there still exists a gap in transi...
124
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
112
Voted
ENTCS
2010
15 years 1 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...