531 search results - page 31 / 107 » Data structure repair using goal-directed reasoning |
GRID
2006
Springer
13 years 8 months ago
2006
Springer
Peer-to-peer systems offer attractive system management properties, including the ability of components that join the network to self-organize; scalability up to tens of thousands...
COMCOM
2007
13 years 8 months ago
2007
The network topology changes frequently in ad-hoc networks. Some on-demand protocols with multi-paths or backup routes have been proposed to improve the performance in ad-hoc netw...
ICDT
2009
ACM
14 years 9 months ago
2009
ACM
Schema mappings are declarative specifications that describe the relationship between two database schemas. In recent years, there has been an extensive study of schema mappings a...
LICS
2009
IEEE
14 years 3 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
VMCAI
2009
Springer
14 years 3 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...