How to securely replicate services (Englisch)
- Neue Suche nach: Reiter, M.K.
- Neue Suche nach: Birman, K.P.
- Neue Suche nach: Reiter, M.K.
- Neue Suche nach: Birman, K.P.
In:
ACM Transactions on Programming Languages and Systems
;
16
, 3
;
986-1009
;
1994
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:How to securely replicate services
-
Weitere Titelangaben:Wie man sicher Dienste nachbildet
-
Beteiligte:Reiter, M.K. ( Autor:in ) / Birman, K.P. ( Autor:in )
-
Erschienen in:ACM Transactions on Programming Languages and Systems ; 16, 3 ; 986-1009
-
Verlag:
-
Erscheinungsdatum:1994
-
Format / Umfang:24 Seiten, 38 Quellen
-
ISSN:
-
Coden:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 16, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 304
-
Editorial| 1994
- 305
-
Program Optimization and Parallelization Using IdiomsPinter, Shlomit S. et al. | 1994
- 328
-
Path Analysis and the Optimization of Nonstrict Functional LanguagesBloss, Adrienne et al. | 1994
- 370
-
Efficient Register Allocation via Coloring Using Clique SeparatorsGupta, Rajiv et al. | 1994
- 387
-
Debugging Optimized Code Without Being MisledCopperman, Max et al. | 1994
- 428
-
Improvements to Graph Coloring Register AllocationBriggs, Preston et al. | 1994
- 456
-
Metalevel Building Blocks for Modular SystemsJagannathan, Suresh et al. | 1994
- 493
-
On the Adequacy of Graph Rewriting for Simulating Term RewritingKennaway, J.R. et al. | 1994
- 524
-
Parallel Programming with Control AbstractionCrowl, Lawrence A. et al. | 1994
- 577
-
A Compiler Approach to Scalable Concurrent-Program DesignFoster, Ian et al. | 1994
- 605
-
Some Comments on "A Denotational Semantics for Prolog"Arbab, Bijan et al. | 1994
- 607
-
Denotational Abstract Interpretation of Logic ProgramsMarriott, Kim et al. | 1994
- 649
-
Suspension Analyses for Concurrent Logic ProgramsCodish, Michael et al. | 1994
- 687
-
On the Occur-Check-Free Prolog ProgramsApt, Krzysztof R. et al. | 1994
- 727
-
TransformGen: Automating the Maintenance of Structure-Oriented EnvironmentsGarlan, David et al. | 1994
- 775
-
A Linear-Time Scheme for Version ReconstructionYu, Lin et al. | 1994
- 798
-
Reasoning about Probabilistic Parallel ProgramsRao, Josyula R. et al. | 1994
- 843
-
Model Checking and Modular VerificationGrumberg, Orna et al. | 1994
- 872
-
The Temporal Logic of ActionsLamport, Leslie et al. | 1994
- 924
-
Adding Fair Choice to Dijkstra's CalculusBroy, Manfred et al. | 1994
- 939
-
A Bounded First-In, First-Enabled Solution to the e-Exclusion ProblemAfek, Y. et al. | 1994
- 939
-
A Bounded First-In, First-Enabled Solution to the l-Exclusion ProblemAfek, Y. / Dolev, D. / Gafni, E. / Merritt, M. et al. | 1994
- 954
-
Coordinating First-Order Multiparty InteractionsJoung, Yuh-Jzer et al. | 1994
- 986
-
How to Securely Replicate ServicesReiter, Michael K. et al. | 1994
- 1010
-
Lazy and Incremental Program GenerationHeering, J. et al. | 1994
- 1024
-
Controlled Grammatic AmbiguityThorup, Mikkel et al. | 1994
- 1051
-
Recognizing Substrings of LR(k) Languages in Linear TimeBates, Joseph et al. | 1994