Sciweavers

1009 search results - page 11 / 202
» Performance Analysis of UML Models Using Aspect-Oriented Mod...
Sort
View
MASCOTS
1994
13 years 8 months ago
Xmgm: Performance Modeling Using Matrix Geometric Techniques
Over the last two decades a considerable amount of effort has been put in the development and application of matrix geometric techniques for the analysis of queueing systems of wh...
Boudewijn R. Haverkort, Aad P. A. van Moorsel, Dir...
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
14 years 1 months ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
EDOC
2007
IEEE
14 years 1 months ago
Modeling and Integrating Aspects into Component Architectures
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
Lydia Michotte, Robert B. France, Franck Fleurey
COOPIS
2004
IEEE
13 years 11 months ago
Model-Driven Dependability Analysis of WebServices
This paper focuses on the development of a principled methodology for the dependability analysis of composite Web services. The first step of the methodology involves a UML represe...
Apostolos Zarras, Panos Vassiliadis, Valéri...
WOSP
2000
ACM
13 years 11 months ago
Quantitative system evaluation with DSPNexpress 2000
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
Christoph Lindemann, Axel Thümmler, Alexander...