A formalized and validated executable model of the SIP-based presence protocol for mobile applications

Proceedings of the Annual Southeast Conference

Volumn 2007, Issue , 2007, Pages 185-190

  Gehlot, Vijay ^a   Hayrapetyan, Anush ^a  

^a Department of Computing Sciences and Center of Excellence in Enterprise Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER ARCHITECTURE; INFORMATION ANALYSIS; MATHEMATICAL MODELS; MOBILE COMPUTING; TELECOMMUNICATION SERVICES;

AIRBORNE WEB SERVICES (AWS); COMPLEX DYNAMIC DISCOVERY; CONTEXT AWARE COMPUTING; PRESENCE INFORMATION;

NETWORK PROTOCOLS;

EID: 34248388556     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1233341.1233375     Document Type: Conference Paper

References (12)

1. Avaya Inc. The new era of intelligent communications: Delivering an exceptional customer experience with a mobile, distributed workforce. Executive Summary, 2006.
2. The Boston Globe. 'Telehealth' systems slowly gaining. http://www.boston.com/business/liealtlicare/articles/2006/07/26/ telehealth_systems_slowly_gaining/?page=full, July 2006. accessed Sept. 7, 2006.
3. HIMSS. Near-paperless "Hospital of the Future" now open in south Florida. http://www.liimss.org/ASP/ContentRedirector.asp?ContentId=64875, March 2006. accessed Sept. 7, 2006.
4. J. Rosenberg, H. Shulzrine, G. Camarillo, A. Johnston, J. Peterson, R. Sparks, M. Handley, and E. Schooler. SIP: Session Initiation Protocol, RFC 3261. IETF, June 2002.
5. V. Gehlot and E.B. Sloane. Ensuring patient safety in wireless medical device networks. IEEE Computer, 39(4):32-38, 2006.
6. K. Jensen. Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use, volume 1 of Monographs in Theoretical Computer Science, An EATCS Series. Springer-Verlag, 2nd edition, 1996.
7. CPN Group. Cpn tool help page. http://wiki.daimi.au.dk/cpntools-help/ cpntools-help.wiki. accessed Sep. 7, 2006.
8. M. Day, J. Rosenberg, and H. Sugano. A Model for Presence and Instant Messaging, RFC 2778. IETF, Feb 2000.
9. M. Day, S. Aggarwal, G. Mohr, and J. Vincent. Instant Messaging/Presence Protocol Requirements, RFC 2779. IETF, Feb 2000.
10. J. Peterson. Common Profile for Presence (CPP), RFC 3859. IETF, Aug 2004.
11. B. Campbell, J. Rosenberg, H. Schulzrinne, C. Huitema, and D. Gurle. Session Initiation Protocol (SIP) Extension for Instant Messaging, RFC S428. IETF, Dec 2002.
12. J. Rosenberg. A Presence Event Package for the Session Initiation Protocol (SIP), RFC 3856. IETF, Aug 2004.