Notes in Computer Science, pages 1269#1280. Springer Verlag, Berlin, Germany, August 1999. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Modular Atomic Objects - Guerraoui (1995) (Correct)
....it is helpful to compose applications out of atomic activities called A preliminary version of this paper appeared in the Proceedings of the European Conference on Object Oriented Programming LNCS 821, Springer Verlag 1994; Under the title Atomic Object Composition . transactions [8, 13, 17]. Atomicity (in the sense of [28] means that incomplete transactions appear as having no effects, and complete transactions appear as executing sequentially according to a Serialization Order (SO) determined by some Global Serialization Protocol (GSP) A worthwhile approach to achieve ....
....or a reply to an invocation. Each event involves exactly one transaction and one object. For our purpose (i.e. to define o Gammaatomicity) we consider histories that contain only terminated transactions. We assume that a transaction is not allowed to commit at some objects and abort at others [13]; a transaction waiting for a reply (pending transaction) cannot commit; and a transaction cannot invoke 2 Nested transactions in the sense of [21, 11] are not considered here. 3 We will also say that the transaction invokes the object. 4 These operations are assumed to be provided by the ....
J.N. Gray - Notes on database operating systems - In Operatings Systems: An Advanced Course - LNCS, Springer Verlag, pp 393.481 - 1978.
The Mathematical Import Of Zermelo's Well-Ordering Theorem - Kanamori (1997) (1 citation) Self-citation (Set) (Correct)
....The author gratefully acknowledges the generous support of the Volkswagen Stiftung during his stay at the Mathematischen Forschungsinstitut Oberwolfach under the Research in Pairs program. This paper was partly inspired by a conversation with the late George Boolos and a reading of Moschovakis [1994]. The author would like to express his gratitude to Burton Dreben for his careful reading and numerous suggestions for improvement. 1 See Kanamori [1996] for the mathematical development of set theory from Cantor to Cohen. c # 1997, Association for Symbolic Logic 1079 8986 97 0303 0001 4.10 ....
....his widest category of term proof that there is no greatest number is valid. The solution of the puzzle is complicated and depends upon the theory of types, which is explained in Principia Mathematica, Vol. 1 (Camb. Univ. Press, 1910) 16 See Russell [1993, p. 195] 17 As emphasized by Gray [1994], Cantor [1874] similarly established first a positive result, that for any countable sequence of real numbers there is a real number not in the sequence, and only then drew the conclusion that the reals are uncountable. Cantor s main purpose in [1874] was actually to show that the algebraic real ....
, Notes on set theory, Springer-Verlag, New York.
Timing Problems in Real-time Control Systems - Wittenmark, Nilsson, Törngren (1995) (10 citations) Self-citation (Control) (Correct)
No context found.
Notes in Control and Information Sciences, pages 21#29. Springer-Verlag, Berlin, FRG, 1980.
RC22025 (98128) 18 July 2000 Computer Science - Ibm Research Report (Correct)
No context found.
Notes in Computer Science, pages 1269#1280. Springer Verlag, Berlin, Germany, August 1999.
EMA: Implementing the Rewriting Computational Model of Escher - Eder (1998) (1 citation) (Correct)
No context found.
Notes in Arti#cial Intelligence 353. Springer-Verlag, 1989.
Towards Reliable Modelling with Stochastic Process Algebras - Bradley (1999) (Correct)
No context found.
Notes in Computer Science. Springer-Verlag, 1980.
Using Successive Approximations of Equivalences to Model.. - Bradley, Davies (1997) (Correct)
No context found.
Notes in Computer Science, Vol. 92, Springer Verlag, 1980.
DAISY/390: Full System Binary Translation of IBM.. - Gschwind, Ebcioglu.. (1999) (Correct)
No context found.
Notes in Computer Science, pages 1269#1280. Springer Verlag, Berlin, Germany, August 1999.
Factorization-based Fail-Stop Signatures Revisited - Schmidt-Samoa (2004) (Correct)
No context found.
Notes in Computer Science, pages 441 -- 445, Berlin, 1991. Springer-Verlag.
Analysis of a Distributed System for Lifting Trucks - Groote, Pang, Wouters (2001) (Correct)
No context found.
Notes in Computer Science, pages 194--206. Springer-Verlag, 1994.
Luby-Racko Backwards: Increasing Security by Making Block.. - Bellare, al. (2 citations) (Correct)
No context found.
Notes in Computer Science Vol. 537, A. J. Menezes and S. Vanstone ed., Springer-Verlag, 1990, pp. 412-422.
Fault Diagnosis In A Power Plant Using Artificial.. - Simani, Marangon.. (Correct)
No context found.
Notes on Economics and Mathematical System, #Springer-Verlag, Berlin, 1990#.
Optimization Strategies And Backpropagation Neural Networks - Plagianakos, Magoulas, al. (Correct)
No context found.
Notes in Computer Science, 412, 110#119. Springer-Verlag, Berlin, #1990#.
Structured Derivations: a Method for Doing High-School.. - Back, von Wright (1999) (2 citations) (Correct)
No context found.
Notes in Computer Science. Springer-Verlag, Berlin, 1990.
Modules With Strange Decomposition Properties - Eklof (Correct)
No context found.
Notes in Math. No. 1006 #1983#, Springer-Verlag, 275-284.
Fault-Tolerant Servers for the RHODOS System - Zhou, Goscinski (1997) (1 citation) (Correct)
No context found.
Notes in Computer Science, volume 497, pages 571#581. Springer-Verlag, Berlin, Germany, May 1991.
A Framework for Comparing Type Systems for.. - Albano, Dearle.. (1989) (4 citations) (Correct)
No context found.
Notes in Computer Science, 334. Springer-Verlag, (September 1988).
Building Reliable Programs in a Replicated Environment Using.. - Zhou, Goscinski (Correct)
No context found.
Notes in Computer Science, volume 105, pages 246#265. Springer-Verlag, Berlin, Germany, 1981.
Priority in Process Algebras - Cleaveland, Lüttgen, Natarajan (1999) (Correct)
No context found.
Notes in Computer Science, Uppsala, Sweden, August 1994, Springer-Verlag, pp. 2#17.
Priority in Process Algebras - Cleaveland, Lüttgen, Natarajan (1999) (Correct)
No context found.
Notes in Computer Science, Nijmegen, The Netherlands, January 1992, Springer-Verlag, pp. 493# 506.
A Tutorial on Process Algebraic Specification - Cheng (1992) (Correct)
No context found.
Notes in Computer Science, Volume 92, Springer-Verlag, 1980.
Tera Hardware-Software Cooperation - Alverson, Briggs, Coatney, Kahan.. (1997) (5 citations) (Correct)
No context found.
Notes in Computer Science. Springer-Verlag, 1995.
A Process Algebra with Distributed Priorities - Cleaveland, Lüttgen, Natarajan (1996) (10 citations) (Correct)
No context found.
Notes in Computer Science, pages 278#297, Passau, Germany, March 1996. Springer-Verlag.
NTRU: A Ring-Based Public Key Cryptosystem - Hoffstein, Pipher, Silverman (1998) (14 citations) (Correct)
No context found.
Notes in Computer Science, vol. 196, Springer-Verlag, 1985, pp. 289--299.
Kris - Horrocks (Correct)
No context found.
Notes in Artificial Intelligence, pages 67--86, Berlin, 1991. Springer-Verlag.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC