KBSE
2000
IEEE
14 years 5 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...
PERCOM
2003
ACM
15 years 4 days ago
2003
ACM
This paper presents the "Solar" system framework that allows resources to advertise context-sensitive names and for applications to make context-sensitive name queries. ...