P. M. Melliar-Smith

According to our database1, P. M. Melliar-Smith authored at least 191 papers between 1969 and 2016.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Maintaining censorship resistance in the iTrust network for publication, search and retrieval.
Peer-to-Peer Networking and Applications, 2016

Corrigendum to "Peer-to-Peer Publication, Search and Retrieval Using the Android Mobile Platform" [Computer Networks 65(2014) 56-72].
Computer Networks, 2016

Statistical Estimation and Dynamic Adaptation Algorithms for the iTrust Publication, Search and Retrieval System.
Comput. J., 2016

2015
Personal Health Monitoring Using a Smartphone.
Proceedings of the 2015 IEEE International Conference on Mobile Services, MS 2015, New York City, NY, USA, June 27, 2015

Conversion Infrastructure for Maintaining High Availability of Web Services Using Multiple Service Providers.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

2014
Peer-to-peer publication, search and retrieval using the Android mobile platform.
Computer Networks, 2014

Analysis of the match probabilities for the iTrust information network with message forwarding.
Proceedings of the International Conference on Information Networking 2014, 2014

2013
Toward Trustworthy Coordination of Web Services Business Activities.
IEEE Trans. Services Computing, 2013

Mobile Decentralized Search and Retrieval Using SMS and HTTP.
MONET, 2013

Low Latency Fault Tolerance System.
Comput. J., 2013

Peer management for iTrust over Wi-Fi Direct.
Proceedings of the 16th International Symposium on Wireless Personal Multimedia Communications, 2013

A Distributed Ranking Algorithm for the iTrust Information Search and Retrieval System.
Proceedings of the WEBIST 2013, 2013

Probabilistic Analysis of Message Forwarding.
Proceedings of the 22nd International Conference on Computer Communication and Networks, 2013

2012
Trustworthy Coordination of Web Services Atomic Transactions.
IEEE Trans. Parallel Distrib. Syst., 2012

Protecting the iTrust Information Retrieval Network against Malicious Attacks.
JCSE, 2012

Decentralized search and retrieval for mobile networks using SMS.
Proceedings of the 8th IEEE International Conference on Wireless and Mobile Computing, 2012

Declustering the iTrust Search and Retrieval Network to Increase Trustworthiness.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

A Mobile Peer-to-Peer Search and Retrieval Service for Social Networks.
Proceedings of the 2012 IEEE First International Conference on Mobile Services, 2012

Detecting and defending against malicious attacks in the iTrust information retrieval network.
Proceedings of the 2012 International Conference on Information Networking, 2012

iTrust: Trustworthy Information Publication, Search and Retrieval.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

2011
RMR: Reliability Map Routing for Tactical Mobile Ad Hoc Networks.
IEEE Journal on Selected Areas in Communications, 2011

Design and implementation of a Byzantine fault tolerance framework for non-deterministic applications.
IET Software, 2011

Decentralized Mobile Search and Retrieval Using SMS and HTTP to Support Social Change.
Proceedings of the Mobile Computing, Applications, and Services, 2011

Leader-Determined Membership Protocol.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010
An Automated Supply Chain Management System and Its Performance Evaluation.
IJISSCM, 2010

The Low Latency Fault Tolerance System
CoRR, 2010

A patient-centered health monitoring system.
Proceedings of Wireless Health 2010, 2010

Fault Tolerance Middleware for Cloud Computing.
Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009
Managing multiple speech-enabled applications in a mobile handheld device.
Int. J. Pervasive Computing and Communications, 2009

O-Ring: A Fault Tolerance and Load Balancing Architecture for Peer-to-Peer Systems.
Proceedings of the 2009 International Conference of the Chilean Computer Science Society, 2009

Collaborative Web Data Record Extraction.
Proceedings of the IEEE International Conference on Web Services, 2009

2008
Service-Oriented Architecture and Web Services.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

A Reservation-Based Extended Transaction Protocol.
IEEE Trans. Parallel Distrib. Syst., 2008

A Reservation-based Extended Transaction Protocol for Coordination of Web Services.
Int. J. Web Service Res., 2008

Resource management using multiple feedback loops in soft real-time distributed object systems.
Journal of Systems and Software, 2008

Building a Distributed E-Healthcare System Using SOA.
IT Professional, 2008

