Search the dblp DataBase
Louise E. Moser :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Yair Amir , Louise E. Moser , P. M. Melliar-Smith , Deborah A. Agarwal , P. Ciarfella The Totem Single-Ring Ordering and Membership Protocol. [Citation Graph (1, 0)][DBLP ] ACM Trans. Comput. Syst., 1995, v:13, n:4, pp:311-342 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Wenbing Zhao Making Web Services Dependable. [Citation Graph (0, 0)][DBLP ] ARES, 2006, pp:440-448 [Conf ] Deborah A. Agarwal , Louise E. Moser A Graphical Interface for Analysis of Communication Protocols. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1992, pp:149-156 [Conf ] G. Kutty , Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna A Graphical Methodology for Concurrent System Design. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1994, pp:52-59 [Conf ] Hossein Moiin , P. M. Melliar-Smith , Louise E. Moser Better Late Than Never. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1993, pp:44-51 [Conf ] Louise E. Moser , P. M. Melliar-Smith Analysis of Timing Hazards in Ada Programs. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1993, pp:326-331 [Conf ] Marcos Valerio , Louise E. Moser , P. M. Melliar-Smith , Paul Sweazey The QuickRing Network. [Citation Graph (0, 0)][DBLP ] ACM Conference on Computer Science, 1994, pp:233-240 [Conf ] Louise E. Moser A Decision Procedure for Unquantified Formulas of Graph Theory. [Citation Graph (0, 0)][DBLP ] CADE, 1988, pp:344-357 [Conf ] G. Kutty , Y. S. Ramakrishna , Louise E. Moser , Laura K. Dillon , P. M. Melliar-Smith A Graphical Interval Logic Toolset for Verifying Concurrent Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:138-153 [Conf ] Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna , G. Kutty , Laura K. Dillon The Real-Time Graphical Interval Logic Toolset. [Citation Graph (0, 0)][DBLP ] CAV, 1996, pp:446-449 [Conf ] Louise E. Moser , P. M. Melliar-Smith , L. A. Tewksbury Online Upgrades Become Standard. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2002, pp:982-988 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith On Bootstrapping Replicated CORBA Applications. [Citation Graph (0, 0)][DBLP ] COMPSAC, 2002, pp:239-245 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance. [Citation Graph (0, 0)][DBLP ] COOTS, 1997, pp:81-90 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith The Interception Approach to Reliable Distributed CORBA Objects. [Citation Graph (0, 0)][DBLP ] COOTS, 1997, pp:245-248 [Conf ] P. M. Melliar-Smith , Louise E. Moser Protection against Covert Storage and Timing Channels. [Citation Graph (0, 0)][DBLP ] CSFW, 1991, pp:209-214 [Conf ] Louise E. Moser A Logic of Knowledge and Belief for Reasoning about Computer Security. [Citation Graph (0, 0)][DBLP ] CSFW, 1989, pp:47-63 [Conf ] L. A. Tewksbury , Louise E. Moser , P. M. Melliar-Smith Live Upgrade Techniques for CORBA Applications. [Citation Graph (0, 0)][DBLP ] DAIS, 2001, pp:257-272 [Conf ] Louise E. Moser , P. M. Melliar-Smith Demonstration of Fault Tolerance for CORBA Applications. [Citation Graph (0, 0)][DBLP ] DISCEX (2), 2003, pp:87-89 [Conf ] L. A. Tewksbury , Louise E. Moser , P. M. Melliar-Smith Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. [Citation Graph (0, 0)][DBLP ] DOA, 2001, pp:310-320 [Conf ] Louise E. Moser , P. M. Melliar-Smith , Priya Narasimhan , Ruppert R. Koch , K. Berket Multicast Group Communication for CORBA. [Citation Graph (0, 0)][DBLP ] DOA, 1999, pp:98-107 [Conf ] Nitya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Transparent Consistent Replication of Java RMI Objects. [Citation Graph (0, 0)][DBLP ] DOA, 2000, pp:17-26 [Conf ] Ruppert R. Koch , Sanjay Hortikar , Louise E. Moser , P. M. Melliar-Smith Transparent TCP Connection Failover. [Citation Graph (0, 0)][DBLP ] DSN, 2003, pp:383-392 [Conf ] Ruppert R. Koch , Louise E. Moser , P. M. Melliar-Smith A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. [Citation Graph (0, 0)][DBLP ] DSN, 2000, pp:337-346 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Lessons Learned in Building a Fault-Tolerant CORBA System. [Citation Graph (0, 0)][DBLP ] DSN, 2002, pp:39-44 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. [Citation Graph (0, 0)][DBLP ] DSN, 2001, pp:261-270 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP ] DSN, 2003, pp:341-350 [Conf ] A. V. Singh , Louise E. Moser , P. M. Melliar-Smith Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. [Citation Graph (0, 0)][DBLP ] EDCC, 2005, pp:154-166 [Conf ] Y. S. Ramakrishna , Laura K. Dillon , Louise E. Moser , P. M. Melliar-Smith , G. Kutty An Automata-Theoretic Decision Procedure for Future Interval Logic. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1992, pp:51-67 [Conf ] Y. S. Ramakrishna , Laura K. Dillon , Louise E. Moser , P. M. Melliar-Smith , G. Kutty A Real-Time Interval Logic and Its Decision Procedure. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1993, pp:173-192 [Conf ] Louise E. Moser , P. M. Melliar-Smith , Deborah A. Agarwal The Totem System. [Citation Graph (0, 0)][DBLP ] FTCS, 1995, pp:61-66 [Conf ] Louise E. Moser , P. M. Melliar-Smith , Priya Narasimhan A Fault Tolerance Framework for CORBA. [Citation Graph (0, 0)][DBLP ] FTCS, 1999, pp:150-157 [Conf ] W. J. Chun , Louise E. Moser , P. M. Melliar-Smith , Deborah A. Agarwal Applying Distributed Simulation to a Communication Protocol Development Environment. [Citation Graph (0, 0)][DBLP ] HICSS (1), 1996, pp:320-329 [Conf ] Vana Kalogeraki , Louise E. Moser , P. M. Melliar-Smith A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. [Citation Graph (0, 0)][DBLP ] HICSS, 2000, pp:- [Conf ] Kim Potter Kihlstrom , Louise E. Moser , P. M. Melliar-Smith The SecureRing Protocols for Securing Group Communication. [Citation Graph (0, 0)][DBLP ] HICSS (3), 1998, pp:317-326 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Consistency of Partitionable Object Groups in a CORBA Framework. [Citation Graph (0, 0)][DBLP ] HICSS (1), 1997, pp:120-129 [Conf ] K. Berket , Deborah A. Agarwal , P. M. Melliar-Smith , Louise E. Moser Overview of the InterGroup Protocols. [Citation Graph (0, 0)][DBLP ] International Conference on Computational Science (1), 2001, pp:316-325 [Conf ] Michael D. Santos , P. M. Melliar-Smith , Louise E. Moser Flow Control in the High-Speed Thunder and Lightning ATM Network. [Citation Graph (0, 0)][DBLP ] ICCCN, 1998, pp:243-250 [Conf ] Efstratios Thomopoulos , Louise E. Moser , P. M. Melliar-Smith Analyzing the latency of the Totem multicast protocols. [Citation Graph (0, 0)][DBLP ] ICCCN, 1997, pp:42-50 [Conf ] Yair Amir , Louise E. Moser , P. M. Melliar-Smith , Deborah A. Agarwal , P. Ciarfella Fast Message Ordering and Membership Using a Logical Token-Passing Ring. [Citation Graph (0, 0)][DBLP ] ICDCS, 1993, pp:551-560 [Conf ] Xiaomin Chen , Louise E. Moser , P. M. Melliar-Smith Reservation-Based Totally Ordered Multicasting. [Citation Graph (0, 0)][DBLP ] ICDCS, 1996, pp:511-519 [Conf ] Vana Kalogeraki , P. M. Melliar-Smith , Louise E. Moser Dynamic Migration Algorithms for Distributed Object Systems. [Citation Graph (0, 0)][DBLP ] ICDCS, 2001, pp:119-126 [Conf ] Ruppert R. Koch , Louise E. Moser , P. M. Melliar-Smith The Totem Redundant Ring Protocol. [Citation Graph (0, 0)][DBLP ] ICDCS, 2002, pp:598-607 [Conf ] Louise E. Moser , Yair Amir , P. M. Melliar-Smith , Deborah A. Agarwal Extended Virtual Synchrony. [Citation Graph (0, 0)][DBLP ] ICDCS, 1994, pp:56-65 [Conf ] Priya Narasimhan , Kim Potter Kihlstrom , Louise E. Moser , P. M. Melliar-Smith Providing Support for Survivable CORBA Applications with the Immune System. [Citation Graph (0, 0)][DBLP ] ICDCS, 1999, pp:507-516 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Unification of Replication and Transaction Processing in Three-Tier Architectures. [Citation Graph (0, 0)][DBLP ] ICDCS, 2002, pp:290-0 [Conf ] Deborah A. Agarwal , Louise E. Moser , P. M. Melliar-Smith , Ravi K. Budhia A reliable ordered delivery protocol for interconnected local area networks. [Citation Graph (0, 0)][DBLP ] ICNP, 1995, pp:365-0 [Conf ] Xiaomin Chen , Louise E. Moser , P. M. Melliar-Smith Flow Control Techniques for Multicasting in Gigabit Networks. [Citation Graph (0, 0)][DBLP ] ICNP, 1996, pp:102-0 [Conf ] Michael D. Santos , P. M. Melliar-Smith , Louise E. Moser A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. [Citation Graph (0, 0)][DBLP ] ICNP, 1998, pp:151-0 [Conf ] Amitabha Das , Louise E. Moser , P. M. Melliar-Smith PAL: A Language for Parallel Asynchronous Computation. [Citation Graph (0, 0)][DBLP ] ICPP (2), 1992, pp:166-173 [Conf ] Louise E. Moser , P. M. Melliar-Smith , Ruppert R. Koch , K. Berket A Group Communication Protocol for CORBA. [Citation Graph (0, 0)][DBLP ] ICPP Workshops, 1999, pp:30-36 [Conf ] Laura K. Dillon , G. Kutty , Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna Graphical Specifications for Concurrent Software Systems. [Citation Graph (0, 0)][DBLP ] ICSE, 1992, pp:214-224 [Conf ] L. A. Tewksbury , Louise E. Moser , P. M. Melliar-Smith Live Upgrades of CORBA Applications Using Object Replication. [Citation Graph (0, 0)][DBLP ] ICSM, 2001, pp:488-0 [Conf ] G. Kutty , Louise E. Moser , P. M. Melliar-Smith , Laura K. Dillon , Y. S. Ramakrishna First-Order Future Interval Logic. [Citation Graph (0, 0)][DBLP ] ICTL, 1994, pp:195-209 [Conf ] P. M. Melliar-Smith , Louise E. Moser , Y. S. Ramakrishna , G. Kutty , Laura K. Dillon A System for Automated Deduction in Graphical Interval Logic. [Citation Graph (0, 0)][DBLP ] ICTL, 1994, pp:540-542 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith A Reservation-Based Coordination Protocol for Web Services. [Citation Graph (0, 0)][DBLP ] ICWS, 2005, pp:49-56 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. [Citation Graph (0, 0)][DBLP ] IPDPS, 2002, pp:- [Conf ] Amitabha Das , Louise E. Moser , P. M. Melliar-Smith A Parallel Processing Paradigm for Irregular Applications. [Citation Graph (0, 0)][DBLP ] IRREGULAR, 1995, pp:249-254 [Conf ] Vana Kalogeraki , P. M. Melliar-Smith , Louise E. Moser Dynamic Scheduling for Soft Real-Time Distributed Object Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 2000, pp:114-121 [Conf ] Vana Kalogeraki , P. M. Melliar-Smith , Louise E. Moser Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems. [Citation Graph (0, 0)][DBLP ] ISORC, 1999, pp:291-300 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. [Citation Graph (0, 0)][DBLP ] Symposium on Object-Oriented Real-Time Distributed Computing, 2002, pp:189-198 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Increasing the Reliability of Three-Tier Applications. [Citation Graph (0, 0)][DBLP ] ISSRE, 2001, pp:138-147 [Conf ] Nitya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Interception in the Aroma system. [Citation Graph (0, 0)][DBLP ] Java Grande, 2000, pp:107-115 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Gateways for Accessing Fault Tolerance Domains. [Citation Graph (0, 0)][DBLP ] Middleware, 2000, pp:88-103 [Conf ] Kim Potter Kihlstrom , Louise E. Moser , P. M. Melliar-Smith Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. [Citation Graph (0, 0)][DBLP ] OPODIS, 1997, pp:61-76 [Conf ] Louise E. Moser , P. M. Melliar-Smith Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1994, pp:238-248 [Conf ] P. M. Melliar-Smith , Louise E. Moser Performance Analysis of a Broadcast Communications Protocol. [Citation Graph (0, 0)][DBLP ] SIGMETRICS, 1991, pp:1-10 [Conf ] Louise E. Moser , Vikas Kapur , P. M. Melliar-Smith Probabilistic Language Analysis of Weighted Voting Algorithms. [Citation Graph (0, 0)][DBLP ] SIGMETRICS, 1990, pp:67-73 [Conf ] Louise E. Moser Graph Homomorphisms and the Design of Secure Computer Systems. [Citation Graph (0, 0)][DBLP ] IEEE Symposium on Security and Privacy, 1987, pp:88-96 [Conf ] Kane Kim , Paul D. Ezhilchelvan , Jörg Kaiser , Louise E. Moser , Edgar Nett , Neeraj Suri Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? [Citation Graph (0, 0)][DBLP ] SRDS, 2004, pp:102- [Conf ] P. M. Melliar-Smith , Louise E. Moser Progress in Real-Time Fault Tolerance. [Citation Graph (0, 0)][DBLP ] SRDS, 2004, pp:109-111 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. [Citation Graph (0, 0)][DBLP ] Symposium on Reliable Distributed Systems, 1999, pp:263-273 [Conf ] Michael Hu , Zachary Davis , Shreyas Prasad , Michael Schuricht , P. Michael Melliar-Smith , Louise E. Moser Speech-Enabled Web Services for Mobile Devices. [Citation Graph (0, 0)][DBLP ] SWWS, 2006, pp:103-109 [Conf ] Louise E. Moser , P. M. Melliar-Smith Probabilistic Duration Automata for Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:369-390 [Conf ] G. Kutty , Laura K. Dillon , Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna Visual Tools for Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] VL, 1993, pp:152-159 [Conf ] Louise E. Moser , P. M. Melliar-Smith Total Ordering Algorithms for Asynchronous Byzantine Systems. [Citation Graph (0, 0)][DBLP ] WDAG, 1995, pp:242-256 [Conf ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Strong Replica Consistency for Fault-Tolerant CORBA Applications. [Citation Graph (0, 0)][DBLP ] WORDS, 2001, pp:10-20 [Conf ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Deterministic Scheduling for Multithreaded Replicas. [Citation Graph (0, 0)][DBLP ] WORDS, 2005, pp:74-81 [Conf ] Zachary Davis , Michael Hu , Shreyas Prasad , Michael Schuricht , P. M. Melliar-Smith , Louise E. Moser A Personal Handheld Multi-Modal Shopping Assistant. [Citation Graph (0, 0)][DBLP ] ICNS, 2006, pp:117- [Conf ] Louise E. Moser , P. M. Melliar-Smith , Deborah A. Agarwal , Ravi K. Budhia , Colleen A. Lingley-Papadopoulos Totem: A Fault-Tolerant Multicast Group Communication System. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1996, v:39, n:4, pp:54-63 [Journal ] Kim Potter Kihlstrom , Louise E. Moser , P. M. Melliar-Smith Byzantine Fault Detectors for Solving Consensus. [Citation Graph (0, 0)][DBLP ] Comput. J., 2003, v:46, n:1, pp:16-35 [Journal ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. [Citation Graph (0, 0)][DBLP ] Cluster Computing, 2004, v:7, n:4, pp:317-330 [Journal ] Efstratios Thomopoulos , Louise E. Moser , P. M. Melliar-Smith Analyzing and Measuring the Latency of the Totem Multicast Protocols. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1999, v:31, n:1-2, pp:59-78 [Journal ] Michael D. Santos , P. M. Melliar-Smith , Louise E. Moser Flow control in the high-speed Thunder and Lightning ATM network. [Citation Graph (0, 0)][DBLP ] Computer Communications, 2000, v:23, n:10, pp:928-935 [Journal ] P. M. Melliar-Smith , Louise E. Moser Surviving Network Partitioning. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1998, v:31, n:3, pp:62-68 [Journal ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Using Interceptors to Enhance CORBA. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1999, v:32, n:7, pp:62-68 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Priya Narasimhan , Ruppert R. Koch , K. Berket A multicast group communication protocol, engine, and bridge for CORBA. [Citation Graph (0, 0)][DBLP ] Concurrency and Computation: Practice and Experience, 2001, v:13, n:7, pp:579-603 [Journal ] Nitya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Interceptors for Java Remote Method Invocation. [Citation Graph (0, 0)][DBLP ] Concurrency and Computation: Practice and Experience, 2001, v:13, n:8-9, pp:755-774 [Journal ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Strongly consistent replication and recovery of fault-tolerant CORBA applications. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2002, v:17, n:2, pp:103-114 [Journal ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Design and implementation of a consistent time service for fault-tolerant distributed systems. [Citation Graph (0, 0)][DBLP ] Comput. Syst. Sci. Eng., 2004, v:19, n:5, pp:- [Journal ] Marcos Valerio , Louise E. Moser , P. M. Melliar-Smith Classic Squares and Broadcast Squares. [Citation Graph (0, 0)][DBLP ] Discrete Applied Mathematics, 1994, v:54, n:1, pp:89-96 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Vivek Agrawala Necessary and Sufficient Conditions for Broadcast Consensus Protocols. [Citation Graph (0, 0)][DBLP ] Distributed Computing, 1993, v:7, n:2, pp:75-85 [Journal ] Ravi K. Budhia , Louise E. Moser , P. M. Melliar-Smith Performance engineering of the Totem group communication system. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1998, v:5, n:2, pp:78-87 [Journal ] Xiaomin Chen , Louise E. Moser , P. M. Melliar-Smith Totally ordered gigabit multicasting. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1997, v:4, n:4, pp:229-243 [Journal ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Replica consistency of CORBA objects in partitionable distributed systems. [Citation Graph (0, 0)][DBLP ] Distributed Systems Engineering, 1997, v:4, n:3, pp:139-150 [Journal ] Prithviraj Dasgupta , Louise E. Moser , P. M. Melliar-Smith Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. [Citation Graph (0, 0)][DBLP ] Electronic Commerce Research, 2005, v:5, n:2, pp:267-292 [Journal ] G. Kutty , Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna , Laura K. Dillon Axiomatizations of Interval Logics. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1995, v:24, n:4, pp:313-331 [Journal ] Louise E. Moser , P. M. Melliar-Smith , G. Kutty , Y. S. Ramakrishna Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:4, pp:257-305 [Journal ] Y. S. Ramakrishna , Louise E. Moser , Laura K. Dillon , P. M. Melliar-Smith , G. Kutty An automata-theoretic decision procedure for propositional temporal logic with since and until. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1992, v:17, n:3, pp:271-282 [Journal ] Louise E. Moser , P. M. Melliar-Smith Byzantine-Resistant Total Ordering Algorithms. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1999, v:150, n:1, pp:75-111 [Journal ] Prithviraj Dasgupta , P. M. Melliar-Smith , Louise E. Moser Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy. [Citation Graph (0, 0)][DBLP ] International Journal of Information Technology and Decision Making, 2006, v:5, n:2, pp:331-352 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna , G. Kutty , Laura K. Dillon Automated Deduction in a Graphical Temporal Logic. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1996, v:6, n:1, pp:- [Journal ] Louise E. Moser , P. M. Melliar-Smith The World Banker's Algorithm. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1990, v:9, n:4, pp:369-373 [Journal ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith End-to-end latency of a fault-tolerant CORBA infrastructure. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2006, v:63, n:4-5, pp:341-363 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Vivek Agrawala Asynchronous Fault-Tolerant Total Ordering Algorithms. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1993, v:22, n:4, pp:727-750 [Journal ] Priya Narasimhan , Louise E. Moser , P. M. Melliar-Smith Eternal - a component-based framework for transparent fault-tolerant CORBA. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 2002, v:32, n:8, pp:771-788 [Journal ] Louise E. Moser , P. M. Melliar-Smith Formal Verification of Safety-critical Systems. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1990, v:20, n:8, pp:799-821 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Priya Narasimhan Consistent Object Replication in the external System. [Citation Graph (0, 0)][DBLP ] TAPOS, 1998, v:4, n:2, pp:81-92 [Journal ] Y. S. Ramakrishna , P. M. Melliar-Smith , Louise E. Moser , Laura K. Dillon , G. Kutty Interval Logics and Their Decision Procedures, Part I: An Interval Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:166, n:1&2, pp:1-47 [Journal ] Y. S. Ramakrishna , P. M. Melliar-Smith , Louise E. Moser , Laura K. Dillon , G. Kutty Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:170, n:1-2, pp:1-46 [Journal ] Wenbing Zhao , Louise E. Moser , P. M. Melliar-Smith Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Dependable Sec. Comput., 2005, v:2, n:1, pp:20-33 [Journal ] Kim Potter Kihlstrom , Louise E. Moser , P. M. Melliar-Smith The SecureRing group communication system. [Citation Graph (0, 0)][DBLP ] ACM Trans. Inf. Syst. Secur., 2001, v:4, n:4, pp:371-406 [Journal ] Prithviraj Dasgupta , Nitya Narasimhan , Louise E. Moser , P. M. Melliar-Smith MAgNET: Mobile Agents for Networked Electronic Trading. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Knowl. Data Eng., 1999, v:11, n:4, pp:509-525 [Journal ] Deborah A. Agarwal , Louise E. Moser , P. M. Melliar-Smith , Ravi K. Budhia The Totem Multiple-Ring Ordering and Topology Maintenance Protocol. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1998, v:16, n:2, pp:93-132 [Journal ] Efstratios Thomopoulos , Louise E. Moser , P. M. Melliar-Smith Latency analysis of the totem single-ring protocol. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 2001, v:9, n:5, pp:669-680 [Journal ] Laura K. Dillon , G. Kutty , Louise E. Moser , P. M. Melliar-Smith , Y. S. Ramakrishna A Graphical Interval Logic for Specifying Concurrent Systems. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:2, pp:131-165 [Journal ] Louise E. Moser , Y. S. Ramakrishna , G. Kutty , P. M. Melliar-Smith , Laura K. Dillon A Graphical Environment for the Design of Concurrent Real-Time Systems. [Citation Graph (0, 0)][DBLP ] ACM Trans. Softw. Eng. Methodol., 1997, v:6, n:1, pp:31-79 [Journal ] P. M. Melliar-Smith , Louise E. Moser , Vivek Agrawala Broadcast Protocols for Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1990, v:1, n:1, pp:17-25 [Journal ] Louise E. Moser , P. M. Melliar-Smith , Vivek Agrawala Processor Membership in Asynchronous Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:5, pp:459-473 [Journal ] Louise E. Moser Data Dependency Graphs for Ada Programs. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1990, v:16, n:5, pp:498-509 [Journal ] Laura K. Dillon , G. Kutty , P. M. Melliar-Smith , Louise E. Moser , Y. S. Ramakrishna Visual Specifications for Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] J. Vis. Lang. Comput., 1994, v:5, n:1, pp:61-81 [Journal ] Firat Kart , Gengxin Miao , Louise E. Moser , P. M. Melliar-Smith A Distributed e-Healthcare System Based on the Service Oriented Architecture. [Citation Graph (0, 0)][DBLP ] IEEE SCC, 2007, pp:652-659 [Conf ] Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology. [Citation Graph (, )][DBLP ] Membership algorithms for asynchronous distributed systems. [Citation Graph (, )][DBLP ] Collaborative Web Data Record Extraction. [Citation Graph (, )][DBLP ] Collaborative Computing Using the Atom Publishing Protocol. [Citation Graph (, )][DBLP ] Generative models for ticket resolution in expert networks. [Citation Graph (, )][DBLP ] Dynamic Scheduling of Distributed Method Invocations. [Citation Graph (, )][DBLP ] O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems. [Citation Graph (, )][DBLP ] Extracting data records from the web using tag path clustering. [Citation Graph (, )][DBLP ] Location-Aware Voice-Enabled Web Services for Mobile Devices. [Citation Graph (, )][DBLP ] The Low Latency Fault Tolerance System [Citation Graph (, )][DBLP ] Search in 0.039secs, Finished in 0.046secs