Communications of the ACM
Mobile Computing with the Rover Toolkit
IEEE Transactions on Computers - Special issue on mobile computing
Agile application-aware adaptation for mobility
Proceedings of the sixteenth ACM symposium on Operating systems principles
Software architecture in practice
Software architecture in practice
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Emerging mobile and wireless networks
Communications of the ACM
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance solutions: a practical guide to creating responsive, scalable software
Performance solutions: a practical guide to creating responsive, scalable software
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Process algebra for performance evaluation
Theoretical Computer Science
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Communication and Concurrency
Performance analysis of time-enhanced UML diagrams based on stochastic processes
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMAmob-UML: a methodology for performance analysis of mobile software architectures
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
An Algebra-Based Method to Associate Rewards with EMPA Terms
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Mobile Agents Coordination in Mobadtl
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
UML Modelling and Performance Analysis of Mobile Software Architectures
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Performance Evaluation of Computer and Communication Systems, Joint Tutorial Papers of Performance '93 and Sigmetrics '93
Performance Validation of Mobile Software Architectures
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Extending Activity Diagrams to Model Mobile Systems
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
Journal of Systems and Software - Special issue on: Component-based software engineering
IEEE Transactions on Mobile Computing
ACM SIGSOFT Software Engineering Notes
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
UML based modeling and performance analysis of mobile systems
MSWiM '04 Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Hi-index | 0.00 |
Mobile systems, where both computing nodes and software components can dynamically change their location, are already a reality, thanks to technological advances in several related fields. The high variability and heterogeneity of these systems raises severe performance problems, thus requiring a careful planning of any performance validation activity concerning these systems. This paper reviews some approaches that have been proposed to this end, presenting them within a general framework aimed at supporting a systematic approach to the validation of non functional attributes. In this framework we emphasize that one of the key points for the actual and effective introduction of non-functional attributes validation since the early design phases is the definition of model-based transformations from design-oriented models to analysis-oriented models.