4061 search results - page 747 / 813 » Framework Evolution Tool |
121
click to vote
VSTTE
2005
Springer
15 years 7 months 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...
105
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
The proliferation of XML as a standard for data representation and exchange in diverse, next-generation Web applications has created an emphatic need for effective XML data-integr...
147
click to vote
PPOPP
2003
ACM
15 years 6 months ago
2003
ACM
A design pattern is a mechanism for encapsulating the knowledge of experienced designers into a re-usable artifact. Parallel design patterns reflect commonly occurring parallel co...
201
click to vote
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
107
click to vote
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
Light-weight, flexible access control, which allows software to regulate reads and writes to any granularity of memory region, can help improve the reliability of today’s multi...