Real-time object-oriented modeling
Real-time object-oriented modeling
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
A wideband approach to integrating performance prediction into a software design environment
Proceedings of the 1st international workshop on Software and performance
Proceedings of the 2nd international workshop on Software and performance
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
A pattern-based approach to model software performance
Proceedings of the 2nd international workshop on Software and performance
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Data Management for Mobile Computing
Data Management for Mobile Computing
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
MASIF: The OMG Mobile Agent System Interoperability Facility
MA '98 Proceedings of the Second International Workshop on Mobile Agents
ANTARCTICA: A Multiagent System for Internet Data Services in a Wireless Computing Framework
IMWS '01 Revised Papers from the NSF Workshop on Developing an Infrastructure for Mobile and Wireless Systems
A Software Retrieval Service Based on Knowledge-Driven Agents
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
QoS Assessment via Stochastic Analysis
IEEE Internet Computing
A software retrieval service based on adaptive knowledge-driven agents for wireless environments
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Performance analysis of mobile agents tracking
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Performance evaluation of UML design with Stochastic Well-formed Nets
Journal of Systems and Software
On the integration of UML and petri nets in software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ArgoSPE: model-based software performance engineering
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Hi-index | 0.00 |
Nowadays, there exist web sites that allow users to retrieve and install software in an easy way. The performance of these sites may be poor if they are used in wireless networks; the reason is the inadequate use of the net resources that they need. If these kinds of systems are designed using mobile agent technology the previous problem might be avoided. In this paper, we present a comparison between the performance of a software retrieval system especially designed to be used in a wireless network and the performance of a software retrieval system similar to the well-known Tucows.com web site. In order to compare performance, we make use of a software performance process enriched with formal techniques. The process has as important features that it uses UML as a design notation and it uses stochastic Petri nets as formal model. Petri nets provide a formal semantics for the system and a performance model.