Qiang Zeng, Mingyi Zhao, et al.
IEEE TKDE
In this paper we describe the implementation of a declarative framework to support the development of distributed management applications. The framework is based on an extension of declarative networking, an asynchronous computational model that uses recursive SQL as its foundation and has been successfully used for the implementation of multiple networking protocols including opinion-based preferential routing as well as standard path vector and link state routing protocols. The SQL implementation enables analysis capabilities that can help avoid implementation and logic errors. © 2012 IFIP.
Qiang Zeng, Mingyi Zhao, et al.
IEEE TKDE
Charles P. Wright, Erich M. Nahum, et al.
IBM J. Res. Dev
Ian Molloy, Ninghui Li, et al.
SACMAT 2009
Ian Molloy, Hong Chen, et al.
ACM TISSEC