Louise E. Moser

Yung-Ting Chuang

Proceedings of the 2012 IEEE First International Conference on Mobile Services, 2012

Latent association analysis of document pairs.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2012

Detecting and defending against malicious attacks in the iTrust information retrieval network.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Information Networking, 2012

iTrust: Trustworthy Information Publication, Search and Retrieval.

[BibT_eX]

[DOI]

Isai Michel Lombera

Yung-Ting Chuang

Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011

RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Amir Aminzadeh Gohari

Ryan Pakbaz

Volkan Rodoplu

IEEE J. Sel. Areas Commun., 2011

Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications.

[BibT_eX]

[DOI]

IET Softw., 2011

Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change.

[BibT_eX]

[DOI]

Proceedings of the Mobile Computing, Applications, and Services, 2011

Leader-Determined Membership Protocol.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

An Automated Supply Chain Management System and Its Performance Evaluation.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Supply Chain Manag., 2010

A patient-centered health monitoring system.

[BibT_eX]

[DOI]

Yung-Ting Chuang

Proceedings of Wireless Health 2010, 2010

Generative models for ticket resolution in expert networks.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2010

Fault Tolerance Middleware for Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Managing multiple speech-enabled applications in a mobile handheld device.

[BibT_eX]

[DOI]

Int. J. Pervasive Comput. Commun., 2009

Extracting data records from the web using tag path clustering.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on World Wide Web, 2009

O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

Collaborative Web Data Record Extraction.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

2008

Service-Oriented Architecture and Web Services.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Reservation-Based Extended Transaction Protocol.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2008

A Reservation-based Extended Transaction Protocol for Coordination of Web Services.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2008

Resource management using multiple feedback loops in soft real-time distributed object systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Building a Distributed E-Healthcare System Using SOA.

[BibT_eX]

[DOI]

IT Prof., 2008

Collaborative Computing Using the Atom Publishing Protocol.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Collaborative Computing Infrastructure based on atom.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007

Achieving Atomicity for Web Services Using Commutativity of Actions.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2007

Building Dependable and Secure Web Services.

[BibT_eX]

[DOI]

J. Softw., 2007

Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.

[BibT_eX]

Proceedings of the 2007 International Conference on Internet Computing, 2007

A Distributed e-Healthcare System Based on the Service Oriented Architecture.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006

End-to-end latency of a fault-tolerant CORBA infrastructure.

[BibT_eX]

[DOI]

Perform. Evaluation, 2006

Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy.

[BibT_eX]

[DOI]

Prithviraj Dasgupta

Int. J. Inf. Technol. Decis. Mak., 2006

Speech-Enabled Web Services for Mobile Devices.

[BibT_eX]

Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Location-Aware Voice-Enabled Web Services for Mobile Devices.

[BibT_eX]

Proceedings of the MoMM'2006, 2006

A Personal Handheld Multi-Modal Shopping Assistant.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Making Web Services Dependable.

[BibT_eX]

[DOI]

Proceedings of the The First International Conference on Availability, 2006

2005

Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2005

Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace.

[BibT_eX]

[DOI]

Prithviraj Dasgupta

Electron. Commer. Res., 2005

Deterministic Scheduling for Multithreaded Replicas.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

A Reservation-Based Coordination Protocol for Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA.

[BibT_eX]

[DOI]

A. V. Singh

Proceedings of the Dependable Computing, 2005

Fault Tolerance for Distributed and Networked Systems.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Information Science and Technology (5 Volumes), 2005

2004

Design and implementation of a consistent time service for fault-tolerant distributed systems.

[BibT_eX]

Comput. Syst. Sci. Eng., 2004

Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure.

[BibT_eX]

[DOI]

Clust. Comput., 2004

Progress in Real-Time Fault Tolerance.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

Why Have Progresses in Real-Time Fault Tolerant Computing Been Slow?

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2003

Byzantine Fault Detectors for Solving Consensus.

[BibT_eX]

[DOI]

Comput. J., 2003

Transparent TCP Connection Failover.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Demonstration of Fault Tolerance for CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

2002

Eternal - a component-based framework for transparent fault-tolerant CORBA.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2002

Strongly consistent replication and recovery of fault-tolerant CORBA applications.

[BibT_eX]

Comput. Syst. Sci. Eng., 2002

Unification of Replication and Transaction Processing in Three-Tier Architectures.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

The Totem Redundant Ring Protocol.

[BibT_eX]

[DOI]

Ruppert R. Koch

