DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Dalju | - |
dc.contributor.author | Baik, Jongmoon | - |
dc.date.accessioned | 2010-06-09T02:59:45Z | - |
dc.date.available | 2010-06-09T02:59:45Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2008-08-06 | - |
dc.identifier.citation | 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008, v., no., pp.617 - 622 | - |
dc.identifier.uri | http://hdl.handle.net/10203/18785 | - |
dc.description.abstract | Ubiquitous computing is a worthy environment for autonomic/pervasive computing between users and devices or between devices and devices. To realize ubiquitous computing, supporting seamless mobility ensures continuous services during inter-networking movement without meddling users. For seamless mobility in a heterogeneous networking environment, an adequate service/network configuration is necessary in accordance with the given environment. We developed the middleware, assisting to decrease human effort for application implementation and to guarantee interoperability for effective sustaining. A protocol of QoS (quality of service) NSLP (NSIS Signaling Layer Protocol) with advance resource reservation is modeled during the development process; furthermore, the protocol verification prior to be implemented ensures the correctness of the protocol and additionally reduces risks from ambiguous designs. In this paper, we present the case-study of QoS protocol verification utilizing Petri-Net as one of well-known methods; for seamless mobility, the verified QoS protocol can guarantee service quality and effective use of resources. | - |
dc.language | ENG | - |
dc.language.iso | en_US | en |
dc.publisher | IEEE | - |
dc.title | QoS protocol verification using Petri-Net for seamless mobility in a ubiquitous environment: A case study | - |
dc.type | Conference | - |
dc.identifier.scopusid | 2-s2.0-57749183484 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 617 | - |
dc.citation.endingpage | 622 | - |
dc.citation.publicationname | 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008 | - |
dc.identifier.conferencecountry | Others | - |
dc.contributor.localauthor | Baik, Jongmoon | - |
dc.contributor.nonIdAuthor | Lee, Dalju | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.