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:
Nhan đề: Formal Specification and Verification of Self-Configuring P2P Networking: A Case Study in Mobile Environments
Tác giả: Phan, Cong Vinh
NTT University, Vietnam
Từ khoá: Ehicular ad hoc networks (VANETs)
Mobile ad hoc networks (MANETs)
Wireless sensor networks (WSNs)
Mạng di động
Mạng cảm biến không dây
Năm xuất bản: 2011
Nhà xuất bản: Nguyen Tat Thanh University, Viet Nam.
Trích dẫn: Premier Reference Source (IGI Clobal)
Tùng thư/Số báo cáo: Cheapter 7;P. 170-172
Tóm tắt: 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.
Mô tả: 3 p.
Định danh: http:/
ISSN: 10.4018/978-1-60960-845-3.ch007

Các tập tin trong tài liệu này:
Tập tin Mô tả Kích thước Định dạng  
  Giới hạn truy cập
184.55 kBAdobe PDFXem/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.