|
Search the dblp DataBase
P. M. Melliar-Smith:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Leslie Lamport, P. M. Melliar-Smith
Byzantine Clock Synchronization. [Citation Graph (2, 0)][DBLP] PODC, 1984, pp:68-74 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- P. M. Melliar-Smith
A Graphical Representation of Interval Logic. [Citation Graph (0, 0)][DBLP] Concurrency, 1988, pp:106-120 [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]
- 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]
- Richard L. Schwartz, P. M. Melliar-Smith
Temporal Logic Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP] ICDCS, 1981, pp:446-454 [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]
- Richard L. Schwartz, P. M. Melliar-Smith
The Finalization Operation for Abstract Types. [Citation Graph (0, 0)][DBLP] ICSE, 1981, pp:273-282 [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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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, 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Membership algorithms for asynchronous distributed systems. [Citation Graph (, )][DBLP]
Collaborative Web Data Record Extraction. [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]
Location-Aware Voice-Enabled Web Services for Mobile Devices. [Citation Graph (, )][DBLP]
The Low Latency Fault Tolerance System [Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.764secs
|