5671 search results - page 608 / 1135 » A Semantic Approach to Interpolation |
234
click to vote
EUSAI
2004
Springer
16 years 18 days ago
2004
Springer
Service discovery is a process of locating, or discovering, one or more documents, that describe a particular service. Most of the current service discovery approaches perform synt...
196
click to vote
ICFEM
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
189
click to vote
WEBDB
2004
Springer
16 years 16 days ago
2004
Springer
On the Web, there is a pervasive use of XML to give lightweight semantics to textual collections. Such documentcentric XML collections require a query language that can gracefully...
205
click to vote
PDP
2003
IEEE
16 years 14 days ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
188
click to vote
DLS
2008
15 years 9 months ago
2008
Parsing Expression Grammar (PEG) is a recognition-based foundation for describing syntax that renewed interest in top-down parsing approaches. Generally, the implementation of PEG...