427 search results - page 20 / 86 » Simulation of Advanced Transaction Models Using GOLOG |
WDAG
2009
Springer
14 years 3 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...
TACAS
1999
Springer
14 years 29 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...
HPCC
2009
Springer
14 years 1 months ago
2009
Springer
Compared with lock-based synchronization techniques, Software Transactional Memory (STM) can significantly improve the programmability of multithreaded applications. Existing res...
LCN
2000
IEEE
14 years 1 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
13 years 11 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...