14 search results - page 1 / 3 » kbse 2000 |
KBSE
2000
IEEE
13 years 8 months ago
2000
IEEE
KBSE
2000
IEEE
13 years 8 months ago
2000
IEEE
KBSE
2000
IEEE
13 years 8 months ago
2000
IEEE
KBSE
2000
IEEE
13 years 8 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
KBSE
2000
IEEE
13 years 8 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...