The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Logical Methods for Self-Configuration of Network Devices
Abstract
The goal of self-configuration consists of providing appropriate values for parameters that modulate the behaviour of a device. In this chapter, self-configuration is studied from a mathematical logic point of view. In contrast with imperative means of generating configurations, characterized by scripts and templates, the use of declarative languages such as propositional or first-order logic is argued. In that setting, device configurations become models of particular logical formulæ, which can be generated using constraint solvers without any rigid scripting or user intervention.
Related Content
|
S. Vijay Anand, Sathis Kumar B..
© 2023.
12 pages.
|
|
Sudarson Rama Perumal, Muthumanikandan V., Sushmitha J..
© 2023.
30 pages.
|
|
Sipra Swain, Biswa Ranjan Senapati, Pabitra Mohan Khilar.
© 2023.
31 pages.
|
|
Uma Mageswari R., Nallarasu Krishnan, Mohammed Sirajudeen Yoosuf, Murugan K., Sankar Ram C..
© 2023.
20 pages.
|
|
Divya L., Pradeep Kumar T. S..
© 2023.
15 pages.
|
|
Pradeep Kumar T. S., Vetrivelan P..
© 2023.
15 pages.
|
|
Vanitha Veerasamy, Rajathi Natarajan.
© 2023.
16 pages.
|
|
|