7430 search results - page 553 / 1486 » Programming Applications in CIFF |
163
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Orthogonal persistence opens up the possibility for a number of applications. We present an approach for easily enabling transparent orthogonal persistence, basically on top of a m...
175
click to vote
CTCS
1995
Springer
15 years 10 months ago
1995
Springer
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
170
click to vote
ICALP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
149
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract The importance of providing integration architectures in every field of application is beyond controversy these days. Unfortunately, existing solutions are focusing mainly...
189
click to vote
CIDR
2007
15 years 8 months ago
2007
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...