Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Comparing the QoS of Internet audio mechanisms via formal methods
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Language-based performance prediction for distributed and mobile systems
Information and Computation
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Compositional Performance Analysis Using Probabilistic I/O Automata
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
UML based performance modeling of distributed systems
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Probabilistic i/o automata: theories of two equivalences
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
| Hi-index | 0.00 |