41 search results - page 1 / 9 » A Generic Persistence Model for (C)LP Systems (and Two Usefu... |
PADL
2004
Springer
13 years 10 months ago
2004
Springer
AC
1999
Springer
13 years 8 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
POS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Defining persistence in terms of reachability is fundamental to achieving orthogonality of persistence. It is implicit to the principles of orthogonal persistence and is ...
ATVA
2006
Springer
13 years 8 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
SIGMOD
2003
ACM
14 years 4 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...