The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Location-Awareness with Action Systems
Abstract
The location of various network resources is of outmost interest when trying to model and analyze various computing and communicating contemporary platforms. Formal methods - fault-avoiding techniques for constructing robust software and systems - are instrumental in providing precise modeling formats and various analysis and development tools. In this chapter, the authors present their approach to embedding location information into action systems, a formal method dedicated to distributed systems that are not aware of their physical location.
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.
|
|
|