5451 search results - page 842 / 1091 » Typed Operational Semantics |
190
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
The W3C XQuery language recommendation, based on a hierarchical and ordered document model, supports a wide variety of constructs and use cases. There is a diversity of approaches...
156
click to vote
EDBT
2002
ACM
16 years 5 months ago
2002
ACM
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...
174
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
Traditional content based publish/subscribe (pub/sub) systems allow users to express stateless subscriptions evaluated on individual events. However, many applications such as moni...
170
click to vote
EDBT
2008
ACM
16 years 5 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
162
Voted
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...