2135 search results - page 213 / 427 » An Operational Semantics for JavaScript |
164
Voted
TES
2001
Springer
15 years 8 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
225
Voted
ICDE
2001
IEEE
16 years 4 months ago
2001
IEEE
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. W...
269
Voted
GIS
2006
ACM
16 years 4 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
230
Voted
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
150
click to vote
PODS
2008
ACM
16 years 3 months ago
2008
ACM
We present a formal framework for capturing the provenance of data appearing in XQuery views of XML. Building on previous work on relations and their (positive) query languages, w...