A formal approach to model and verify the behaviour of publish/subscribe architectural style

ISSN： 2042-3217

Source： International Journal of Information Technology, Communications and Convergence, Vol.2, Iss.3, 2012-11, pp. : 234-252

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Push selling-Multicast messages to wireless devices based on the publish/subscribe model

By Quah J.T.-S. Lim G.L.

Electronic Commerce Research and Applications, Vol. 1, Iss. 3, 2002-09 ,pp. : 235-246

Elsevier

Access to resources Recommend Favorite

Towards a semantic-driven and scalable publish/subscribe framework

By Chaabane Amina

International Journal of Internet Protocol Technology, Vol. 7, Iss. 3, 2013-07 ,pp. : 165-175

Inderscience Publishers

Access to resources Recommend Favorite

Interconnecting Federated Clouds by Using Publish-Subscribe Service

By Esposito Christian Ficco Massimo Palmieri Francesco Castiglione Aniello

Cluster Computing, Vol. 16, Iss. 4, 2013-12 ,pp. : 887-903

Springer Publishing Company

Access to resources Recommend Favorite

Resilient and Timely Event Dissemination in Publish/Subscribe Middleware

International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), Vol. 1, Iss. 1, 2010-01 ,pp. : 1-20

IGI Global_journal

Access to resources Recommend Favorite

On the secure creation, organisation and discovery of topics in distributed publish/subscribe systems

By Pallickara Shrideep Fox Geoffrey Gadgil Harshawardhan

International Journal of High Performance Computing and Networking, Vol. 5, Iss. 3, 2008-10 ,pp. : 156-167

Inderscience Publishers

Access to resources Recommend Favorite