6836 search results - page 17 / 1368 » Modelling Web-Oriented Architectures |
COMPSAC
2010
IEEE
13 years 4 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
IMCSIT
2010
13 years 4 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
ENTCS
2002
13 years 7 months ago
2002
The need to model systems and their different aspects leads to research and development of models which support all views of a system. The growing complexity of the software impos...
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
traceMaintainer is a tool that supports an approach for maintaining post-requirements traceability relations after changes have been made to traced model elements. The update of t...