The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
BOINC: A System for Public-Resource Computing and Storage
GRID '04 Proceedings of the 5th IEEE/ACM International Workshop on Grid Computing
High-Performance Task Distribution for Volunteer Computing
E-SCIENCE '05 Proceedings of the First International Conference on e-Science and Grid Computing
Performance Evaluation of Scheduling Policies for Volunteer Computing
E-SCIENCE '07 Proceedings of the Third IEEE International Conference on e-Science and Grid Computing
EPEW '09 Proceedings of the 6th European Performance Engineering Workshop on Computer Performance Engineering
Modeling Job Lifespan Delays in Volunteer Computing Projects
CCGRID '09 Proceedings of the 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid
Volunteer Computing and Desktop Cloud: The Cloud@Home Paradigm
NCA '09 Proceedings of the 2009 Eighth IEEE International Symposium on Network Computing and Applications
BikeNet: A mobile sensing system for cyclist experience mapping
ACM Transactions on Sensor Networks (TOSN)
Proceedings of the 19th international conference on World wide web
Cloud@Home: bridging the gap between volunteer and cloud computing
ICIC'09 Proceedings of the 5th international conference on Emerging intelligent computing technology and applications
An analysis of power consumption in a smartphone
USENIXATC'10 Proceedings of the 2010 USENIX conference on USENIX annual technical conference
Symbolic Representation Techniques in Dynamic Reliability Evaluation
HASE '10 Proceedings of the 2010 IEEE 12th International Symposium on High-Assurance Systems Engineering
Availability Assessment of HA Standby Redundant Clusters
SRDS '10 Proceedings of the 2010 29th IEEE Symposium on Reliable Distributed Systems
Medusa: a programming framework for crowd-sensing applications
Proceedings of the 10th international conference on Mobile systems, applications, and services
Automatically characterizing places with opportunistic crowdsensing using smartphones
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Lowering the barriers to large-scale mobile crowdsensing
Proceedings of the 14th Workshop on Mobile Computing Systems and Applications
Workload-Based Software Rejuvenation in Cloud Systems
IEEE Transactions on Computers
| Hi-index | 0.00 |
Mobile Crowdsensing (MCS) is an emerging distributed paradigm lying at the intersection between the Internet of Things and the volunteer/crowd-based approach. MCS applications are usually deployed on contributing nodes such as smart devices and mobiles, equipped by sensing resources that sample the physical environment and provide the sensed data, once filtered, aggregated and preprocessed, to the MCS application server. The MCS opportunistic approach unlocks new form of pervasive, participatory sensing applications, acquiring interests also in business contexts that call for adequate techniques and tools to drive architects and developers in MCS application design. Aim of this paper is to evaluate the performance of an MCS application though a stochastic model able to stochastically represent the overall MCS environment, thus providing a valid support to MCS application development. The Petri nets formalism is used due to its expressiveness and the capabilities to represent complex, dependent, non-Markovian, phenomena usually characterizing MCS environments. A specific MCS application is then evaluated to demonstrate the effectiveness of the proposed technique on a real case study.