Louise E. Moser

186 papers A* 9A 25B 16C 6Misc 3Journal 67Unranked 57
YearRankTypeTitle / Venue / Authors
2016 J jnl
Corrigendum to "Peer-to-Peer Publication, Search and Retrieval Using the Android Mobile Platform" [Computer Networks 65(2014) 56-72].
Comput. Networks
Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2016 J jnl
Statistical Estimation and Dynamic Adaptation Algorithms for the iTrust Publication, Search and Retrieval System.
Comput. J.
Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser, Isai Michel Lombera
2015 A conf
Conversion Infrastructure for Maintaining High Availability of Web Services Using Multiple Service Providers.
ICWS
P. M. Melliar-Smith, Louise E. Moser
2015 J jnl
Emerging Web Services.
IEEE Trans. Serv. Comput.
Bhavani Thuraisingham, Liang-Jie Zhang, Louise E. Moser
2015 — conf
Personal Health Monitoring Using a Smartphone.
IEEE MS
Louise E. Moser, P. M. Melliar-Smith
2015 J jnl
Services in the Cloud.
IEEE Trans. Serv. Comput.
Louise E. Moser, Bhavani Thuraisingham, Jia Zhang
2014 — conf
Analysis of the match probabilities for the iTrust information network with message forwarding.
ICOIN
Louise E. Moser, P. Michael Melliar-Smith
2014 J jnl
Peer-to-peer publication, search and retrieval using the Android mobile platform.
Comput. Networks
Isai Michel Lombera, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang
2013 C conf
A Distributed Ranking Algorithm for the iTrust Information Search and Retrieval System.
WEBIST
Boyang Peng, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang, Isai Michel Lombera
2013 J jnl
Low Latency Fault Tolerance System.
Comput. J.
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2013 J jnl
Mobile Decentralized Search and Retrieval Using SMS and HTTP.
Mob. Networks Appl.
Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2013 — conf
Peer management for iTrust over Wi-Fi Direct.
WPMC
Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2013 B conf
Probabilistic Analysis of Message Forwarding.
ICCCN
Louise E. Moser, P. M. Melliar-Smith
2013 J jnl
Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine.
Softw. Pract. Exp.
Kurt E. Kiefer, Louise E. Moser
2013 J jnl
Toward Trustworthy Coordination of Web Services Business Activities.
IEEE Trans. Serv. Comput.
Hua Chai, Honglei Zhang, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser
2012 — ed.
2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, 2012
IEEE SCC
Louise E. Moser, Manish Parashar, Patrick C. K. Hung
2012 — conf
A Mobile Peer-to-Peer Search and Retrieval Service for Social Networks.
IEEE MS
Isai Michel Lombera, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang
2012 B conf
Decentralized search and retrieval for mobile networks using SMS.
WiMob
Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang
2012 C conf
Declustering the iTrust Search and Retrieval Network to Increase Trustworthiness.
WEBIST
Christopher M. Badger, Louise E. Moser, P. Michael Melliar-Smith, Isai Michel Lombera, Yung-Ting Chuang
2012 — conf
Detecting and defending against malicious attacks in the iTrust information retrieval network.
ICOIN
Yung-Ting Chuang, Isai Michel Lombera, P. M. Melliar-Smith, Louise E. Moser
2012 A* conf
Latent association analysis of document pairs.
KDD
Gengxin Miao, Ziyu Guan, Louise E. Moser, Xifeng Yan, Shu Tao, Nikos Anerousis, Jimeng Sun
2012 J jnl
Protecting the iTrust Information Retrieval Network against Malicious Attacks.
J. Comput. Sci. Eng.
Yung-Ting Chuang, P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera
2012 J jnl
Trustworthy Coordination of Web Services Atomic Transactions.
IEEE Trans. Parallel Distributed Syst.
Honglei Zhang, Hua Chai, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser
2012 A* conf
Understanding task-driven information flow in collaborative networks.
WWW
Gengxin Miao, Shu Tao, Winnie Cheng, Randy Moulic, Louise E. Moser, David Lo, Xifeng Yan
2012 Misc conf
iTrust: Trustworthy Information Publication, Search and Retrieval.
ICDCN
P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang
2011 — conf
Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change.
MobiCASE
Isai Michel Lombera, Yung-Ting Chuang, Louise E. Moser, P. M. Melliar-Smith
2011 J jnl
Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications.
IET Softw.
Honglei Zhang, Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2011 — conf
Leader-Determined Membership Protocol.
HASE
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2011 J jnl
RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks.
IEEE J. Sel. Areas Commun.
Amir Aminzadeh Gohari, Ryan Pakbaz, P. Michael Melliar-Smith, Louise E. Moser, Volkan Rodoplu
2010 — conf
A patient-centered health monitoring system.
Wireless Health
Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser
2010 J jnl
An Automated Supply Chain Management System and Its Performance Evaluation.
Int. J. Inf. Syst. Supply Chain Manag.
Firat Kart, Louise E. Moser, P. M. Melliar-Smith
2010 — conf
Fault Tolerance Middleware for Cloud Computing.
IEEE CLOUD
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2010 A* conf
Generative models for ticket resolution in expert networks.
KDD
Gengxin Miao, Louise E. Moser, Xifeng Yan, Shu Tao, Yi Chen, Nikos Anerousis
2010 J jnl
The Low Latency Fault Tolerance System
CoRR
Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser
2009 A conf
Collaborative Web Data Record Extraction.
ICWS
Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith
2009 A* conf
Extracting data records from the web using tag path clustering.
WWW
Gengxin Miao, Jun'ichi Tatemura, Wang-Pin Hsiung, Arsany Sawires, Louise E. Moser
2009 J jnl
Managing multiple speech-enabled applications in a mobile handheld device.
Int. J. Pervasive Comput. Commun.
Michael Schuricht, Zachary Davis, Michael Hu, Shreyas Prasad, P. M. Melliar-Smith, Louise E. Moser
2009 — conf
O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems.
SCCC
P. M. Melliar-Smith, Louise E. Moser
2008 — conf
A Collaborative Computing Infrastructure based on atom.
CTS
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2008 J jnl
A Reservation-Based Extended Transaction Protocol.
IEEE Trans. Parallel Distributed Syst.
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2008 J jnl
A Reservation-based Extended Transaction Protocol for Coordination of Web Services.
Int. J. Web Serv. Res.
Wenbing Zhao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith
2008 J jnl
Building a Distributed E-Healthcare System Using SOA.
IT Prof.
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2008 — conf
Collaborative Computing Using the Atom Publishing Protocol.
ITNG
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2008 J jnl
Resource management using multiple feedback loops in soft real-time distributed object systems.
J. Syst. Softw.
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas
2008 — ch.
Service-Oriented Architecture and Web Services.
Wiley Encyclopedia of Computer Science and Engineering
Louise E. Moser, P. M. Melliar-Smith
2007 — conf
A Distributed e-Healthcare System Based on the Service Oriented Architecture.
IEEE SCC
Firat Kart, Gengxin Miao, Louise E. Moser, P. M. Melliar-Smith
2007 J jnl
Achieving Atomicity for Web Services Using Commutativity of Actions.
J. Univers. Comput. Sci.
P. Michael Melliar-Smith, Louise E. Moser
2007 J jnl
Building Dependable and Secure Web Services.
J. Softw.
Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao
2007 — conf
Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.
International Conference on Internet Computing
Firat Kart, Louise E. Moser, P. Michael Melliar-Smith
2006 — conf
A Personal Handheld Multi-Modal Shopping Assistant.
ICNS
Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser
2006 J jnl
End-to-end latency of a fault-tolerant CORBA infrastructure.
Perform. Evaluation
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2006 C conf
Location-Aware Voice-Enabled Web Services for Mobile Devices.
MoMM
Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser
2006 B conf
Making Web Services Dependable.
ARES
Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao
2006 J jnl
Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy.
Int. J. Inf. Technol. Decis. Mak.
Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser
2006 — conf
Speech-Enabled Web Services for Mobile Devices.
SWWS
Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser
2005 A conf
A Reservation-Based Coordination Protocol for Web Services.
ICWS
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2005 — conf
Deterministic Scheduling for Multithreaded Replicas.
WORDS
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2005 J jnl
Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace.
Electron. Commer. Res.
Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith
2005 — ch.
Fault Tolerance for Distributed and Networked Systems.
Encyclopedia of Information Science and Technology (II)
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2005 Misc conf
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.
EDCC
A. V. Singh, Louise E. Moser, P. M. Melliar-Smith
2005 J jnl
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.
IEEE Trans. Dependable Secur. Comput.
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2004 J jnl
Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure.
Clust. Comput.
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2004 J jnl
Design and implementation of a consistent time service for fault-tolerant distributed systems.
Comput. Syst. Sci. Eng.
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2004 B conf
Progress in Real-Time Fault Tolerance.
SRDS
P. M. Melliar-Smith, Louise E. Moser
2004 B conf
Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?
SRDS
K. H. (Kane) Kim, Paul D. Ezhilchelvan, Jörg Kaiser, Louise E. Moser, Edgar Nett, Neeraj Suri
2003 J jnl
Byzantine Fault Detectors for Solving Consensus.
Comput. J.
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
2003 — conf
Demonstration of Fault Tolerance for CORBA Applications.
DISCEX (2)
Louise E. Moser, P. M. Melliar-Smith
2003 A conf
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems.
DSN
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2003 A conf
Transparent TCP Connection Failover.
DSN
Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith
2002 A conf
Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure.
IPDPS
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2002 — conf
End-to-End Latency of a Fault-Tolerant CORBA Infrastructure.
Symposium on Object-Oriented Real-Time Distributed Computing
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2002 J jnl
Eternal - a component-based framework for transparent fault-tolerant CORBA.
Softw. Pract. Exp.
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2002 A conf
Lessons Learned in Building a Fault-Tolerant CORBA System.
DSN
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2002 B conf
On Bootstrapping Replicated CORBA Applications.
COMPSAC
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2002 B conf
Online Upgrades Become Standard.
COMPSAC
Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury
2002 J jnl
Strongly consistent replication and recovery of fault-tolerant CORBA applications.
Comput. Syst. Sci. Eng.
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2002 A conf
The Totem Redundant Ring Protocol.
ICDCS
Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith
2002 A conf
Unification of Replication and Transaction Processing in Three-Tier Architectures.
ICDCS
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2001 J jnl
A multicast group communication protocol, engine, and bridge for CORBA.
Concurr. Comput. Pract. Exp.
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket
2001 — conf
An analysis of the optimum node density for ad hoc mobile networks.
ICC
Elizabeth M. Royer, P. Michael Melliar-Smith, Louise E. Moser
2001 — conf
Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects.
DOA
L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith
2001 A conf
Dynamic Migration Algorithms for Distributed Object Systems.
ICDCS
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
2001 A conf
Increasing the Reliability of Three-Tier Applications.
ISSRE
Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith
2001 J jnl
Interceptors for Java Remote Method Invocation.
Concurr. Comput. Pract. Exp.
Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2001 J jnl
Latency analysis of the totem single-ring protocol.
IEEE/ACM Trans. Netw.
Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith
2001 C conf
Live Upgrade Techniques for CORBA Applications.
DAIS
L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith
2001 — conf
Live Upgrades of CORBA Applications Using Object Replication.
ICSM
L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith
2001 Misc conf
Overview of the InterGroup Protocols.
International Conference on Computational Science (1)
K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser
2001 A conf
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects.
DSN
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2001 — conf
Strong Replica Consistency for Fault-Tolerant CORBA Applications.
WORDS
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2001 J jnl
The SecureRing group communication system.
ACM Trans. Inf. Syst. Secur.
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
2000 — conf
A CORBA Framework for Managing Real-Time Distributed Multimedia Applications.
HICSS
Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith
2000 A conf
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.
DSN
Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith
2000 C conf
Dynamic Scheduling for Soft Real-Time Distributed Object Systems.
ISORC
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
2000 A conf
Dynamic Scheduling of Distributed Method Invocations.
RTSS
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
2000 J jnl
Flow control in the high-speed Thunder and Lightning ATM network.
Comput. Commun.
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
2000 A conf
Gateways for Accessing Fault Tolerance Domains.
Middleware
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2000 — conf
Interception in the Aroma system.
Java Grande
Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
2000 — conf
Transparent Consistent Replication of Java RMI Objects.
DOA
Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999 — conf
A Fault Tolerance Framework for CORBA.
FTCS
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan
1999 — conf
A Group Communication Protocol for CORBA.
ICPP Workshops
Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket
1999 J jnl
Analyzing and Measuring the Latency of the Totem Multicast Protocols.
Comput. Networks
Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith
1999 J jnl
Byzantine-Resistant Total Ordering Algorithms.
Inf. Comput.
Louise E. Moser, P. M. Melliar-Smith
1999 — conf
Dynamic modeling of replicated objects for dependable soft real-time distributed object systems.
WORDS (Jan.)
Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith
1999 B conf
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.
SRDS
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999 J jnl
MAgNET: Mobile Agents for Networked Electronic Trading.
IEEE Trans. Knowl. Data Eng.
Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999 — conf
Multicast Group Communication for CORBA.
DOA
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket
1999 A conf
Providing Support for Survivable CORBA Applications with the Immune System.
ICDCS
Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
1999 B conf
The Eternal system: an architecture for enterprise applications.
EDOC
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, L. A. Tewksbury, Vana Kalogeraki
1999 J jnl
Using Interceptors to Enhance CORBA.
Computer
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1999 C conf
Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems.
ISORC
Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser
1998 B conf
A Lossless, Minimal Latency Protocol for Gigabit ATM Networks.
ICNP
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
1998 — conf
An Extensible Remote Graphical Interface for an ATM Network Simulator.
Tcl/Tk Conference
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
1998 J jnl
Consistent Object Replication in the external System.
Theory Pract. Object Syst.
Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan
1998 B conf
Flow Control in the High-Speed Thunder and Lightning ATM Network.
ICCCN
Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser
1998 J jnl
Performance engineering of the Totem group communication system.
Distributed Syst. Eng.
Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith
1998 J jnl
Surviving Network Partitioning.
Computer
P. M. Melliar-Smith, Louise E. Moser
1998 — conf
The SecureRing Protocols for Securing Group Communication.
HICSS (3)
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
1998 J jnl
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol.
ACM Trans. Comput. Syst.
Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia
1997 J jnl
A Graphical Environment for the Design of Concurrent Real-Time Systems.
ACM Trans. Softw. Eng. Methodol.
Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon
1997 B conf
Analyzing the latency of the Totem multicast protocols.
ICCCN
Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith
1997 — conf
Consistency of Partitionable Object Groups in a CORBA Framework.
HICSS (1)
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997 — conf
Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance.
COOTS
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997 — conf
Probabilistic analysis of real-time dependable systems.
WORDS
Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos
1997 J jnl
Replica consistency of CORBA objects in partitionable distributed systems.
Distributed Syst. Eng.
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997 — conf
Separation of concerns: functionality vs. quality of service.
WORDS
P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan
1997 B conf
Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector.
OPODIS
Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith
1997 — conf
The Interception Approach to Reliable Distributed CORBA Objects.
COOTS
Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith
1997 J jnl
Totally ordered gigabit multicasting.
Distributed Syst. Eng.
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith
1996 — conf
Applying Distributed Simulation to a Communication Protocol Development Environment.
HICSS (1)
Wesley J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
1996 J jnl
Automated Deduction in a Graphical Temporal Logic.
J. Appl. Non Class. Logics
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1996 B conf
Flow Control Techniques for Multicasting in Gigabit Networks.
ICNP
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith
1996 J jnl
Interval Logics and Their Decision Procedures, Part I: An Interval Logic.
Theor. Comput. Sci.
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1996 J jnl
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.
Theor. Comput. Sci.
Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1996 — conf
Object-oriented programming of complex fault-tolerant real-time systems.
WORDS
Louise E. Moser, Priya Narasimhan, P. M. Melliar-Smith
1996 A conf
Probabilistic Duration Automata for Analyzing Real-Time Systems.
TACAS
Louise E. Moser, P. M. Melliar-Smith
1996 A conf
Reservation-Based Totally Ordered Multicasting.
ICDCS
Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith
1996 A* conf
The Real-Time Graphical Interval Logic Toolset.
CAV
Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1996 J jnl
Totem: A Fault-Tolerant Multicast Group Communication System.
Commun. ACM
Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, Ravi K. Budhia, Colleen A. Lingley-Papadopoulos
1995 — conf
A Parallel Processing Paradigm for Irregular Applications.
IRREGULAR
Amitabha Das, Louise E. Moser, P. M. Melliar-Smith
1995 B conf
A reliable ordered delivery protocol for interconnected local area networks.
ICNP
Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia
1995 J jnl
Axiomatizations of Interval Logics.
Fundam. Informaticae
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon
1995 J jnl
The Totem Single-Ring Ordering and Membership Protocol.
ACM Trans. Comput. Syst.
Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella
1995 — conf
The Totem System.
FTCS
Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
1995 — conf
Total Ordering Algorithms for Asynchronous Byzantine Systems.
WDAG
Louise E. Moser, P. M. Melliar-Smith
1994 J jnl
A Graphical Interval Logic for Specifying Concurrent Systems.
ACM Trans. Softw. Eng. Methodol.
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994 — conf
A Graphical Methodology for Concurrent System Design.
ACM Conference on Computer Science
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1994 — conf
A System for Automated Deduction in Graphical Interval Logic.
ICTL
P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon
1994 J jnl
Classic Squares and Broadcast Squares.
Discret. Appl. Math.
Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith
1994 J jnl
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.
Fundam. Informaticae
Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna
1994 A conf
Extended Virtual Synchrony.
ICDCS
Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal
1994 — conf
First-Order Future Interval Logic.
ICTL
George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna
1994 A conf
Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol.
RTSS
Louise E. Moser, P. M. Melliar-Smith
1994 J jnl
Processor Membership in Asynchronous Distributed Systems.
IEEE Trans. Parallel Distributed Syst.
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1994 — conf
The QuickRing Network.
ACM Conference on Computer Science
Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey
1994 B conf
The Totem protocol development environment.
ICNP
P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal
1994 J jnl
Visual Specifications for Temporal Reasoning.
J. Vis. Lang. Comput.
Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna
1993 A* conf
A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
CAV
George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith
1993 — conf
A Real-Time Interval Logic and Its Decision Procedure.
FSTTCS
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
1993 — conf
Analysis of Timing Hazards in Ada Programs.
ACM Conference on Computer Science
Louise E. Moser, P. M. Melliar-Smith
1993 J jnl
Asynchronous Fault-Tolerant Total Ordering Algorithms.
SIAM J. Comput.
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1993 — conf
Better Late Than Never.
ACM Conference on Computer Science
Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser
1993 A conf
Fast Message Ordering and Membership Using a Logical Token-Passing Ring.
ICDCS
Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella
1993 J jnl
Necessary and Sufficient Conditions for Broadcast Consensus Protocols.
Distributed Comput.
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1993 A conf
Really visual temporal reasoning.
RTSS
Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty
1993 — conf
Visual Tools for Temporal Reasoning.
VL
George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1992 — conf
A Graphical Interface for Analysis of Communication Protocols.
ACM Conference on Computer Science
Deborah A. Agarwal, Louise E. Moser
1992 — conf
An Automata-Theoretic Decision Procedure for Future Interval Logic.
FSTTCS
Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty
1992 J jnl
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Informaticae
Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty
1992 J jnl
Calculus and Probability Determine the Performance of a Disk Drive.
SIAM Rev.
Louise E. Moser
1992 A* conf
Graphical Specifications for Concurrent Software Systems.
ICSE
Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
1992 — conf
PAL: A Language for Parallel Asynchronous Computation.
ICPP (2)
Amitabha Das, Louise E. Moser, P. M. Melliar-Smith
1991 J jnl
A parallel sorting algorithm for a novel model of computation.
Int. J. Parallel Program.
Amitabha Das, Louise E. Moser, P. M. Melliar-Smith
1991 A conf
Membership algorithms for asynchronous distributed systems.
ICDCS
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1991 A* conf
Performance Analysis of a Broadcast Communications Protocol.
SIGMETRICS
P. M. Melliar-Smith, Louise E. Moser
1991 — conf
Protection against Covert Storage and Timing Channels.
CSFW
P. M. Melliar-Smith, Louise E. Moser
1991 — conf
Total ordering algorithms.
ACM Conference on Computer Science
Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala
1990 J jnl
Broadcast Protocols for Distributed Systems.
IEEE Trans. Parallel Distributed Syst.
P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala
1990 J jnl
Data Dependency Graphs for Ada Programs.
IEEE Trans. Software Eng.
Louise E. Moser
1990 J jnl
Formal Verification of Safety-critical Systems.
Softw. Pract. Exp.
Louise E. Moser, P. M. Melliar-Smith
1990 A* conf
Probabilistic Language Analysis of Weighted Voting Algorithms.
SIGMETRICS
Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith
1990 J jnl
The World Banker's Algorithm.
J. Parallel Distributed Comput.
Louise E. Moser, P. M. Melliar-Smith
1989 — conf
A Logic of Knowledge and Belief for Reasoning about Computer Security.
CSFW
Louise E. Moser
1989 A conf
Fault-tolerant distributed systems based on broadcast communication.
ICDCS
P. Michael Melliar-Smith, Louise E. Moser
1988 A conf
A Decision Procedure for Unquantified Formulas of Graph Theory.
CADE
Louise E. Moser
1987 — conf
Graph Homomorphisms and the Design of Secure Computer Systems.
S&P
Louise E. Moser