Collaborative Computing Using the Atom Publishing Protocol.
Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Collaborative Computing Infrastructure based on atom.
Proceedings of the 2008 International Symposium on Collaborative Technologies and Systems, 2008

2007
Achieving Atomicity for Web Services Using Commutativity of Actions.
J. UCS, 2007

Building Dependable and Secure Web Services.
JSW, 2007

Reliable Data Distribution and Consistent Data Replication Using the Atom Syndication Technology.
Proceedings of the 2007 International Conference on Internet Computing, 2007

A Distributed e-Healthcare System Based on the Service Oriented Architecture.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007

2006
End-to-end latency of a fault-tolerant CORBA infrastructure.
Perform. Eval., 2006

Maximizing Welfare through Cooperative Negotiation in a Multi-agent Internet Economy.
International Journal of Information Technology and Decision Making, 2006

Speech-Enabled Web Services for Mobile Devices.
Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Location-Aware Voice-Enabled Web Services for Mobile Devices.
Proceedings of the MoMM'2006, 2006

A Personal Handheld Multi-Modal Shopping Assistant.
Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Making Web Services Dependable.
Proceedings of the The First International Conference on Availability, 2006

2005
Unification of Transactions and Replication in Three-Tier Architectures Based on CORBA.
IEEE Trans. Dependable Sec. Comput., 2005

Dynamic Pricing for Time-Limited Goods in a Supplier-Driven Electronic Marketplace.
Electronic Commerce Research, 2005

Deterministic Scheduling for Multithreaded Replicas.
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.
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.
Proceedings of the Dependable Computing, 2005

Fault Tolerance for Distributed and Networked Systems.
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.
Comput. Syst. Sci. Eng., 2004

Design and Implementation of a Pluggable Fault-Tolerant CORBA Infrastructure.
Cluster Computing, 2004

Progress in Real-Time Fault Tolerance.
Proceedings of the 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 2004

2003
Dynamic Consumer Profiling and Tiered Pricing Using Software Agents.
Electronic Commerce Research, 2003

Byzantine Fault Detectors for Solving Consensus.
Comput. J., 2003

Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Transparent TCP Connection Failover.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

Demonstration of Fault Tolerance for CORBA Applications.
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.
Softw., Pract. Exper., 2002

Strongly consistent replication and recovery of fault-tolerant CORBA applications.
Comput. Syst. Sci. Eng., 2002

Open Research Issues in Building Dependable Middleware (Panel).
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

End-to-End Latency of a Fault-Tolerant CORBA Infrastructure.
Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Design and Implementation of a Pluggable Fault Tolerant CORBA Infrastructure.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

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

The Totem Redundant Ring Protocol.
ICDCS, 2002

Lessons Learned in Building a Fault-Tolerant CORBA System.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

On Bootstrapping Replicated CORBA Applications.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

Online Upgrades Become Standard.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Latency analysis of the totem single-ring protocol.
IEEE/ACM Trans. Netw., 2001

The SecureRing group communication system.
ACM Trans. Inf. Syst. Secur., 2001

Interceptors for Java Remote Method Invocation.
Concurrency and Computation: Practice and Experience, 2001

A multicast group communication protocol, engine, and bridge for CORBA.
Concurrency and Computation: Practice and Experience, 2001

Strong Replica Consistency for Fault-Tolerant CORBA Applications.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Increasing the Reliability of Three-Tier Applications.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Live Upgrades of CORBA Applications Using Object Replication.
Proceedings of the 2001 International Conference on Software Maintenance, 2001

Dynamic Migration Algorithms for Distributed Object Systems.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

Overview of the InterGroup Protocols.
Proceedings of the Computational Science - ICCS 2001, 2001

An analysis of the optimum node density for ad hoc mobile networks.
Proceedings of the IEEE International Conference on Communications, 2001

State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects.
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.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

Live Upgrade Techniques for CORBA Applications.
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

2000
Flow control in the high-speed Thunder and Lightning ATM network.
Computer Communications, 2000

Dynamic Scheduling of Distributed Method Invocations.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Gateways for Accessing Fault Tolerance Domains.
Proceedings of the Middleware 2000, 2000

Interception in the Aroma system.
Proceedings of the ACM 2000 Java Grande Conference, San Francisco, CA, USA, 2000

