The many faces of publish/subscribe
ACM Computing Surveys (CSUR)
Performance analysis using CPN tools
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Factoring User Experience into the Design of Ambient and Mobile Systems
Engineering Interactive Systems
BonjourGrid: Orchestration of multi-instances of grid middlewares on institutional Desktop Grids
IPDPS '09 Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Model checking publish-subscribe systems
SPIN'03 Proceedings of the 10th international conference on Model checking software
SlapOS: A Multi-Purpose Distributed Cloud Operating System Based on an ERP Billing Model
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
Desktop Grid Computing
| Hi-index | 0.00 |
This paper proposes a Publish-Subscribe framework for the design of Desktop Grid (DG) middleware. This work focuses on a modeling and a verification of a DG protocol based on the Publish-Subscribe paradigm and introduces a prototype that we are currently developing. Our prototype implementation is based on Redis, a key-value no-SQL Web 2.0 tool with Publish-Subscribe functionality. Whereas most previous approaches required to build a number of layers before the layer of the DG middleware, we have only one layer in our system. In addition, our system is characterized to be light in terms of coding lines and used resources. It is therefore very convenient to implement DGs on resource constrained systems, e.g. tablets and smartphones.