Please use this identifier to cite or link to this item:
PIRA download icon_1.1View/Download Full Text
DC FieldValueLanguage
dc.contributorDepartment of Computing-
dc.creatorLi, X-
dc.creatorCao, J-
dc.creatorHe, Y-
dc.publisherIEEE Computer Societyen_US
dc.rights© 2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.en_US
dc.rightsThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.en_US
dc.subjectMobile agentsen_US
dc.subjectMobile computingen_US
dc.subjectProgram verificationen_US
dc.subjectSpecification languagesen_US
dc.titleA language for description and verification of mobile agent algorithmsen_US
dc.typeConference Paperen_US
dcterms.abstractMobile agent technology has been widely adopted in network computing, whereas it remains a problem to design and verify the mobile agent algorithms in a platform independent way. In this paper, we propose a script language called SMAL to design the mobile agent algorithm. The semantics of SMAL is briefly introduced with its execution model. Furthermore, to verify the agent program in SMAL, a transformation function for converting SMAL program to Mobile UNITY specification is presented, which would facilitate making use of UNITY-logic to prove the correctness properties of the program.-
dcterms.accessRightsopen accessen_US
dcterms.bibliographicCitationCIT04 : The Fourth International Conference on Computer and Information Technology, September 14-16, 2004, Wuhan, China, p. 546-553-
dc.description.oaVersion of Recorden_US
Appears in Collections:Conference Paper
Files in This Item:
File Description SizeFormat 
description-verification_04.pdf130.58 kBAdobe PDFView/Open
Open Access Information
Status open access
File Version Version of Record
View full-text via PolyU eLinks SFX Query
Show simple item record

Page views

Last Week
Last month
Citations as of Jul 3, 2022


Citations as of Jul 3, 2022


Last Week
Last month
Citations as of Jul 7, 2022

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.