Proceedings of the 22nd International Conference on Distributed Computing Systems (ICDCS'02), 2002

Lessons Learned in Building a Fault-Tolerant CORBA System.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

On Bootstrapping Replicated CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Online Upgrades Become Standard.

[BibT_eX]

[DOI]

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

Latency analysis of the totem single-ring protocol.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2001

The SecureRing group communication system.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2001

Interceptors for Java Remote Method Invocation.

[BibT_eX]

[DOI]

Nitya Narasimhan

Concurr. Comput. Pract. Exp., 2001

A multicast group communication protocol, engine, and bridge for CORBA.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

Strong Replica Consistency for Fault-Tolerant CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Increasing the Reliability of Three-Tier Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Live Upgrades of CORBA Applications Using Object Replication.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

Dynamic Migration Algorithms for Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Overview of the InterGroup Protocols.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2001, 2001

An analysis of the optimum node density for ad hoc mobile networks.

[BibT_eX]

[DOI]

Elizabeth M. Royer

Proceedings of the IEEE International Conference on Communications, 2001

State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Coordinating the Simultaneous Upgrade of Multiple CORBA Application Objects.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Live Upgrade Techniques for CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

2000

Flow control in the high-speed Thunder and Lightning ATM network.

[BibT_eX]

[DOI]

Michael D. Santos

Comput. Commun., 2000

Dynamic Scheduling of Distributed Method Invocations.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Gateways for Accessing Fault Tolerance Domains.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2000, 2000

Interception in the Aroma system.

[BibT_eX]

[DOI]

Nitya Narasimhan

Proceedings of the ACM 2000 Java Grande Conference, San Francisco, CA, USA, 2000

Dynamic Scheduling for Soft Real-Time Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

A CORBA Framework for Managing Real-Time Distributed Multimedia Applications.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks.

[BibT_eX]

[DOI]

Ruppert R. Koch

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Transparent Consistent Replication of Java RMI Objects.

[BibT_eX]

[DOI]

Nitya Narasimhan

Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999

MAgNET: Mobile Agents for Networked Electronic Trading.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1999

Byzantine-Resistant Total Ordering Algorithms.

[BibT_eX]

[DOI]

Inf. Comput., 1999

Using Interceptors to Enhance CORBA.

[BibT_eX]

[DOI]

Computer, 1999

Analyzing and Measuring the Latency of the Totem Multicast Protocols.

[BibT_eX]

[DOI]

Comput. Networks, 1999

Dynamic modeling of replicated objects for dependable soft real-time distributed object systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth Symposium on Reliable Distributed Systems, 1999

Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

A Group Communication Protocol for CORBA.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Providing Support for Survivable CORBA Applications with the Immune System.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

A Fault Tolerance Framework for CORBA.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-29, 1999

The Eternal system: an architecture for enterprise applications.

[BibT_eX]

[DOI]

Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

Multicast Group Communication for CORBA.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Distributed Objects and Applications, 1999

1998

The Totem Multiple-Ring Ordering and Topology Maintenance Protocol.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1998

Consistent Object Replication in the external System.

[BibT_eX]

Theory Pract. Object Syst., 1998

Performance engineering of the Totem group communication system.

[BibT_eX]

[DOI]

Ravi K. Budhia

Distributed Syst. Eng., 1998

Surviving Network Partitioning.

[BibT_eX]

[DOI]

Computer, 1998

An Extensible Remote Graphical Interface for an ATM Network Simulator.

[BibT_eX]

[DOI]

Michael D. Santos

Proceedings of the 6th Annual Tcl/Tk Conference, 1998

A Lossless, Minimal Latency Protocol for Gigabit ATM Networks.

[BibT_eX]

[DOI]

Michael D. Santos

Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

The SecureRing Protocols for Securing Group Communication.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

A Graphical Environment for the Design of Concurrent Real-Time Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1997

Replica consistency of CORBA objects in partitionable distributed systems.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1997

Totally ordered gigabit multicasting.

[BibT_eX]

[DOI]

Xiaomin Chen

Distributed Syst. Eng., 1997

Probabilistic analysis of real-time dependable systems.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Separation of concerns: functionality vs. quality of service.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector.

[BibT_eX]

Proceedings of the On Principles Of Distributed Systems, 1997

Analyzing the latency of the Totem multicast protocols.

[BibT_eX]

[DOI]

Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Consistency of Partitionable Object Groups in a CORBA Framework.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

The Interception Approach to Reliable Distributed CORBA Objects.

[BibT_eX]

[DOI]

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

Exploiting the Internet Inter-ORB Protocol Interface to Provide CORBA with Fault Tolerance.

[BibT_eX]

[DOI]

Colleen A. Lingley-Papadopoulos

Proceedings of the Third USENIX Conference on Object-Oriented Technologies (COOTS), 1997

1996

Interval Logics and Their Decision Procedures. Part II: A Real-Time Interval Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1996

Totem: A Fault-Tolerant Multicast Group Communication System.

[BibT_eX]

[DOI]

Commun. ACM, 1996

Object-oriented programming of complex fault-tolerant real-time systems.

[BibT_eX]

[DOI]

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Probabilistic Duration Automata for Analyzing Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Flow Control Techniques for Multicasting in Gigabit Networks.

[BibT_eX]

[DOI]

Xiaomin Chen

Proceedings of the 1996 International Conference on Network Protocols, 1996

Reservation-Based Totally Ordered Multicasting.

[BibT_eX]

[DOI]

Xiaomin Chen

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Applying Distributed Simulation to a Communication Protocol Development Environment.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

The Real-Time Graphical Interval Logic Toolset.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

The Totem Single-Ring Ordering and Membership Protocol.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 1995

Axiomatizations of Interval Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Total Ordering Algorithms for Asynchronous Byzantine Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

A Parallel Processing Paradigm for Irregular Applications.

[BibT_eX]

[DOI]

Amitabha Das

Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

A reliable ordered delivery protocol for interconnected local area networks.

[BibT_eX]

[DOI]

Proceedings of the 1995 International Conference on Network Protocols, 1995

The Totem System.

[BibT_eX]

[DOI]

Deborah A. Agarwal

Proceedings of the Digest of Papers: FTCS-25, 1995

1994

Visual Specifications for Temporal Reasoning.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1994

Processor Membership in Asynchronous Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1994

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

Classic Squares and Broadcast Squares.

[BibT_eX]

[DOI]

Marcos Valerio

Discret. Appl. Math., 1994

Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

A System for Automated Deduction in Graphical Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Temporal Logic, First International Conference, 1994

The Totem protocol development environment.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Network Protocols, 1994

Extended Virtual Synchrony.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

The QuickRing Network.

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

A Graphical Methodology for Concurrent System Design.

[BibT_eX]

[DOI]

Proceedings of the ACM 22rd Annual Computer Science Conference on Scaling up: Meeting the Challenge of Complexity in Real-World Computing Applications, 1994

1993

Asynchronous Fault-Tolerant Total Ordering Algorithms.

[BibT_eX]

[DOI]

SIAM J. Comput., 1993

Necessary and Sufficient Conditions for Broadcast Consensus Protocols.

[BibT_eX]

[DOI]

Distributed Comput., 1993

Visual Tools for Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.

[BibT_eX]

[DOI]

Y. S. Ramakrishna

Laura K. Dillon

George Kutty

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

Fast Message Ordering and Membership Using a Logical Token-Passing Ring.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

A Real-Time Interval Logic and Its Decision Procedure.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Analysis of Timing Hazards in Ada Programs.

[BibT_eX]

[DOI]

Proceedings of the ACM 21th Conference on Computer Science, 1993

Better Late Than Never.

[BibT_eX]

[DOI]

Hossein Moiin

Proceedings of the ACM 21th Conference on Computer Science, 1993

1992

Calculus and Probability Determine the Performance of a Disk Drive.

[BibT_eX]

[DOI]

SIAM Rev., 1992

An automata-theoretic decision procedure for propositional temporal logic with since and until.

[BibT_eX]

Fundam. Informaticae, 1992

Graphical Specifications for Concurrent Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Software Engineering, 1992

PAL: A Language for Parallel Asynchronous Computation.

[BibT_eX]

Amitabha Das

Proceedings of the 1992 International Conference on Parallel Processing, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

A Graphical Interface for Analysis of Communication Protocols.

[BibT_eX]

[DOI]

Deborah A. Agarwal

Proceedings of the ACM 20th Annual Conference on Computer Science, 1992

1991

A parallel sorting algorithm for a novel model of computation.

[BibT_eX]

[DOI]

Amitabha Das

Int. J. Parallel Program., 1991

Performance Analysis of a Broadcast Communications Protocol.

[BibT_eX]

[DOI]

Proceedings of the 1991 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1991

Membership algorithms for asynchronous distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Protection against Covert Storage and Timing Channels.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

Total ordering algorithms.

[BibT_eX]

[DOI]

Proceedings of the 19th annual conference on Computer Science, 1991

1990

Data Dependency Graphs for Ada Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Broadcast Protocols for Distributed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1990

Formal Verification of Safety-critical Systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1990

The World Banker's Algorithm.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1990

Probabilistic Language Analysis of Weighted Voting Algorithms.

[BibT_eX]

[DOI]

Vikas Kapur

Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

1989

Fault-tolerant distributed systems based on broadcast communication.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

A Logic of Knowledge and Belief for Reasoning about Computer Security.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

A Decision Procedure for Unquantified Formulas of Graph Theory.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Graph Homomorphisms and the Design of Secure Computer Systems.

[BibT_eX]

[DOI]