KBSE
2000
IEEE
13 years 9 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...