The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

P. M. Melliar-Smith: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leslie Lamport, P. M. Melliar-Smith
    Byzantine Clock Synchronization. [Citation Graph (2, 0)][DBLP]
    PODC, 1984, pp:68-74 [Conf]
  2. P. M. Melliar-Smith, Brian Randell
    Software Reliability: The Role of Programmed Exception Handling. [Citation Graph (1, 0)][DBLP]
    Language Design for Reliable Software, 1977, pp:95-100 [Conf]
  3. 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]
  4. Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao
    Making Web Services Dependable. [Citation Graph (0, 0)][DBLP]
    ARES, 2006, pp:440-448 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Richard L. Schwartz, P. M. Melliar-Smith
    From State Machines to Temporal Logic: Specification Methods for Protocol Standards. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:55-65 [Conf]
  10. Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith
    STP: A Mechanized Logic for Specification and Verification. [Citation Graph (0, 0)][DBLP]
    CADE, 1982, pp:32-49 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. P. M. Melliar-Smith
    A Graphical Representation of Interval Logic. [Citation Graph (0, 0)][DBLP]
    Concurrency, 1988, pp:106-120 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
    The Totem System. [Citation Graph (0, 0)][DBLP]
    FTCS, 1995, pp:61-66 [Conf]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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]
  44. 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]
  45. 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]
  46. 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]
  47. Richard L. Schwartz, P. M. Melliar-Smith
    Temporal Logic Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:446-454 [Conf]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. 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]
  54. 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]
  55. Richard L. Schwartz, P. M. Melliar-Smith
    The Finalization Operation for Abstract Types. [Citation Graph (0, 0)][DBLP]
    ICSE, 1981, pp:273-282 [Conf]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:3-18 [Conf]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    An Interval-Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1983, pp:443-457 [Conf]
  69. 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]
  70. 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]
  71. James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell
    A program structure for error detection and recovery. [Citation Graph (0, 0)][DBLP]
    Symposium on Operating Systems, 1974, pp:171-187 [Conf]
  72. Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt
    An Interval Logic for Higher-Level Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
    PODC, 1983, pp:173-186 [Conf]
  73. Richard L. Schwartz, P. M. Melliar-Smith
    From State Machines to Temporal Logic: Specification Methods for Protocol Standards. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:3-19 [Conf]
  74. 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]
  75. 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]
  76. 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]
  77. P. M. Melliar-Smith, Louise E. Moser
    Progress in Real-Time Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    SRDS, 2004, pp:109-111 [Conf]
  78. 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]
  79. 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]
  80. P. M. Melliar-Smith
    Extending Interval Logic to Real Time Systems. [Citation Graph (0, 0)][DBLP]
    Temporal Logic in Specification, 1987, pp:224-242 [Conf]
  81. 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]
  82. 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]
  83. 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]
  84. Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt
    Open Research Issues in Building Dependable Middleware (Panel). [Citation Graph (0, 0)][DBLP]
    WORDS, 2002, pp:359-0 [Conf]
  85. 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]
  86. 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]
  87. 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]
  88. 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]
  89. 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]
  90. 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]
  91. 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]
  92. 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]
  93. 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]
  94. 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]
  95. 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]
  96. 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]
  97. 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]
  98. 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]
  99. 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]
  100. 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]
  101. 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]
  102. 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]
  103. Prithviraj Dasgupta, P. M. Melliar-Smith
    Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce Research, 2003, v:3, n:3-4, pp:277-296 [Journal]
  104. 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]
  105. 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]
  106. 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]
  107. 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]
  108. 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]
  109. 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]
  110. Leslie Lamport, P. M. Melliar-Smith
    Synchronizing Clocks in the Presence of Faults [Citation Graph (0, 0)][DBLP]
    J. ACM, 1985, v:32, n:1, pp:52-78 [Journal]
  111. 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]
  112. 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]
  113. 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]
  114. 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]
  115. Leslie Lamport, P. M. Melliar-Smith
    Byzantine Clock Synchronization. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1986, v:20, n:3, pp:10-16 [Journal]
  116. 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]
  117. 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]
  118. 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]
  119. P. M. Melliar-Smith, Richard L. Schwartz
    Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1982, v:31, n:7, pp:616-630 [Journal]
  120. 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]
  121. 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]
  122. 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]
  123. 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]
  124. 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]
  125. 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]
  126. 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]
  127. 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]
  128. 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]
  129. 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]
  130. 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]
  131. 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]
  132. 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]

  133. Membership algorithms for asynchronous distributed systems. [Citation Graph (, )][DBLP]


  134. Collaborative Web Data Record Extraction. [Citation Graph (, )][DBLP]


  135. Dynamic Scheduling of Distributed Method Invocations. [Citation Graph (, )][DBLP]


  136. O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems. [Citation Graph (, )][DBLP]


  137. Location-Aware Voice-Enabled Web Services for Mobile Devices. [Citation Graph (, )][DBLP]


  138. The Low Latency Fault Tolerance System [Citation Graph (, )][DBLP]


Search in 0.017secs, Finished in 0.027secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002