default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDP. M. Melliar-Smith
P. Michael Melliar-Smith – Peter Michael Melliar-Smith
Person information
- affiliation: University of California Santa Barbara
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2016
[j69]Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser, Isai Michel Lombera:
Statistical Estimation and Dynamic Adaptation Algorithms for the iTrust Publication, Search and Retrieval System. Comput. J. 59(10): 1492-1510 (2016)- [j68]Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang:
Corrigendum to "Peer-to-Peer Publication, Search and Retrieval Using the Android Mobile Platform" [Computer Networks 65(2014) 56-72]. Comput. Networks 95: 127 (2016) - [j67]Yung-Ting Chuang, Peter Michael Melliar-Smith, Louise Elizabeth Moser, Isai Michel Lombera:
Maintaining censorship resistance in the iTrust network for publication, search and retrieval. Peer-to-Peer Netw. Appl. 9(2): 266-283 (2016) - 2015
- [c122]P. M. Melliar-Smith, Louise E. Moser:
Conversion Infrastructure for Maintaining High Availability of Web Services Using Multiple Service Providers. ICWS 2015: 759-764 - [c121]Louise E. Moser, P. M. Melliar-Smith:
Personal Health Monitoring Using a Smartphone. IEEE MS 2015: 344-351 - 2014
- [j66]Isai Michel Lombera, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang:
Peer-to-peer publication, search and retrieval using the Android mobile platform. Comput. Networks 65: 56-72 (2014) - [c120]Louise E. Moser, P. Michael Melliar-Smith:
Analysis of the match probabilities for the iTrust information network with message forwarding. ICOIN 2014: 340-345 - 2013
- [j65]Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser:
Low Latency Fault Tolerance System. Comput. J. 56(6): 716-740 (2013) - [j64]Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang:
Mobile Decentralized Search and Retrieval Using SMS and HTTP. Mob. Networks Appl. 18(1): 22-41 (2013) - [j63]Hua Chai, Honglei Zhang, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser:
Toward Trustworthy Coordination of Web Services Business Activities. IEEE Trans. Serv. Comput. 6(2): 276-288 (2013) - [c119]Louise E. Moser, P. M. Melliar-Smith:
Probabilistic Analysis of Message Forwarding. ICCCN 2013: 1-8 - [c118]Boyang Peng, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang, Isai Michel Lombera:
A Distributed Ranking Algorithm for the iTrust Information Search and Retrieval System. WEBIST 2013: 199-208 - [c117]Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang:
Peer management for iTrust over Wi-Fi Direct. WPMC 2013: 1-5 - 2012
- [j62]Yung-Ting Chuang, P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera:
Protecting the iTrust Information Retrieval Network against Malicious Attacks. J. Comput. Sci. Eng. 6(3): 179-192 (2012) - [j61]Honglei Zhang, Hua Chai, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser:
Trustworthy Coordination of Web Services Atomic Transactions. IEEE Trans. Parallel Distributed Syst. 23(8): 1551-1565 (2012) - [c116]P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang:
iTrust: Trustworthy Information Publication, Search and Retrieval. ICDCN 2012: 351-366 - [c115]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: 263-268 - [c114]Isai Michel Lombera, Louise E. Moser, P. Michael Melliar-Smith, Yung-Ting Chuang:
A Mobile Peer-to-Peer Search and Retrieval Service for Social Networks. IEEE MS 2012: 72-79 - [c113]Christopher M. Badger, Louise E. Moser, P. Michael Melliar-Smith, Isai Michel Lombera, Yung-Ting Chuang:
Declustering the iTrust Search and Retrieval Network to Increase Trustworthiness. WEBIST 2012: 312-322 - [c112]Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang:
Decentralized search and retrieval for mobile networks using SMS. WiMob 2012: 134-141 - 2011
- [j60]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 Softw. 5(3): 342-356 (2011) - [j59]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 J. Sel. Areas Commun. 29(10): 1935-1947 (2011) - [c111]Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser:
Leader-Determined Membership Protocol. HASE 2011: 124-129 - [c110]Isai Michel Lombera, Yung-Ting Chuang, Louise E. Moser, P. M. Melliar-Smith:
Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change. MobiCASE 2011: 152-171 - 2010
- [j58]Firat Kart, Louise E. Moser, P. M. Melliar-Smith:
An Automated Supply Chain Management System and Its Performance Evaluation. Int. J. Inf. Syst. Supply Chain Manag. 3(2): 84-107 (2010) - [c109]Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser:
Fault Tolerance Middleware for Cloud Computing. IEEE CLOUD 2010: 67-74 - [c108]Yung-Ting Chuang, P. M. Melliar-Smith, Louise E. Moser:
A patient-centered health monitoring system. Wireless Health 2010: 196-197 - [i1]Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser:
The Low Latency Fault Tolerance System. CoRR abs/1004.1864 (2010)
2000 – 2009
- 2009
- [j57]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 Comput. Commun. 5(3): 332-359 (2009) - [c107]Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith:
Collaborative Web Data Record Extraction. ICWS 2009: 896-902 - [c106]P. M. Melliar-Smith, Louise E. Moser:
O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems. SCCC 2009: 25-33 - 2008
- [j56]Firat Kart, Louise E. Moser, P. Michael Melliar-Smith:
Building a Distributed E-Healthcare System Using SOA. IT Prof. 10(2): 24-30 (2008) - [j55]Vana Kalogeraki
, P. M. Melliar-Smith, Louise E. Moser, Yannis Drougas:
Resource management using multiple feedback loops in soft real-time distributed object systems. J. Syst. Softw. 81(7): 1144-1162 (2008) - [j54]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 Serv. Res. 5(3): 64-95 (2008) - [j53]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distributed Syst. 19(2): 188-203 (2008) - [c105]Firat Kart, Louise E. Moser, P. Michael Melliar-Smith:
A Collaborative Computing Infrastructure based on atom. CTS 2008: 305-312 - [c104]Firat Kart, Louise E. Moser, P. Michael Melliar-Smith:
Collaborative Computing Using the Atom Publishing Protocol. ITNG 2008: 291-296 - [p1]Louise E. Moser, P. M. Melliar-Smith:
Service-Oriented Architecture and Web Services. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j52]Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao:
Building Dependable and Secure Web Services. J. Softw. 2(1): 14-26 (2007) - [j51]P. Michael Melliar-Smith, Louise E. Moser:
Achieving Atomicity for Web Services Using Commutativity of Actions. J. Univers. Comput. Sci. 13(8): 1094-1109 (2007) - [c103]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: 652-659 - [c102]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: 124-132 - 2006
- [j50]Prithviraj Dasgupta, P. M. Melliar-Smith, Louise E. Moser:
Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy. Int. J. Inf. Technol. Decis. Mak. 5(2): 331-352 (2006) - [j49]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
End-to-end latency of a fault-tolerant CORBA infrastructure. Perform. Evaluation 63(4-5): 341-363 (2006) - [c101]Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao:
Making Web Services Dependable. ARES 2006: 440-448 - [c100]Zachary Davis, Michael Hu, Shreyas Prasad, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser:
A Personal Handheld Multi-Modal Shopping Assistant. ICNS 2006: 117 - [c99]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: 291-300 - [c98]Michael Hu, Zachary Davis, Shreyas Prasad, Michael Schuricht, P. Michael Melliar-Smith, Louise E. Moser:
Speech-Enabled Web Services for Mobile Devices. SWWS 2006: 103-109 - 2005
- [j48]Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith:
Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. Electron. Commer. Res. 5(2): 267-292 (2005) - [j47]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA. IEEE Trans. Dependable Secur. Comput. 2(1): 20-33 (2005) - [c97]A. V. Singh, Louise E. Moser, P. M. Melliar-Smith:
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. EDCC 2005: 154-166 - [c96]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56 - [c95]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Deterministic Scheduling for Multithreaded Replicas. WORDS 2005: 74-81 - [r1]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Fault Tolerance for Distributed and Networked Systems. Encyclopedia of Information Science and Technology (II) 2005: 1190-1196 - 2004
- [j46]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. Clust. Comput. 7(4): 317-330 (2004) - [j45]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. 19(5) (2004) - [c94]P. M. Melliar-Smith, Louise E. Moser:
Progress in Real-Time Fault Tolerance. SRDS 2004: 109-111 - 2003
- [j44]Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith:
Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003) - [j43]Prithviraj Dasgupta, P. M. Melliar-Smith:
Dynamic Consumer Profiling and Tiered Pricing Using Software Agents. Electron. Commer. Res. 3(3-4): 277-296 (2003) - [c93]Louise E. Moser, P. M. Melliar-Smith:
Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89 - [c92]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. DSN 2003: 341-350 - [c91]Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith:
Transparent TCP Connection Failover. DSN 2003: 383-392 - 2002
- [j42]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Strongly consistent replication and recovery of fault-tolerant CORBA applications. Comput. Syst. Sci. Eng. 17(2): 103-114 (2002) - [j41]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Eternal - a component-based framework for transparent fault-tolerant CORBA. Softw. Pract. Exp. 32(8): 771-788 (2002) - [c90]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245 - [c89]Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury:
Online Upgrades Become Standard. COMPSAC 2002: 982-988 - [c88]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44 - [c87]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290-297 - [c86]Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith:
The Totem Redundant Ring Protocol. ICDCS 2002: 598-607 - [c85]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002 - [c84]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. Symposium on Object-Oriented Real-Time Distributed Computing 2002: 189-198 - [c83]Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt:
Open Research Issues in Building Dependable Middleware (Panel). WORDS 2002: 359- - 2001
- [j40]Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket:
A multicast group communication protocol, engine, and bridge for CORBA. Concurr. Comput. Pract. Exp. 13(7): 579-603 (2001) - [j39]Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Interceptors for Java Remote Method Invocation. Concurr. Comput. Pract. Exp. 13(8-9): 755-774 (2001) - [j38]Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith:
The SecureRing group communication system. ACM Trans. Inf. Syst. Secur. 4(4): 371-406 (2001) - [j37]Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith:
Latency analysis of the totem single-ring protocol. IEEE/ACM Trans. Netw. 9(5): 669-680 (2001) - [c82]L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith:
Live Upgrade Techniques for CORBA Applications. DAIS 2001: 257-271 - [c81]L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith:
Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320 - [c80]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270 - [c79]Elizabeth M. Royer, P. Michael Melliar-Smith, Louise E. Moser:
An analysis of the optimum node density for ad hoc mobile networks. ICC 2001: 857-861 - [c78]K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser:
Overview of the InterGroup Protocols. International Conference on Computational Science (1) 2001: 316-325 - [c77]Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser:
Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126 - [c76]L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith:
Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488- - [c75]Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith:
Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147 - [c74]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20 - 2000
- [j36]Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser:
Flow control in the high-speed Thunder and Lightning ATM network. Comput. Commun. 23(10): 928-935 (2000) - [c73]Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26 - [c72]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: 337-346 - [c71]Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith:
A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000 - [c70]Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser:
Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121 - [c69]Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Interception in the Aroma system. Java Grande 2000: 107-115 - [c68]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103 - [c67]Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser:
Dynamic Scheduling of Distributed Method Invocations. RTSS 2000: 57-66
1990 – 1999
- 1999
- [j35]Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith:
Analyzing and Measuring the Latency of the Totem Multicast Protocols. Comput. Networks 31(1-2): 59-78 (1999) - [j34]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Using Interceptors to Enhance CORBA. Computer 32(7): 62-68 (1999) - [j33]Louise E. Moser, P. M. Melliar-Smith:
Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. 150(1): 75-111 (1999) - [j32]Prithviraj Dasgupta, Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
MAgNET: Mobile Agents for Networked Electronic Trading. IEEE Trans. Knowl. Data Eng. 11(4): 509-525 (1999) - [c66]Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket:
Multicast Group Communication for CORBA. DOA 1999: 98-107 - [c65]Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, L. A. Tewksbury, Vana Kalogeraki:
The Eternal system: an architecture for enterprise applications. EDOC 1999: 214-222 - [c64]Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan:
A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157 - [c63]Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith:
Providing Support for Survivable CORBA Applications with the Immune System. ICDCS 1999: 507-516 - [c62]Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket:
A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36 - [c61]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: 291-300 - [c60]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273 - [c59]Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith:
Dynamic modeling of replicated objects for dependable soft real-time distributed object systems. WORDS (Jan.) 1999: 48-55 - 1998
- [j31]P. M. Melliar-Smith, Louise E. Moser:
Surviving Network Partitioning. Computer 31(3): 62-68 (1998) - [j30]Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith:
Performance engineering of the Totem group communication system. Distributed Syst. Eng. 5(2): 78-87 (1998) - [j29]Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan:
Consistent Object Replication in the external System. Theory Pract. Object Syst. 4(2): 81-92 (1998) - [j28]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. 16(2): 93-132 (1998) - [c58]Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith:
The SecureRing Protocols for Securing Group Communication. HICSS (3) 1998: 317-326 - [c57]Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser:
Flow Control in the High-Speed Thunder and Lightning ATM Network. ICCCN 1998: 243-250 - [c56]Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser:
A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151- - [c55]Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser:
An Extensible Remote Graphical Interface for an ATM Network Simulator. Tcl/Tk Conference 1998 - 1997
- [j27]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Replica consistency of CORBA objects in partitionable distributed systems. Distributed Syst. Eng. 4(3): 139-150 (1997) - [j26]Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith:
Totally ordered gigabit multicasting. Distributed Syst. Eng. 4(4): 229-243 (1997) - [j25]Louise E. Moser, Y. S. Ramakrishna, George Kutty, P. M. Melliar-Smith, Laura K. Dillon:
A Graphical Environment for the Design of Concurrent Real-Time Systems. ACM Trans. Softw. Eng. Methodol. 6(1): 31-79 (1997) - [c54]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance. COOTS 1997: 81-90 - [c53]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248 - [c52]Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith:
Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129 - [c51]Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith:
Analyzing the latency of the Totem multicast protocols. ICCCN 1997: 42-50 - [c50]Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith:
Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. OPODIS 1997: 61-76 - [c49]P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan:
Separation of concerns: functionality vs. quality of service. WORDS 1997: 272-274 - [c48]Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos:
Probabilistic analysis of real-time dependable systems. WORDS 1997: 306-313 - 1996
- [j24]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. Commun. ACM 39(4): 54-63 (1996) - [j23]Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
Automated Deduction in a Graphical Temporal Logic. J. Appl. Non Class. Logics 6(1): 29-47 (1996) - [j22]Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty:
Interval Logics and Their Decision Procedures, Part I: An Interval Logic. Theor. Comput. Sci. 166(1&2): 1-47 (1996) - [j21]Y. S. Ramakrishna, P. M. Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty:
Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic. Theor. Comput. Sci. 170(1-2): 1-46 (1996) - [c47]Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449 - [c46]Wesley J. Chun, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal:
Applying Distributed Simulation to a Communication Protocol Development Environment. HICSS (1) 1996: 320-329 - [c45]Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith:
Reservation-Based Totally Ordered Multicasting. ICDCS 1996: 511-519 - [c44]Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith:
Flow Control Techniques for Multicasting in Gigabit Networks. ICNP 1996: 102- - [c43]Louise E. Moser, P. M. Melliar-Smith:
Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS 1996: 369-390 - [c42]Louise E. Moser, Priya Narasimhan, P. M. Melliar-Smith:
Object-oriented programming of complex fault-tolerant real-time systems. WORDS 1996: 116-119 - 1995
- [j20]George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon:
Axiomatizations of Interval Logics. Fundam. Informaticae 24(4): 313-331 (1995) - [j19]Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella:
The Totem Single-Ring Ordering and Membership Protocol. ACM Trans. Comput. Syst. 13(4): 311-342 (1995) - [c41]Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal:
The Totem System. FTCS 1995: 61-66 - [c40]Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia:
A reliable ordered delivery protocol for interconnected local area networks. ICNP 1995: 365- - [c39]Amitabha Das, Louise E. Moser, P. M. Melliar-Smith:
A Parallel Processing Paradigm for Irregular Applications. IRREGULAR 1995: 249-254 - [c38]Louise E. Moser, P. M. Melliar-Smith:
Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256 - 1994
- [j18]Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith:
Classic Squares and Broadcast Squares. Discret. Appl. Math. 54(1): 89-96 (1994) - [j17]Louise E. Moser, P. M. Melliar-Smith, George Kutty, Y. S. Ramakrishna:
Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. Fundam. Informaticae 21(4): 257-305 (1994) - [j16]Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
A Graphical Interval Logic for Specifying Concurrent Systems. ACM Trans. Softw. Eng. Methodol. 3(2): 131-165 (1994) - [j15]Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala:
Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distributed Syst. 5(5): 459-473 (1994) - [j14]Laura K. Dillon, George Kutty, P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna:
Visual Specifications for Temporal Reasoning. J. Vis. Lang. Comput. 5(1): 61-81 (1994) - [c37]George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
A Graphical Methodology for Concurrent System Design. ACM Conference on Computer Science 1994: 52-59 - [c36]Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey:
The QuickRing Network. ACM Conference on Computer Science 1994: 233-240 - [c35]Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal:
Extended Virtual Synchrony. ICDCS 1994: 56-65 - [c34]P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal:
The Totem protocol development environment. ICNP 1994: 168-177 - [c33]George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna:
First-Order Future Interval Logic. ICTL 1994: 195-209 - [c32]P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542 - [c31]Louise E. Moser, P. M. Melliar-Smith:
Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. RTSS 1994: 238-248 - 1993
- [j13]Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala:
Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Comput. 7(2): 75-85 (1993) - [j12]Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala:
Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. 22(4): 727-750 (1993) - [c30]Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser:
Better Late Than Never. ACM Conference on Computer Science 1993: 44-51 - [c29]Louise E. Moser, P. M. Melliar-Smith:
Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331 - [c28]George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith:
A Graphical Interval Logic Toolset for Verifying Concurrent Systems. CAV 1993: 138-153 - [c27]Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty:
A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192 - [c26]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. ICDCS 1993: 551-560 - [c25]Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty:
Really visual temporal reasoning. RTSS 1993: 262-273 - [c24]George Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
Visual Tools for Temporal Reasoning. VL 1993: 152-159 - 1992
- [j11]Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith, George Kutty:
An automata-theoretic decision procedure for propositional temporal logic with since and until. Fundam. Informaticae 17(3): 271-282 (1992) - [c23]Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, George Kutty:
An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67 - [c22]Amitabha Das, Louise E. Moser, P. M. Melliar-Smith:
PAL: A Language for Parallel Asynchronous Computation. ICPP (2) 1992: 166-173 - [c21]Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224 - 1991
- [j10]Amitabha Das, Louise E. Moser, P. M. Melliar-Smith:
A parallel sorting algorithm for a novel model of computation. Int. J. Parallel Program. 20(5): 403-419 (1991) - [c20]Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala:
Total ordering algorithms. ACM Conference on Computer Science 1991: 375-380 - [c19]P. M. Melliar-Smith, Louise E. Moser:
Protection against Covert Storage and Timing Channels. CSFW 1991: 209-214 - [c18]Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala:
Membership algorithms for asynchronous distributed systems. ICDCS 1991: 480-488 - [c17]P. M. Melliar-Smith, Louise E. Moser:
Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS 1991: 1-10 - 1990
- [j9]Louise E. Moser, P. M. Melliar-Smith:
The World Banker's Algorithm. J. Parallel Distributed Comput. 9(4): 369-373 (1990) - [j8]Louise E. Moser, P. M. Melliar-Smith:
Formal Verification of Safety-critical Systems. Softw. Pract. Exp. 20(8): 799-821 (1990) - [j7]P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala:
Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distributed Syst. 1(1): 17-25 (1990) - [c16]Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith:
Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73
1980 – 1989
- 1989
- [c15]P. Michael Melliar-Smith, Louise E. Moser:
Fault-tolerant distributed systems based on broadcast communication. ICDCS 1989: 129-134 - 1988
- [c14]P. M. Melliar-Smith:
A Graphical Representation of Interval Logic. Concurrency 1988: 106-120 - 1987
- [c13]P. M. Melliar-Smith:
Extending Interval Logic to Real Time Systems. Temporal Logic in Specification 1987: 224-242 - 1986
- [j6]Leslie Lamport, P. M. Melliar-Smith:
Byzantine Clock Synchronization. ACM SIGOPS Oper. Syst. Rev. 20(3): 10-16 (1986) - 1985
- [j5]Leslie Lamport, P. M. Melliar-Smith:
Synchronizing Clocks in the Presence of Faults. J. ACM 32(1): 52-78 (1985) - [j4]P. Michael Melliar-Smith, John Rushby:
The enhanced HDM system for specification and verification. ACM SIGSOFT Softw. Eng. Notes 10(4): 41-43 (1985) - 1984
- [c12]Leslie Lamport, P. M. Melliar-Smith:
Byzantine Clock Synchronization. PODC 1984: 68-74 - 1983
- [c11]Richard L. Schwartz, P. M. Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems 1983: 55-65 - [c10]Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt:
Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18 - [c9]Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt:
An Interval-Based Temporal Logic. Logic of Programs 1983: 443-457 - [c8]Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt:
An Interval Logic for Higher-Level Temporal Reasoning. PODC 1983: 173-186 - 1982
- [j3]P. M. Melliar-Smith, Richard L. Schwartz:
The proof of SIFT. ACM SIGSOFT Softw. Eng. Notes 7(1): 2-5 (1982) - [j2]P. M. Melliar-Smith, Richard L. Schwartz:
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31(7): 616-630 (1982) - [j1]Richard L. Schwartz, P. Michael Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. IEEE Trans. Commun. 30(12): 2486-2496 (1982) - [c7]Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith:
STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49 - [c6]Richard L. Schwartz, P. M. Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19 - 1981
- [c5]Richard L. Schwartz, P. M. Melliar-Smith:
Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454 - [c4]Richard L. Schwartz, P. M. Melliar-Smith:
The Finalization Operation for Abstract Types. ICSE 1981: 273-282
1970 – 1979
- 1977
- [c3]P. M. Melliar-Smith, Brian Randell:
Software Reliability: The Role of Programmed Exception Handling. Language Design for Reliable Software 1977: 95-100 - 1974
- [c2]James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, Brian Randell:
A program structure for error detection and recovery. Symposium on Operating Systems 1974: 171-187
1960 – 1969
- 1969
- [c1]P. M. Melliar-Smith:
A design for a fast computer for scientific calculations. AFIPS Fall Joint Computing Conference 1969: 201-208
Coauthor Index
Louise E. Moser
aka: Louise Elizabeth Moser
aka: Louise Elizabeth Moser
[j69] [j68] [j67] [c122] [c121] [j66] [c120] [j65] [j64] [j63] [c119] [c118] [c117] [j62] [j61] [c116] [c115] [c114] [c113] [c112] [j60] [j59] [c111] [c110] [j58] [c109] [c108] [i1] [j57] [c107] [c106] [j56] [j55] [j54] [j53] [c105] [c104] [p1] [j52] [j51] [c103] [c102] [j50] [j49] [c101] [c100] [c99] [c98] [j48] [j47] [c97] [c96] [c95] [r1] [j46] [j45] [c94] [j44] [c93] [c92] [c91] [j42] [j41] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [j40] [j39] [j38] [j37] [c82] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [c74] [j36] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [j35] [j34] [j33] [j32] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [j31] [j30] [j29] [j28] [c58] [c57] [c56] [c55] [j27] [j26] [j25] [c54] [c53] [c52] [c51] [c50] [c49] [c48] [j24] [j23] [j22] [j21] [c47] [c46] [c45] [c44] [c43] [c42] [j20] [j19] [c41] [c40] [c39] [c38] [j18] [j17] [j16] [j15] [j14] [c37] [c36] [c35] [c34] [c33] [c32] [c31] [j13] [j12] [c30] [c29] [c28] [c27] [c26] [c25] [c24] [j11] [c23] [c22] [c21] [j10] [c20] [c19] [c18] [c17] [j9] [j8] [j7] [c16] [c15]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
