Printer Friendly

Articles from Journal of the Association for Computing Machinery (March 1, 2000)

1-5 out of 5 article(s)
Title Author Type Words
An Automata-Theoretic Approach to Branching-Time Model Checking. KUPFERMAN, ORNA; VARDI, MOSHE Y.; WOLPER, PIERRE 32330
An O([log(n).sup.4/3]) Space Algorithm for (s, t) Connectivity in Undirected Graphs. ARMONI, ROY; TA-SHMA, AMNON; WIGDERSON, AVI; ZHOU, SHIYU 10299
Eavesdropping Games: A Graph-Theoretic Approach to Privacy in Distributed Systems. FRANKLIN, MATTHEW; GALIL, ZVI; YUNG, MOTI 12260
Making Abstract Interpretations Complete. GIACOBAZZI, ROBERTO; RANZATO, FRANCESCO; SCOZZARI, FRANCESCA 32862
The Fault Span of Crash Failures. VARGHESE, GEORGE; JAYARAM, MAHESH 28084

Terms of use | Privacy policy | Copyright © 2022 Farlex, Inc. | Feedback | For webmasters |