Results 311 to 320 of about 1,181,339 (352)
Some of the next articles are maybe not open access.
2009
Languages for specifying information systems should not only contain a data definition (sub)language (DDL), i.e., a part for specifying data structures. but also a data retrieval (sub)language (DRL), i.e., a part for specifying queries. and a data manipulation (sub)language (DML), i.e., a part for specifying transactions.The language ORM contains a DDL
openaire +2 more sources
Languages for specifying information systems should not only contain a data definition (sub)language (DDL), i.e., a part for specifying data structures. but also a data retrieval (sub)language (DRL), i.e., a part for specifying queries. and a data manipulation (sub)language (DML), i.e., a part for specifying transactions.The language ORM contains a DDL
openaire +2 more sources
2005
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtrack mechanism. Any weakly correct implementation of a transaction in CCS, once embedded in RCCS, automatically obtains a correct one.
Danos, Vincent, Krivine, Jean
openaire +2 more sources
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtrack mechanism. Any weakly correct implementation of a transaction in CCS, once embedded in RCCS, automatically obtains a correct one.
Danos, Vincent, Krivine, Jean
openaire +2 more sources
The more we get together, the more we can save? A transaction cost perspective
International Journal of Information Management, 2022Chia-Ying Li, Yu-Hui Fang
exaly
1980
This paper is an attempt to tersely restate several theoretical results about transaction recovery and concurrency control. A formal model of entities, actions, transactions, entity failures, concurrency and distributed system is required to present these results.
openaire +1 more source
This paper is an attempt to tersely restate several theoretical results about transaction recovery and concurrency control. A formal model of entities, actions, transactions, entity failures, concurrency and distributed system is required to present these results.
openaire +1 more source
2008
Major chip manufacturers have recently shifted their focus from speeding individual processors to multiplying them on the same chip and shipping multicore architectures. Boosting the performance of programs will thus necessarily go through parallelizing them.
openaire +1 more source
Major chip manufacturers have recently shifted their focus from speeding individual processors to multiplying them on the same chip and shipping multicore architectures. Boosting the performance of programs will thus necessarily go through parallelizing them.
openaire +1 more source
[1989] Proceedings. The 9th International Conference on Distributed Computing Systems, 2003
Tony P. Ng, Shepherd S. B. Shi
openaire +1 more source
Tony P. Ng, Shepherd S. B. Shi
openaire +1 more source
Effective interim collaboration: how firms minimize transaction costs and maximise transaction value
Strategic Management Journal, 1997Jeffrey H Dyer
exaly