Dynamic Scheduling for Soft Real-Time Distributed Object Systems.
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.
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.
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.
Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999
MAgNET: Mobile Agents for Networked Electronic Trading.
IEEE Trans. Knowl. Data Eng., 1999

Byzantine-Resistant Total Ordering Algorithms.
Inf. Comput., 1999

Using Interceptors to Enhance CORBA.
IEEE Computer, 1999

Analyzing and Measuring the Latency of the Totem Multicast Protocols.
Computer Networks, 1999

Dynamic modeling of replicated objects for dependable soft real-time distributed object systems.
Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems, 1999

Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications.
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.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

A Group Communication Protocol for CORBA.
Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

Providing Support for Survivable CORBA Applications with the Immune System.
Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

A Fault Tolerance Framework for CORBA.
Proceedings of the Digest of Papers: FTCS-29, 1999

The Eternal system: an architecture for enterprise applications.
Proceedings of the Third International Enterprise Distributed Object Computing Conference, 1999

Multicast Group Communication for CORBA.
Proceedings of the International Symposium on Distributed Objects and Applications, 1999

1998
The Totem Multiple-Ring Ordering and Topology Maintenance Protocol.
ACM Trans. Comput. Syst., 1998

Consistent Object Replication in the external System.
TAPOS, 1998

Performance engineering of the Totem group communication system.
Distributed Systems Engineering, 1998

Surviving Network Partitioning.
IEEE Computer, 1998

An Extensible Remote Graphical Interface for an ATM Network Simulator.
Proceedings of the 6th Annual Tcl/Tk Conference, 1998

A Lossless, Minimal Latency Protocol for Gigabit ATM Networks.
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998

Flow Control in the High-Speed Thunder and Lightning ATM Network.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1998), 1998

The SecureRing Protocols for Securing Group Communication.
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.
ACM Trans. Softw. Eng. Methodol., 1997

Replica consistency of CORBA objects in partitionable distributed systems.
Distributed Systems Engineering, 1997

Totally ordered gigabit multicasting.
Distributed Systems Engineering, 1997

Probabilistic analysis of real-time dependable systems.
Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97), 1997

Separation of concerns: functionality vs. quality of service.
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.
Proceedings of the On Principles Of Distributed Systems, 1997

Analyzing the latency of the Totem multicast protocols.
Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), 1997

Consistency of Partitionable Object Groups in a CORBA Framework.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

The Interception Approach to Reliable Distributed CORBA Objects.
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.
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.
Theor. Comput. Sci., 1996

Interval Logics and Their Decision Procedures, Part I: An Interval Logic.
Theor. Comput. Sci., 1996

Automated Deduction in a Graphical Temporal Logic.
Journal of Applied Non-Classical Logics, 1996

Totem: A Fault-Tolerant Multicast Group Communication System.
Commun. ACM, 1996

Object-oriented programming of complex fault-tolerant real-time systems.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Probabilistic Duration Automata for Analyzing Real-Time Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Flow Control Techniques for Multicasting in Gigabit Networks.
Proceedings of the 1996 International Conference on Network Protocols, 1996

Reservation-Based Totally Ordered Multicasting.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Applying Distributed Simulation to a Communication Protocol Development Environment.
Proceedings of the 29th Annual Hawaii International Conference on System Sciences (HICSS-29), 1996

The Real-Time Graphical Interval Logic Toolset.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
The Totem Single-Ring Ordering and Membership Protocol.
ACM Trans. Comput. Syst., 1995

Axiomatizations of Interval Logics.
Fundam. Inform., 1995

Total Ordering Algorithms for Asynchronous Byzantine Systems.
Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

A Parallel Processing Paradigm for Irregular Applications.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1995

A reliable ordered delivery protocol for interconnected local area networks.
Proceedings of the 1995 International Conference on Network Protocols, 1995

The Totem System.
Proceedings of the Digest of Papers: FTCS-25, 1995

1994
Visual Specifications for Temporal Reasoning.
J. Vis. Lang. Comput., 1994

Processor Membership in Asynchronous Distributed Systems.
IEEE Trans. Parallel Distrib. Syst., 1994

A Graphical Interval Logic for Specifying Concurrent Systems.
ACM Trans. Softw. Eng. Methodol., 1994

Completeness and Soundness of Axiomatizations for Temporal Logics. Without Next.
Fundam. Inform., 1994

Classic Squares and Broadcast Squares.
Discrete Applied Mathematics, 1994

Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

A System for Automated Deduction in Graphical Interval Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

First-Order Future Interval Logic.
Proceedings of the Temporal Logic, First International Conference, 1994

The Totem protocol development environment.
Proceedings of the 1994 International Conference on Network Protocols, 1994

Extended Virtual Synchrony.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994

The QuickRing Network.
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.
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.
SIAM J. Comput., 1993

Necessary and Sufficient Conditions for Broadcast Consensus Protocols.
Distributed Computing, 1993

Visual Tools for Temporal Reasoning.
Proceedings of the 1993 IEEE Workshop on Visual Languages, 1993

Really visual temporal reasoning.
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.
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993

A Real-Time Interval Logic and Its Decision Procedure.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

A Graphical Interval Logic Toolset for Verifying Concurrent Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Analysis of Timing Hazards in Ada Programs.
Proceedings of the ACM 21th Conference on Computer Science, 1993

Better Late Than Never.
Proceedings of the ACM 21th Conference on Computer Science, 1993

1992
An automata-theoretic decision procedure for propositional temporal logic with since and until.
Fundam. Inform., 1992

Graphical Specifications for Concurrent Software Systems.
Proceedings of the 14th International Conference on Software Engineering, 1992

PAL: A Language for Parallel Asynchronous Computation.
Proceedings of the 1992 International Conference on Parallel Processing, 1992

An Automata-Theoretic Decision Procedure for Future Interval Logic.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991
A parallel sorting algorithm for a novel model of computation.
International Journal of Parallel Programming, 1991

Performance Analysis of a Broadcast Communications Protocol.
SIGMETRICS, 1991

Membership algorithms for asynchronous distributed systems.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

Protection against Covert Storage and Timing Channels.
Proceedings of the 4th IEEE Computer Security Foundations Workshop, 1991

Total ordering algorithms.
Proceedings of the 19th annual conference on Computer Science, 1991

1990
Broadcast Protocols for Distributed Systems.
IEEE Trans. Parallel Distrib. Syst., 1990

Formal Verification of Safety-critical Systems.
Softw., Pract. Exper., 1990

The World Banker's Algorithm.
J. Parallel Distrib. Comput., 1990

Probabilistic Language Analysis of Weighted Voting Algorithms.
Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems, 1990

1989
Fault-tolerant distributed systems based on broadcast communication.
Proceedings of the 9th International Conference on Distributed Computing Systems, 1989

1988
A Graphical Representation of Interval Logic.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987
Extending Interval Logic to Real Time Systems.
Proceedings of the Temporal Logic in Specification, 1987

1986
Byzantine Clock Synchronization.
Operating Systems Review, 1986

1985
Synchronizing Clocks in the Presence of Faults
J. ACM, January, 1985

1984
Byzantine Clock Synchronization.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

1983
An Interval Logic for Higher-Level Temporal Reasoning.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983

An Interval-Based Temporal Logic.
Proceedings of the Logics of Programs, 1983

Interval Logic: A Higher-Level Temporal Logic for Protocol Specification.
Protocol Specification, Testing, and Verification, 1983

From State Machines to Temporal Logic: Specification Methods for Protocol Standards.
Proceedings of the Analysis of Concurrent Systems, 1983

1982
Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System.
IEEE Trans. Computers, 1982

From State Machines to Temporal Logic: Specification Methods for Protocol Standards.
Proceedings of the Protocol Specification, 1982

STP: A Mechanized Logic for Specification and Verification.
Proceedings of the 6th Conference on Automated Deduction, 1982

1981
The Finalization Operation for Abstract Types.
Proceedings of the 5th International Conference on Software Engineering, 1981

Temporal Logic Specification of Distributed Systems.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1977
Software Reliability: The Role of Programmed Exception Handling.
Language Design for Reliable Software, 1977

1974
A program structure for error detection and recovery.
Proceedings of the Operating Systems, 1974

1969
A design for a fast computer for scientific calculations.
Proceedings of the American Federation of Information Processing Societies: Proceedings of the AFIPS '69 Fall Joint Computer Conference, 1969


  Loading...