- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j57 |      | Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang: Mobile Decentralized Search and Retrieval Using SMS and HTTP. MONET 18(1): 22-41 (2013) |
| 2012 | ||
| j56 | | Yung-Ting Chuang, P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera: Protecting the iTrust Information Retrieval Network against Malicious Attacks. JCSE 6(3): 179-192 (2012) |
| j55 | | Honglei Zhang, Hua Chai, Wenbing Zhao, P. Michael Melliar-Smith, Louise E. Moser: Trustworthy Coordination of Web Services Atomic Transactions. IEEE Trans. Parallel Distrib. Syst. 23(8): 1551-1565 (2012) |
| c103 | | P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang: iTrust: Trustworthy Information Publication, Search and Retrieval. ICDCN 2012: 351-366 |
| c102 | | 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 |
| c101 | | Gengxin Miao, Ziyu Guan, Louise E. Moser, Xifeng Yan, Shu Tao, Nikos Anerousis, Jimeng Sun: Latent association analysis of document pairs. KDD 2012: 1415-1423 |
| c100 |  | 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 |
| c99 | | 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 |
| c98 | | Gengxin Miao, Shu Tao, Winnie Cheng, Randy Moulic, Louise E. Moser, David Lo, Xifeng Yan: Understanding task-driven information flow in collaborative networks. WWW 2012: 849-858 |
| e1 | | Louise E. Moser, Manish Parashar, Patrick C. K. Hung (Eds.): 2012 IEEE Ninth International Conference on Services Computing, Honolulu, HI, USA, June 24-29, 2012. IEEE 2012, isbn 978-1-4673-3049-7 |
| 2011 | ||
| j54 | | 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 5(3): 342-356 (2011) |
| j53 | | 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 29(10): 1935-1947 (2011) |
| c97 | | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser: Leader-Determined Membership Protocol. HASE 2011: 124-129 |
| c96 | | 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 | ||
| j52 | | Firat Kart, Louise E. Moser, P. M. Melliar-Smith: An Automated Supply Chain Management System and Its Performance Evaluation. IJISSCM 3(2): 84-107 (2010) |
| c95 | | Wenbing Zhao, P. M. Melliar-Smith, Louise E. Moser: Fault Tolerance Middleware for Cloud Computing. IEEE CLOUD 2010: 67-74 |
| c94 | | Gengxin Miao, Louise E. Moser, Xifeng Yan, Shu Tao, Yi Chen, Nikos Anerousis: Generative models for ticket resolution in expert networks. KDD 2010: 733-742 |
| c93 | | 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) |
| 2009 | ||
| j51 | | 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 5(3): 332-359 (2009) |
| c92 | | Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith: Collaborative Web Data Record Extraction. ICWS 2009: 896-902 |
| c91 | | 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 |
| c90 | | Gengxin Miao, Jun'ichi Tatemura, Wang-Pin Hsiung, Arsany Sawires, Louise E. Moser: Extracting data records from the web using tag path clustering. WWW 2009: 981-990 |
| 2008 | ||
| j50 | | Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: Building a Distributed E-Healthcare System Using SOA. IT Professional 10(2): 24-30 (2008) |
| j49 | | 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 81(7): 1144-1162 (2008) |
| j48 | | 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. 5(3): 64-95 (2008) |
| j47 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Extended Transaction Protocol. IEEE Trans. Parallel Distrib. Syst. 19(2): 188-203 (2008) |
| c89 | | Firat Kart, Louise E. Moser, P. Michael Melliar-Smith: A Collaborative Computing Infrastructure based on atom. CTS 2008: 305-312 |
| c88 | | 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 | ||
| j46 | | Louise E. Moser, P. Michael Melliar-Smith, Wenbing Zhao: Building Dependable and Secure Web Services. JSW 2(1): 14-26 (2007) |
| j45 | | P. Michael Melliar-Smith, Louise E. Moser: Achieving Atomicity for Web Services Using Commutativity of Actions. J. UCS 13(8): 1094-1109 (2007) |
| c87 | | 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 |
| c86 | | 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 | ||
| j44 | | 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 5(2): 331-352 (2006) |
| j43 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: End-to-end latency of a fault-tolerant CORBA infrastructure. Perform. Eval. 63(4-5): 341-363 (2006) |
| c85 | | Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao: Making Web Services Dependable. ARES 2006: 440-448 |
| c84 | | 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 |
| c83 | | 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 |
| c82 | | 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 | ||
| j42 | | Prithviraj Dasgupta, Louise E. Moser, P. M. Melliar-Smith: Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace. Electronic Commerce Research 5(2): 267-292 (2005) |
| j41 | | 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. 2(1): 20-33 (2005) |
| c81 | | 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 |
| c80 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: A Reservation-Based Coordination Protocol for Web Services. ICWS 2005: 49-56 |
| c79 | | 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 | ||
| j40 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure. Cluster Computing 7(4): 317-330 (2004) |
| j39 | | 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) |
| c78 | | K. H. (Kane) Kim, Paul D. Ezhilchelvan, Jörg Kaiser, Louise E. Moser, Edgar Nett, Neeraj Suri: Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow? SRDS 2004: 102 |
| c77 | | |
| 2003 | ||
| j38 | | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: Byzantine Fault Detectors for Solving Consensus. Comput. J. 46(1): 16-35 (2003) |
| c76 | | Louise E. Moser, P. M. Melliar-Smith: Demonstration of Fault Tolerance for CORBA Applications. DISCEX (2) 2003: 87-89 |
| c75 | | 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 |
| c74 | | Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith: Transparent TCP Connection Failover. DSN 2003: 383-392 |
| 2002 | ||
| j37 | | 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) |
| j36 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Eternal - a component-based framework for transparent fault-tolerant CORBA. Softw., Pract. Exper. 32(8): 771-788 (2002) |
| c73 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: On Bootstrapping Replicated CORBA Applications. COMPSAC 2002: 239-245 |
| c72 | | Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury: Online Upgrades Become Standard. COMPSAC 2002: 982-988 |
| c71 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Lessons Learned in Building a Fault-Tolerant CORBA System. DSN 2002: 39-44 |
| c70 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Unification of Replication and Transaction Processing in Three-Tier Architectures. ICDCS 2002: 290- |
| c69 | | Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith: The Totem Redundant Ring Protocol. ICDCS 2002: 598-607 |
| c68 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure. IPDPS 2002 |
| c67 | | 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 |
| 2001 | ||
| j35 | | 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 13(7): 579-603 (2001) |
| j34 | | Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interceptors for Java Remote Method Invocation. Concurrency and Computation: Practice and Experience 13(8-9): 755-774 (2001) |
| j33 | | 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) |
| j32 | | 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) |
| c66 | | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrade Techniques for CORBA Applications. DAIS 2001: 257-272 |
| c65 | | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects. DOA 2001: 310-320 |
| c64 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. DSN 2001: 261-270 |
| c63 | | 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 |
| c62 | | 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 |
| c61 | | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Migration Algorithms for Distributed Object Systems. ICDCS 2001: 119-126 |
| c60 | | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith: Live Upgrades of CORBA Applications Using Object Replication. ICSM 2001: 488- |
| c59 | | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith: Increasing the Reliability of Three-Tier Applications. ISSRE 2001: 138-147 |
| c58 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Strong Replica Consistency for Fault-Tolerant CORBA Applications. WORDS 2001: 10-20 |
| 2000 | ||
| j31 | | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: Flow control in the high-speed Thunder and Lightning ATM network. Computer Communications 23(10): 928-935 (2000) |
| c57 | | Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Transparent Consistent Replication of Java RMI Objects. DOA 2000: 17-26 |
| c56 | | 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 |
| c55 | | Vana Kalogeraki, Louise E. Moser, P. M. Melliar-Smith: A CORBA Framework for Managing Real-Time Distributed Multimedia Applications. HICSS 2000 |
| c54 | | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling for Soft Real-Time Distributed Object Systems. ISORC 2000: 114-121 |
| c53 | | Nitya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Interception in the Aroma system. Java Grande 2000: 107-115 |
| c52 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Gateways for Accessing Fault Tolerance Domains. Middleware 2000: 88-103 |
| c51 | | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser: Dynamic Scheduling of Distributed Method Invocations. RTSS 2000: 57-66 |
| 1999 | ||
| j30 | | Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing and Measuring the Latency of the Totem Multicast Protocols. Computer Networks 31(1-2): 59-78 (1999) |
| j29 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Using Interceptors to Enhance CORBA. IEEE Computer 32(7): 62-68 (1999) |
| j28 | | Louise E. Moser, P. M. Melliar-Smith: Byzantine-Resistant Total Ordering Algorithms. Inf. Comput. 150(1): 75-111 (1999) |
| j27 | | 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) |
| c50 | | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, Ruppert R. Koch, K. Berket: Multicast Group Communication for CORBA. DOA 1999: 98-107 |
| c49 | | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: A Fault Tolerance Framework for CORBA. FTCS 1999: 150-157 |
| c48 | | 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 |
| c47 | | Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket: A Group Communication Protocol for CORBA. ICPP Workshops 1999: 30-36 |
| c46 | | 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 |
| c45 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. SRDS 1999: 263-273 |
| c44 | | 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 | ||
| j26 | | P. M. Melliar-Smith, Louise E. Moser: Surviving Network Partitioning. IEEE Computer 31(3): 62-68 (1998) |
| j25 | | Ravi K. Budhia, Louise E. Moser, P. M. Melliar-Smith: Performance engineering of the Totem group communication system. Distributed Systems Engineering 5(2): 78-87 (1998) |
| j24 | | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan: Consistent Object Replication in the external System. TAPOS 4(2): 81-92 (1998) |
| j23 | | 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) |
| c43 | | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith: The SecureRing Protocols for Securing Group Communication. HICSS (3) 1998: 317-326 |
| c42 | | 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 |
| c41 | | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser: A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. ICNP 1998: 151- |
| 1997 | ||
| j22 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Replica consistency of CORBA objects in partitionable distributed systems. Distributed Systems Engineering 4(3): 139-150 (1997) |
| j21 | | Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Totally ordered gigabit multicasting. Distributed Systems Engineering 4(4): 229-243 (1997) |
| j20 | | 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. 6(1): 31-79 (1997) |
| c40 | | 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 |
| c39 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: The Interception Approach to Reliable Distributed CORBA Objects. COOTS 1997: 245-248 |
| c38 | | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith: Consistency of Partitionable Object Groups in a CORBA Framework. HICSS (1) 1997: 120-129 |
| c37 | | Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith: Analyzing the latency of the Totem multicast protocols. ICCCN 1997: 42-50 |
| c36 | | 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 |
| c35 | | P. Michael Melliar-Smith, Louise E. Moser, Priya Narasimhan: Separation of concerns: functionality vs. quality of service. WORDS 1997: 272-274 |
| c34 | | Louise E. Moser, P. Michael Melliar-Smith, Efstratios Thomopoulos: Probabilistic analysis of real-time dependable systems. WORDS 1997: 306-313 |
| 1996 | ||
| j19 | | 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) |
| j18 | | 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 6(1): 29-47 (1996) |
| j17 | | 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. 166(1&2): 1-47 (1996) |
| j16 | | 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. 170(1-2): 1-46 (1996) |
| c33 | | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: The Real-Time Graphical Interval Logic Toolset. CAV 1996: 446-449 |
| c32 | | W. 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 |
| c31 | | Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Reservation-Based Totally Ordered Multicasting. ICDCS 1996: 511-519 |
| c30 | | Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith: Flow Control Techniques for Multicasting in Gigabit Networks. ICNP 1996: 102- |
| c29 | | Louise E. Moser, P. M. Melliar-Smith: Probabilistic Duration Automata for Analyzing Real-Time Systems. TACAS 1996: 369-390 |
| c28 | | Louise E. Moser, Priya Narasimhan, P. M. Melliar-Smith: Object-oriented programming of complex fault-tolerant real-time systems. WORDS 1996: 116-119 |
| 1995 | ||
| j15 | | G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, Laura K. Dillon: Axiomatizations of Interval Logics. Fundam. Inform. 24(4): 313-331 (1995) |
| j14 | | 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) |
| c27 | | |
| c26 | | 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- |
| c25 | | Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A Parallel Processing Paradigm for Irregular Applications. IRREGULAR 1995: 249-254 |
| c24 | | Louise E. Moser, P. M. Melliar-Smith: Total Ordering Algorithms for Asynchronous Byzantine Systems. WDAG 1995: 242-256 |
| 1994 | ||
| j13 | | Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith: Classic Squares and Broadcast Squares. Discrete Applied Mathematics 54(1): 89-96 (1994) |
| j12 | | Louise E. Moser, P. M. Melliar-Smith, G. Kutty, Y. S. Ramakrishna: Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next. Fundam. Inform. 21(4): 257-305 (1994) |
| j11 | | Laura K. Dillon, G. 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) |
| j10 | | Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Processor Membership in Asynchronous Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 5(5): 459-473 (1994) |
| j9 | | Laura K. Dillon, G. 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) |
| c23 | | G. 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 |
| c22 | | Marcos Valerio, Louise E. Moser, P. M. Melliar-Smith, Paul Sweazey: The QuickRing Network. ACM Conference on Computer Science 1994: 233-240 |
| c21 | | Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal: Extended Virtual Synchrony. ICDCS 1994: 56-65 |
| c20 | | G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna: First-Order Future Interval Logic. ICTL 1994: 195-209 |
| c19 | | P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon: A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542 |
| c18 | | Louise E. Moser, P. M. Melliar-Smith: Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. RTSS 1994: 238-248 |
| 1993 | ||
| j8 | | Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Necessary and Sufficient Conditions for Broadcast Consensus Protocols. Distributed Computing 7(2): 75-85 (1993) |
| j7 | | Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Asynchronous Fault-Tolerant Total Ordering Algorithms. SIAM J. Comput. 22(4): 727-750 (1993) |
| c17 | | Hossein Moiin, P. M. Melliar-Smith, Louise E. Moser: Better Late Than Never. ACM Conference on Computer Science 1993: 44-51 |
| c16 | | Louise E. Moser, P. M. Melliar-Smith: Analysis of Timing Hazards in Ada Programs. ACM Conference on Computer Science 1993: 326-331 |
| c15 | | G. 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 |
| c14 | | Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: A Real-Time Interval Logic and Its Decision Procedure. FSTTCS 1993: 173-192 |
| c13 | | 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 |
| c12 | | G. Kutty, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Visual Tools for Temporal Reasoning. VL 1993: 152-159 |
| 1992 | ||
| j6 | | 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. Fundam. Inform. 17(3): 271-282 (1992) |
| c11 | | Deborah A. Agarwal, Louise E. Moser: A Graphical Interface for Analysis of Communication Protocols. ACM Conference on Computer Science 1992: 149-156 |
| c10 | | Y. S. Ramakrishna, Laura K. Dillon, Louise E. Moser, P. M. Melliar-Smith, G. Kutty: An Automata-Theoretic Decision Procedure for Future Interval Logic. FSTTCS 1992: 51-67 |
| c9 | | Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: PAL: A Language for Parallel Asynchronous Computation. ICPP (2) 1992: 166-173 |
| c8 | | Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna: Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224 |
| 1991 | ||
| j5 | | Amitabha Das, Louise E. Moser, P. M. Melliar-Smith: A parallel sorting algorithm for a novel model of computation. International Journal of Parallel Programming 20(5): 403-419 (1991) |
| c7 | | P. M. Melliar-Smith, Louise E. Moser: Protection against Covert Storage and Timing Channels. CSFW 1991: 209-214 |
| c6 | | Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala: Membership algorithms for asynchronous distributed systems. ICDCS 1991: 480-488 |
| c5 | | P. M. Melliar-Smith, Louise E. Moser: Performance Analysis of a Broadcast Communications Protocol. SIGMETRICS 1991: 1-10 |
| 1990 | ||
| j4 | | Louise E. Moser, P. M. Melliar-Smith: The World Banker's Algorithm. J. Parallel Distrib. Comput. 9(4): 369-373 (1990) |
| j3 | | Louise E. Moser, P. M. Melliar-Smith: Formal Verification of Safety-critical Systems. Softw., Pract. Exper. 20(8): 799-821 (1990) |
| j2 | | P. M. Melliar-Smith, Louise E. Moser, Vivek Agrawala: Broadcast Protocols for Distributed Systems. IEEE Trans. Parallel Distrib. Syst. 1(1): 17-25 (1990) |
| j1 | | Louise E. Moser: Data Dependency Graphs for Ada Programs. IEEE Trans. Software Eng. 16(5): 498-509 (1990) |
| c4 | | Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith: Probabilistic Language Analysis of Weighted Voting Algorithms. SIGMETRICS 1990: 67-73 |
| 1989 | ||
| c3 | | Louise E. Moser: A Logic of Knowledge and Belief for Reasoning about Computer Security. CSFW 1989: 47-63 |
| 1988 | ||
| c2 | | |
| 1987 | ||
| c1 | | Louise E. Moser: Graph Homomorphisms and the Design of Secure Computer Systems. IEEE Symposium on Security and Privacy 1987: 88-96 |
Colors in the list of coauthors
Last update Tue May 21 15:43:02 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page