531 search results - page 19 / 107 » Data structure repair using goal-directed reasoning |
CSB
2005
IEEE
14 years 11 days ago
2005
IEEE
Federal agencies, academia and industries have invested heavily in the development of structural and biothermodynamic data. However, the data are still largely distributed over se...
CONEXT
2009
ACM
13 years 7 months ago
2009
ACM
Shipping-container-based data centers have been introduced as building blocks for constructing mega-data centers. However, it is a challenge on how to interconnect those container...
QUACON
2009
Springer
14 years 1 months ago
2009
Springer
Much research on context quality in context-aware systems divides into two strands: (1) the qualitative identi cation of quality measures and (2) the use of uncertain reasoning tec...
ESOP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
VSTTE
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...