{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:30:52Z","timestamp":1762032652317,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,23]],"date-time":"2007-03-23T00:00:00Z","timestamp":1174608000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,23]]},"DOI":"10.1145\/1233341.1233375","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T19:41:00Z","timestamp":1175802060000},"page":"185-190","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A formalized and validated executable model of the SIP-based presence protocol for mobile applications"],"prefix":"10.1145","author":[{"given":"Vijay","family":"Gehlot","sequence":"first","affiliation":[{"name":"Villanova University, Villanova, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anush","family":"Hayrapetyan","sequence":"additional","affiliation":[{"name":"Villanova University, Villanova, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Executive Summary","author":"Avaya Inc.","year":"2006","unstructured":"Avaya Inc. The new era of intelligent communications: Delivering an exceptional customer experience with a mobile, distributed workforce . Executive Summary , 2006 . Avaya Inc. The new era of intelligent communications: Delivering an exceptional customer experience with a mobile, distributed workforce. Executive Summary, 2006."},{"key":"e_1_3_2_1_2_1","unstructured":"The Boston Globe. 'Telehealth' systems slowly gaining. http:\/\/www.boston.com\/business\/healthcare\/articles\/2006\/07\/26\/telehealth_systems_slowly_gaining\/?page=full July 2006. accessed Sept. 7 2006.  The Boston Globe. 'Telehealth' systems slowly gaining. http:\/\/www.boston.com\/business\/healthcare\/articles\/2006\/07\/26\/telehealth_systems_slowly_gaining\/?page=full July 2006. accessed Sept. 7 2006."},{"key":"e_1_3_2_1_3_1","volume-title":"March","author":"Florida SS.","year":"2006","unstructured":"HIM SS. Near-paperless \"Hospital of the Future\" now open in south Florida . http:\/\/www.himss.org\/ASP\/ContentRedirector.asp?ContentId=64875 , March 2006 . accessed Sept. 7, 2006. HIMSS. Near-paperless \"Hospital of the Future\" now open in south Florida. http:\/\/www.himss.org\/ASP\/ContentRedirector.asp?ContentId=64875, March 2006. accessed Sept. 7, 2006."},{"key":"e_1_3_2_1_4_1","volume-title":"IETF","author":"Rosenberg J.","year":"2002","unstructured":"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 . 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."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.125"},{"key":"e_1_3_2_1_6_1","series-title":"Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri Nets---Basic Concepts, Analysis Methods and Practical Use","author":"Jensen K.","year":"1996","unstructured":"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 , 2 nd edition, 1996 . 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.","edition":"2"},{"key":"e_1_3_2_1_7_1","unstructured":"CPN Group. Cpn tool help page. http:\/\/wiki.daimi.au.dk\/cpntools-help\/cpntools-help.wiki. accessed Sep. 7 2006.  CPN Group. Cpn tool help page. http:\/\/wiki.daimi.au.dk\/cpntools-help\/cpntools-help.wiki. accessed Sep. 7 2006."},{"key":"e_1_3_2_1_8_1","volume-title":"IETF","author":"Day M.","year":"2000","unstructured":"M. Day , J. Rosenberg , and H. Sugano . A Model for Presence and Instant Messaging, RFC 2778 . IETF , Feb 2000 . M. Day, J. Rosenberg, and H. Sugano. A Model for Presence and Instant Messaging, RFC 2778. IETF, Feb 2000."},{"key":"e_1_3_2_1_9_1","volume-title":"IETF","author":"Day M.","year":"2000","unstructured":"M. Day , S. Aggarwal , G. Mohr , and J. Vincent . Instant Messaging\/Presence Protocol Requirements, RFC 2779 . IETF , Feb 2000 . M. Day, S. Aggarwal, G. Mohr, and J. Vincent. Instant Messaging\/Presence Protocol Requirements, RFC 2779. IETF, Feb 2000."},{"key":"e_1_3_2_1_10_1","volume-title":"IETF","author":"Peterson J.","year":"2004","unstructured":"J. Peterson . Common Profile for Presence (CPP), RFC 3859 . IETF , Aug 2004 . J. Peterson. Common Profile for Presence (CPP), RFC 3859. IETF, Aug 2004."},{"key":"e_1_3_2_1_11_1","volume-title":"IETF","author":"Campbell B.","year":"2002","unstructured":"B. Campbell , J. Rosenberg , H. Schulzrinne , C. Huitema , and D. Gurle . Session Initiation Protocol (SIP) Extension for Instant Messaging, RFC 3428 . IETF , Dec 2002 . B. Campbell, J. Rosenberg, H. Schulzrinne, C. Huitema, and D. Gurle. Session Initiation Protocol (SIP) Extension for Instant Messaging, RFC 3428. IETF, Dec 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"IETF","author":"Rosenberg J.","year":"2004","unstructured":"J. Rosenberg . A Presence Event Package for the Session Initiation Protocol (SIP), RFC 3856 . IETF , Aug 2004 . J. Rosenberg. A Presence Event Package for the Session Initiation Protocol (SIP), RFC 3856. IETF, Aug 2004."}],"event":{"name":"ACM SE07: ACM Southeast Regional Conference","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Winston-Salem North Carolina","acronym":"ACM SE07"},"container-title":["Proceedings of the 45th annual southeast regional conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1233341.1233375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1233341.1233375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:51Z","timestamp":1750258311000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1233341.1233375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,23]]},"references-count":12,"alternative-id":["10.1145\/1233341.1233375","10.1145\/1233341"],"URL":"https:\/\/doi.org\/10.1145\/1233341.1233375","relation":{},"subject":[],"published":{"date-parts":[[2007,3,23]]},"assertion":[{"value":"2007-03-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}