3799 search results - page 694 / 760 » An Engineering Approach to Formal Methods |
278
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Abstract-- Inspired by the great success of information retrieval (IR) style keyword search on the web, keyword search on XML has emerged recently. The difference between text data...
128
click to vote
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
144
click to vote
HPCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In recent years our society has witnessed an unprecedented growth in computing power available to tackle important problems in science, engineering and medicine. For ex...
119
click to vote
IWPC
2005
IEEE
15 years 9 months ago
2005
IEEE
Software evolution analysis is concerned with analysis of artifacts produced during a software systems life-cycle. Execution traces produced from instrumented code reflect a syst...
160
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...