1423 search results - page 97 / 285 » Languages of Nested Trees |
219
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Database archiving is important for the retrieval of old versions of a database and for temporal queries over the history of data. We demonstrate XArch, a management system for ma...
116
click to vote
PPOPP
2010
ACM
16 years 21 days ago
2010
ACM
Drawing inspiration from several previous projects, we present an ownership-record-free software transactional memory (STM) system that combines extremely low overhead with unusua...
131
Voted
ASM
2004
ASM
15 years 8 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
142
Voted
RV
2010
Springer
15 years 1 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
166
Voted
SEBD
2003
15 years 4 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...