The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Aspect-Oriented Self-Configuring P2P Networking in Mobile Environments: A Formal Specification and Verification
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. Meeting these challenges of mobile networks requires a fundamental approach to the facets of SPN in MEs not tackled before. To this end, taking advantage of the categorical structures we establish, in this chapter, a firm formal basis for specifying P2P, self-configuration, aspect-orientation, and aspect-oriented self-configuring P2P networking (ASPN) in MEs. All of these are to support a mechanism of verification for ASPN in MEs.
Related Content
|
Subrata Tikadar, Kaushik Paul, Abhishek Mukhopadhyay.
© 2026.
26 pages.
|
|
Devanshi Shrivastava, Debanshi Chakraborty, Manjusha Pandey, Siddharth Swarup Rautray.
© 2026.
32 pages.
|
|
Harshita Gupta, Suman Suman Majumder.
© 2026.
12 pages.
|
|
Subhajit Ghosh.
© 2026.
38 pages.
|
|
Sanjib Kundu, Sourav Kayal.
© 2026.
40 pages.
|
|
Sudip Chatterjee, Pronaya Bhattacharya, Subrata Tikadar.
© 2026.
14 pages.
|
|
Chandan Kumar Singh.
© 2026.
40 pages.
|
|
|