427 search results - page 20 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
106
click to vote
WDAG
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
108
click to vote
TACAS
1999
Springer
15 years 5 months 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...
HPCC
2009
Springer
15 years 5 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
114
click to vote
LCN
2000
IEEE
15 years 5 months ago
2000
IEEE
Virtual private networks (VPNs) allow two or more parties to communicate securely over a public network. Using cryptographic algorithms and protocols, VPNs provide security servic...
WSC
2008
15 years 3 months ago
2008
Component based or building block based simulation model development is regularly mentioned as an interesting new development and a potential field of research. Most of the commer...