65 search results - page 2 / 13 » Analysis of dependencies in advanced transaction models |
COR
2008
13 years 3 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
ACSD
2003
IEEE
13 years 10 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
WOSP
2010
ACM
14 years 5 days ago
2010
ACM
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
TACAS
1999
Springer
13 years 9 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...
HICSS
2002
IEEE
13 years 10 months ago
2002
IEEE
Business to Business (B2B) relationships in Ecommerce are becoming increasingly important. However, there is little guidance available for managers about how relationships should ...