Mobile push: delivering content to mobile users

Podnar, Ivana; Hauswirth, Manfred; Jazayeri, Mehdi

doi:10.1109/icdcsw.2002.1030826

Cited by 58 publications

(45 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The PS architecture supports the asynchronous interaction between publishers and subscribers, so that message exchange is still possible even one of them is not in active [14]. In order to support the asynchronous interaction, the architecture needs support content queuing and delivering.…”

Section: Architecturementioning

confidence: 99%

Modeling and Analysis of Mobile Push Notification Services Using Petri Nets

Ding¹,

Song²,

Zhang³

2014

STSC

View full text Add to dashboard Cite

Mobile push notifications are an important feature in mobile computing services and they have been widely implemented in mobile systems. However, it also brings the vulnerability of security and reliability to the system. Formal specification and verification is an effective approach for understanding the properties of mobile push notification services and ensuring quality of the system development. Due to the dynamic interaction, security and mobility properties in mobile computing services, formally modeling and analyzing them is a grand challenge. In this paper, we proposed an approach to model mobile computing services using a high level Petri nets and analyze them through combining formal verification and testing techniques. The dynamic interaction between users and service providers is modeled with the publisher subscriber architecture. The mobility is modeled with a connector that dynamically connects a user to its service provider based on user's runtime environment, and the security is modeled with a threat model. The effectiveness of the approach is demonstrated with a case study of modeling and analyzing a mobile searching engine that is implemented with mobile push notifications services.

show abstract

Section: Architecturementioning

confidence: 99%

Modeling and Analysis of Mobile Push Notification Services Using Petri Nets

Ding¹,

Song²,

Zhang³

2014

STSC

View full text Add to dashboard Cite

show abstract

“…A number of authors agree that the mobility support in pub/sub systems should be offered by the pub/sub middleware itself, and not delegated to the application layer [9,12]. The existing solutions extent the established pub/sub systems that are optimized for stationary environments by adding special proxy subscribers taking the subscriber's role for disconnected subscribers [1,5].…”

Section: Related Workmentioning

confidence: 99%

Supporting mobility with persistent notifications in publish/subscribe systems

Podnar¹

2004

"International Workshop on Distributed Event-Based Systems (DEBS 2004)" W18L Workshop - 26th International Conference on Softwa

Self Cite

View full text Add to dashboard Cite

show abstract

“…In work more closely related to ours, Minstrel [12] has been developed to provide a push-based messaging system. The system utilises the publish/subscribe paradigm and has been extended to support mobile devices.…”

Section: Related Workmentioning

confidence: 99%

Towards Cloud to Device Push Messaging on Android: Technologies, Possibilities and Challenges

Hansen¹,

Grønli

Ghinea

2012

IJCNS

View full text Add to dashboard Cite

In this paper we look at different push messaging alternatives available for Android. Push messaging provides an important aspect of server to device communication, and we specifically focus on the integration of cloud computing with mobile devices through the use of push-based technologies. By conducting a benchmarking test, we investigate the performance of four relevant push technologies for the Android platform, namely C2DM, XMPP, Xtify and Urban Airship. The comparison focuses on three aspects of the libraries: 1) The stability; 2) Response times; and 3) Energy consumption. The test is conducted on both WLAN and 3G, and includes several mobile device types. Additionally, we also integrate with the Google App Engine to provide the cloud integration server that is responsible for sending push messages to the mobile devices.

show abstract

Mobile push: delivering content to mobile users

Abstract: Abstract

Cited by 58 publications

References 11 publications

Modeling and Analysis of Mobile Push Notification Services Using Petri Nets

Modeling and Analysis of Mobile Push Notification Services Using Petri Nets

Supporting mobility with persistent notifications in publish/subscribe systems

Towards Cloud to Device Push Messaging on Android: Technologies, Possibilities and Challenges

Contact Info

Product

Resources

About