| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yung-Ting Chuang, Isai Michel Lombera, P. M. Melliar-Smith, Louise E. Moser |
Detecting and defending against malicious attacks in the iTrust information retrieval network.  |
ICOIN  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang |
iTrust: Trustworthy Information Publication, Search and Retrieval.  |
ICDCN  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Honglei Zhang, Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications.  |
IET Software  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser |
Leader-Determined Membership Protocol.  |
HASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Aminzadeh Gohari, Ryan Pakbaz, P. Michael Melliar-Smith, Louise E. Moser, Volkan Rodoplu |
RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks.  |
IEEE Journal on Selected Areas in Communications  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Firat Kart, Louise E. Moser, P. M. Melliar-Smith |
An Automated Supply Chain Management System and Its Performance Evaluation.  |
IJISSCM  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser |
The Low Latency Fault Tolerance System  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser |
A patient-centered health monitoring system.  |
Wireless Health  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser |
Fault Tolerance Middleware for Cloud Computing.  |
IEEE CLOUD  |
2010 |
DBLP DOI BibTeX RDF |
fault tolerance, cloud computing, replication |
| 1 | Michael Schuricht, Zachary Davis, Michael Hu, Shreyas Prasad, P. M. Melliar-Smith, Louise E. Moser |
Managing multiple speech-enabled applications in a mobile handheld device.  |
Int. J. Pervasive Computing and Communications  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | P. M. Melliar-Smith, Louise E. Moser |
O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems.  |
SCCC  |
2009 |
DBLP DOI BibTeX RDF |
update consistency, fault tolerance, load balancing, peer-to-peer systems |
| 1 | Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith |
Collaborative Web Data Record Extraction.  |
ICWS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
A Reservation-Based Extended Transaction Protocol.  |
IEEE Trans. Parallel Distrib. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Isolation, Business Activity, Reservation Protocol |
| 1 | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas |
Resource management using multiple feedback loops in soft real-time distributed object systems.  |
Journal of Systems and Software  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith |
A Reservation-based Extended Transaction Protocol for Coordination of Web Services.  |
Int. J. Web Service Res.  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith |
Service-Oriented Architecture and Web Services.  |
Wiley Encyclopedia of Computer Science and Engineering  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Firat Kart, Louise E. Moser, P. Michael Melliar-Smith |
Building a Distributed E-Healthcare System Using SOA.  |
IT Professional  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Firat Kart, Louise E. Moser, P. Michael Melliar-Smith |
Collaborative Computing Using the Atom Publishing Protocol.  |
ITNG  |
2008 |
DBLP DOI BibTeX RDF |
Event-Based Distributed Computing, Atom/RSS, XML, Interoperability, Collaborative Computing |
| 1 | Firat Kart, Gengxin Miao, Louise E. Moser, P. M. Melliar-Smith |
A Distributed e-Healthcare System Based on the Service Oriented Architecture.  |
IEEE SCC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao |
Building Dependable and Secure Web Services.  |
JSW  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Michael Melliar-Smith, Louise E. Moser |
Achieving Atomicity for Web Services Using Commutativity of Actions.  |
J. UCS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Firat Kart, Louise E. Moser, P. Michael Melliar-Smith |
Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.  |
International Conference on Internet Computing  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
End-to-end latency of a fault-tolerant CORBA infrastructure.  |
Perform. Eval.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser |
Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy.  |
International Journal of Information Technology and Decision Making  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao |
Making Web Services Dependable.  |
ARES  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser |
Location-Aware Voice-Enabled Web Services for Mobile Devices.  |
MoMM  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser |
A Personal Handheld Multi-Modal Shopping Assistant.  |
ICNS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser |
Speech-Enabled Web Services for Mobile Devices.  |
SWWS  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.  |
IEEE Trans. Dependable Sec. Comput.  |
2005 |
DBLP DOI BibTeX RDF |
Fault tolerance, CORBA, replication, transaction processing, three-tier architectures |
| 1 | Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith |
Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace.  |
Electronic Commerce Research  |
2005 |
DBLP DOI BibTeX RDF |
push model of marketing, dynamic pricing, agent mediated e-commerce |
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Fault Tolerance for Distributed and Networked Systems.  |
Encyclopedia of Information Science and Technology (II)  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Deterministic Scheduling for Multithreaded Replicas.  |
WORDS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | A. V. Singh, Louise E. Moser, P. M. Melliar-Smith |
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.  |
EDCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
A Reservation-Based Coordination Protocol for Web Services.  |
ICWS  |
2005 |
DBLP DOI BibTeX RDF |
Continuous Availability, Extended Transaction Model, Relaxed Atomicity, Web Services, Transaction Processing, Business Activity |
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Design and implementation of a consistent time service for fault-tolerant distributed systems.  |
Comput. Syst. Sci. Eng.  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure.  |
Cluster Computing  |
2004 |
DBLP DOI BibTeX RDF |
pluggable protocols framework, fault tolerance, CORBA |
| 1 | P. M. Melliar-Smith, Louise E. Moser |
Progress in Real-Time Fault Tolerance.  |
SRDS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
Byzantine Fault Detectors for Solving Consensus.  |
Comput. J.  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Prithviraj Dasgupta, P. M. Melliar-Smith |
Dynamic Consumer Profiling and Tiered Pricing Using Software Agents.  |
Electronic Commerce Research  |
2003 |
DBLP DOI BibTeX RDF |
consumer segmentation, e-commerce, dynamic pricing |
| 1 | Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith |
Transparent TCP Connection Failover.  |
DSN  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems.  |
DSN  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith |
Demonstration of Fault Tolerance for CORBA Applications.  |
DISCEX  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Eternal - a component-based framework for transparent fault-tolerant CORBA.  |
Softw., Pract. Exper.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Strongly consistent replication and recovery of fault-tolerant CORBA applications.  |
Comput. Syst. Sci. Eng.  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
Pluggable Protocols Framework, Fault Tolerance, CORBA |
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Lessons Learned in Building a Fault-Tolerant CORBA System.  |
DSN  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury |
Online Upgrades Become Standard.  |
COMPSAC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
On Bootstrapping Replicated CORBA Applications.  |
COMPSAC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt |
Open Research Issues in Building Dependable Middleware (Panel). (PDF / PS)  |
WORDS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. (PDF / PS)  |
Symposium on Object-Oriented Real-Time Distributed Computing  |
2002 |
DBLP DOI BibTeX RDF |
Multicast Group Communication Protocol, Fault Tolerance, CORBA, Probability Density Function, End-to-End Latency |
| 1 | Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith |
The Totem Redundant Ring Protocol. (PDF / PS)  |
ICDCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Unification of Replication and Transaction Processing in Three-Tier Architectures. (PDF / PS)  |
ICDCS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket |
A multicast group communication protocol, engine, and bridge for CORBA.  |
Concurrency and Computation: Practice and Experience  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Interceptors for Java Remote Method Invocation.  |
Concurrency and Computation: Practice and Experience  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith |
Latency analysis of the totem single-ring protocol.  |
IEEE/ACM Trans. Netw.  |
2001 |
DBLP DOI BibTeX RDF |
Message delivery latency, probability density functions, multicast protocols, performance modeling and analysis |
| 1 | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
The SecureRing group communication system.  |
ACM Trans. Inf. Syst. Secur.  |
2001 |
DBLP DOI BibTeX RDF |
group communication, survivability, intrusion, Byzantine faults, partial synchrony, state machine replication |
| 1 | K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser |
Overview of the InterGroup Protocols.  |
International Conference on Computational Science  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects.  |
DSN  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith |
Live Upgrade Techniques for CORBA Applications.  |
DAIS  |
2001 |
DBLP BibTeX RDF |
|
| 1 | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith |
Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. (PDF / PS)  |
DOA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Strong Replica Consistency for Fault-Tolerant CORBA Applications.  |
WORDS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith |
Live Upgrades of CORBA Applications Using Object Replication. (PDF / PS)  |
ICSM  |
2001 |
DBLP DOI BibTeX RDF |
Live Upgrades, CORBA, Software Evolution, Distributed Programming |
| 1 | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
Dynamic Migration Algorithms for Distributed Object Systems.  |
ICDCS  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Increasing the Reliability of Three-Tier Applications.  |
ISSRE  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser |
Flow control in the high-speed Thunder and Lightning ATM network.  |
Computer Communications  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith |
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.  |
DSN  |
2000 |
DBLP DOI BibTeX RDF |
many-to-many, reliable, multicast, ATM, group communication |
| 1 | Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Transparent Consistent Replication of Java RMI Objects. (PDF / PS)  |
DOA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith |
A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. (PDF / PS)  |
HICSS  |
2000 |
DBLP DOI BibTeX RDF |
Quality of Service, Multimedia, Middleware, CORBA, Resource Management, Distributed Object Computing |
| 1 | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
Dynamic Scheduling for Soft Real-Time Distributed Object Systems.  |
ISORC  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
Dynamic Scheduling of Distributed Method Invocations.  |
IEEE Real-Time Systems Symposium  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Gateways for Accessing Fault Tolerance Domains.  |
Middleware  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Interception in the Aroma system.  |
Java Grande  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
MAgNET: Mobile Agents for Networked Electronic Trading.  |
IEEE Trans. Knowl. Data Eng.  |
1999 |
DBLP DOI BibTeX RDF |
Java, mobile agents, Electronic commerce, supply chain, procurement |
| 1 | Louise E. Moser, P. M. Melliar-Smith |
Byzantine-Resistant Total Ordering Algorithms.  |
Inf. Comput.  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith |
Analyzing and Measuring the Latency of the Totem Multicast Protocols.  |
Computer Networks  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Using Interceptors to Enhance CORBA.  |
IEEE Computer  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. (PDF / PS)  |
SRDS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket |
Multicast Group Communication for CORBA. (PDF / PS)  |
DOA  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
ISORC  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan |
A Fault Tolerance Framework for CORBA.  |
FTCS  |
1999 |
DBLP DOI BibTeX RDF |
strong replica consistency, fault tolerance, interoperability, CORBA, transparency, replicated objects |
| 1 | Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
Providing Support for Survivable CORBA Applications with the Immune System.  |
ICDCS  |
1999 |
DBLP DOI BibTeX RDF |
security, reliability, multicast, CORBA, replication, survivability, distributed objects, majority voting, Byzantine fault |
| 1 | Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket |
A Group Communication Protocol for CORBA. (PDF / PS)  |
ICPP Workshops  |
1999 |
DBLP DOI BibTeX RDF |
Reliable Ordered Message Delivery, Fault Tolerance, Common Object Request Broker Architecture, Group Communication |
| 1 | Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith |
Performance engineering of the Totem group communication system.  |
Distributed Systems Engineering  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan |
Consistent Object Replication in the external System.  |
TAPOS  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia |
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol.  |
ACM Trans. Comput. Syst.  |
1998 |
DBLP DOI BibTeX RDF |
Lamport timestamp, network partitioning, total ordering, virtual synchrony, topology maintenance, reliable delivery |
| 1 | P. M. Melliar-Smith, Louise E. Moser |
Surviving Network Partitioning.  |
IEEE Computer  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser |
A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. (PDF / PS)  |
ICNP  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser |
Flow Control in the High-Speed Thunder and Lightning ATM Network.  |
ICCCN  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
The SecureRing Protocols for Securing Group Communication. (PDF / PS)  |
HICSS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Replica consistency of CORBA objects in partitionable distributed systems.  |
Distributed Systems Engineering  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith |
Totally ordered gigabit multicasting.  |
Distributed Systems Engineering  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
ACM Trans. Softw. Eng. Methodol.  |
1997 |
DBLP DOI BibTeX RDF |
real-time systems, graphical user interface, temporal logic, concurrent systems, automated deduction, formal specification and verification |
| 1 | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector.  |
OPODIS  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith |
Analyzing the latency of the Totem multicast protocols.  |
ICCCN  |
1997 |
DBLP DOI BibTeX RDF |
Totem multicast protocols, multicast group communication protocols, latency analysis, reliable totally ordered delivery, logical token-passing ring, single-ring network, two-ring network, four-ring network, multiple-ring networks, mean latency, latency distribution, distributed systems, protocols, local area networks, LAN, probability density functions, gateways, protocols performance, message delivery, message filtering |
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Consistency of Partitionable Object Groups in a CORBA Framework.  |
HICSS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
The Interception Approach to Reliable Distributed CORBA Objects.  |
COOTS  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance.  |
COOTS  |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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.  |
Theor. Comput. Sci.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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.  |
Theor. Comput. Sci.  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon |
Automated Deduction in a Graphical Temporal Logic.  |
Journal of Applied Non-Classical Logics  |
1996 |
DBLP BibTeX RDF |
|