{"id":1167,"date":"2007-07-07T22:08:12","date_gmt":"2007-07-07T19:08:12","guid":{"rendered":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/?p=1167"},"modified":"2022-01-10T00:46:16","modified_gmt":"2022-01-09T22:46:16","slug":"some-formal-approaches-for-dynamic-life-session-management","status":"publish","type":"post","link":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/some-formal-approaches-for-dynamic-life-session-management\/","title":{"rendered":"Some Formal Approaches for Dynamic Life Session Management"},"content":{"rendered":"

published in Proceedings of the Knowledge Engineering Principles and Techniques Conference, KEPT 2007, Cluj-Napoca, pp. 227-235, June 2007.<\/p>\n

Cite as<\/strong><\/p>\n

F. Boian et al., \"Some Formal Approaches for Dynamic Life Session Management\", in Proceedings of the Knowledge Engineering Principles and Techniques Conference, KEPT 2007, Cluj-Napoca, pp. 227-235, June 2007<\/pre>\n
Full paper<\/strong><\/p>\n
\"\" Some Formal Approaches for Dynamic Life Session Management<\/a><\/p>\n
Authors<\/strong><\/p>\n
Florian Boian, Darius Bufnea, Alexandru Vancea, Adrian Sterca, Dan Cojocar, Rares Boian,
\nDepartment of Computer Science, Faculty of Mathematics and Computer Science,
\nBabe\u015f-Bolyai University of Cluj-Napoca<\/p>\n
Abstract<\/strong><\/p>\n
At this moment, the lifetime of a Web session is rigidly established at the level of the Web application and certain implicit constant values are suggested for this duration in the same stiffly manner by most of the Web technologies. This paper introduces some formal models for determining, establishing and dynamic maintaining the lifetime of a HTTP session. To achieve these goals we took into account also the personalized type of work every user does and the particular way in which he or she interacts with the Web application\/server. In the following, three different formal approaches will be presented regarding the lifetime management of a Web session.<\/p>\n
Key words<\/strong><\/p>\n
dynamic HTTP session management<\/p>\n
BibTeX bib file<\/strong><\/p>\n
\"\" boian-bufnea-2007.bib<\/a><\/p>\n
<\/pre>\n
References<\/strong><\/p>\n
    \n
  1. F.M. Boian, D. Bufnea, A. Vancea, A. Sterca, D. Cojocar, R. Boian, A Model for Efficient Session Object Management in Web Applications<\/em>, Proceedings of the Symposium “Colocviul Academic Clujean de Informatica”, Cluj-Napoca, 2006, pp. 131-136.<\/li>\n
  2. F.M. Boian, R. Boian, A. Vancea, AMS: An Assignment Management System for Professors and Students<\/em>, Proceedings of the Symposium “Colocviul Academic Clujean de Informatica”, Cluj-Napoca, 2006, pp. 137-142.<\/li>\n
  3. R. Fielding, R. J. Gettys, J. Mogul, H. Frystyk, L. Masinter, P. Leach, T. Berners-Lee, Hypertext Transfer Protocol — HTTP\/1.1<\/em>, RFC 2616, June 1999.<\/li>\n
  4. D. Allen, Improved Session Tracking<\/em>, http:\/\/www.mojavelinux.com\/blog\/archives\/2006\/09\/improved_session_tracking\/<\/a>, September 2006.<\/li>\n
  5. V. Paxson, M. Allman, Computing TCP’s Retransmission Timer<\/em>, IETF RFC 2988, November 2000.<\/li>\n
  6. Charles M. Grinstead, J. Laurie Snell, Introduction to Probability<\/em>, American Mathematical Society, July 1997.<\/li>\n
  7. F. Boian, Al. Vancea, D. Bufnea, C. Cobarzan, A. Sterca, D. Cojocar, Sisteme de operare<\/em><\/a>, Editura Risoprint 2006, ISBN 973-751-220-0, 978-973-751-220-8.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"
    published in Proceedings of the Knowledge Engineering Principles and Techniques Conference, KEPT 2007, Cluj-Napoca, pp. 227-235, June 2007. Cite as F. Boian et al., “Some Formal Approaches for Dynamic Life Session Management”, in Proceedings of the Knowledge Engineering Principles and… Continue Reading →<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[110],"tags":[134,132,133,131],"_links":{"self":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/posts\/1167"}],"collection":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/comments?post=1167"}],"version-history":[{"count":11,"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/posts\/1167\/revisions"}],"predecessor-version":[{"id":2241,"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/posts\/1167\/revisions\/2241"}],"wp:attachment":[{"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/media?parent=1167"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/categories?post=1167"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.cs.ubbcluj.ro\/~bufny\/wp-json\/wp\/v2\/tags?post=1167"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}