248 search results - page 38 / 50 » P2P systems with transactional semantics |
ERCIMDL
1998
Springer
14 years 2 days ago
1998
Springer
As experimental digital library testbeds gain wider acceptance and develop significant user bases, it becomes important to investigate the ways in which users interact with the sys...
TACAS
1999
Springer
14 years 2 days ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
SYRCODIS
2008
13 years 9 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
FM
2008
Springer
13 years 9 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
DBPL
1993
Springer
13 years 12 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...