PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Dependability evaluation of complex systems with TimeNET
Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems
The university teacher title stable structural model and the evolution solutions
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
A formal model for performance and energy evaluation of embedded systems
EURASIP Journal on Embedded Systems - Special issue on networked embedded systems for energy management and buildings
The rare event simulation method RESTART: efficiency analysis and guidelines for its application
Network performance engineering
Formal mapping of WSLA contracts on stochastic models
EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Study of human influenza's spreading phenomenon
LSSC'11 Proceedings of the 8th international conference on Large-Scale Scientific Computing
An Exposition of Performance-Security Trade-offs in RANETs Based on Quantitative Network Models
Wireless Personal Communications: An International Journal
| Hi-index | 0.00 |