917 search results - page 112 / 184 » On the Semantics of Updates in a Functional Language |
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. As personalization and device independence become prominent issues in Web development, tools to adapt existing Web Information Systems (WISs) are required. Still, current...
APLAS
2008
ACM
14 years 11 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...
BPM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
EUROSYS
2008
ACM
15 years 6 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
DEBS
2003
ACM
15 years 3 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...