Vui lòng dùng định danh này để trích dẫn hoặc liên kết đến tài liệu này:
http://repository-old.ntt.edu.vn/jspui/handle/298300331/205
Toàn bộ biểu ghi siêu dữ liệu
Trường DC | Giá trị | Ngôn ngữ |
---|---|---|
dc.contributor.author | Phan, Cong Vinh | - |
dc.contributor.other | NTT University, Vietnam | - |
dc.date.accessioned | 2018-11-06T09:42:36Z | - |
dc.date.available | 2018-11-06T09:42:36Z | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | Premier Reference Source (IGI Clobal) | - |
dc.identifier.issn | 10.4018/978-1-60960-845-3.ch007 | - |
dc.identifier.uri | http:/repository-old.ntt.edu.vn/jspui/handle/298300331/205 | - |
dc.description | 3 p. | vi_VN |
dc.description.abstract | In mobile environments (MEs) such as vehicular ad hoc networks (VANETs), mobile ad hoc networks (MANETs), wireless sensor networks (WSNs), and so on, formal specification of self-configuring P2P networking (SPN) emerges as a need for programming, and verifying such mobile networks. Moreover, well-specified SPN in MEs becomes a requirement of developing middleware for the mobile networks. The chapter is a reference material for readers who already have a basic understanding of the MEs for their applications and are now ready to know how to specify and verify formally aspect-oriented self-configuring P2P networking (ASPN) in MEs using categorical language, assured that their computing needs are handled correctly and efficiently. ASPN in MEs is presented in a straightforward fashion by discussing in detail the necessary components and briefly touching on the more advanced components. Several explanatory notes and examples are represented throughout the chapter as a moderation of the formal descriptions. Significant properties of ASPN in MEs, which emerge from the specification, create the firm criteria for verification. | vi_VN |
dc.language.iso | en | vi_VN |
dc.publisher | Nguyen Tat Thanh University, Viet Nam. | - |
dc.relation.ispartofseries | Cheapter 7;P. 170-172 | - |
dc.subject | Ehicular ad hoc networks (VANETs) | vi_VN |
dc.subject | Mobile ad hoc networks (MANETs) | vi_VN |
dc.subject | Wireless sensor networks (WSNs) | vi_VN |
dc.subject | Mạng di động | vi_VN |
dc.subject | Mạng cảm biến không dây | vi_VN |
dc.title | Formal Specification and Verification of Self-Configuring P2P Networking: A Case Study in Mobile Environments | vi_VN |
dc.type | Working Paper | vi_VN |
Bộ sưu tập: | CÔNG NGHỆ THÔNG TIN_J |
Các tập tin trong tài liệu này:
Tập tin | Mô tả | Kích thước | Định dạng | |
---|---|---|---|---|
FormalSpecificationAndVerificationOfSelf-ConfiguringP2PNetworkingACaseStudyInMobileEnvironments.pdf Giới hạn truy cập | 184.55 kB | Adobe PDF | Xem/Tải về Yêu cầu tài liệu |
Khi sử dụng các tài liệu trong Thư viện số phải tuân thủ Luật bản quyền.