Sciweavers

14 search results - page 1 / 3
» kbse 2000
Sort
View
KBSE
2000
IEEE
13 years 7 months ago
Specialization Patterns
Ulrik Pagh Schultz, Julia L. Lawall, Charles Conse...
KBSE
2000
IEEE
13 years 7 months ago
Circular Coinductive Rewriting
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...
Joseph A. Goguen, Kai Lin, Grigore Rosu
KBSE
2000
IEEE
13 years 7 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
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...
Sarfraz Khurshid, Daniel Jackson