2836 search results - page 29 / 568 » Model Checking for Software Architectures |
94
Voted
FATES
2004
Springer
15 years 8 months ago
2004
Springer
78
Voted
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
114
click to vote
ICSR
2009
Springer
15 years 7 months ago
2009
Springer
Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few n...
125
Voted
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
118
Voted
TSE
2011
14 years 9 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...