Publications
Filters: First Letter Of Last Name is M [Clear All Filters]
.
2004.
[MCM-SCI03] A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
.
2003.
[MC-SERP03] Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
.
2003.
[MCM-WINET03] Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
.
2003.
.
2003.
[MoEz-03] A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
.
2003.
[HiLuMaSDNCb] Scaled dimension and non uniform complexity. 2719:278-290.
.
2003.
[1326] Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
.
2003.
[1333] Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
.
2003.
.
2003.
.
2003.
[BDM-WOSP-02] From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
.
2002.
[LGMC-02b] On the Use of Formal Models in Software Performance Evaluation. :367-387.
.
2002.
[LGMC-02c] Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
.
2002.
[MBCD-wodes02] A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
.
2002.
[MayKCCCHD] A Kolmogorov complexity characterization of constructive Hausdorff dimension. Information Processing Letters. 84:1-3.
.
2002.
[MCM-MSWiM-01] Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
.
2001.
[MCM-JJCC-01] Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
.
2001.
[IPMoHaSeSi01] Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
.
2001.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
[DaLaLuMaFSDb] Finite state dimension. 2076:1028-1039.
.
2001.
[MCM-LNCS-01] A Performance Engineering Case Study: Software Retrieval System. 2047:317-332.
.
2001.
[MCM-WOSP-00] A Pattern Based Approach to Model Software Performance. :137-142.
.
2000.
[MCM-JJCC-00] Evaluating Performance on Mobile Agents Software Design. :291-307.
.
2000. .
2000.