Publications

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Patents

"System and Method for Protecting Confidential Information in a Database," with J. Katz, U. S. Patent Number 5.614,927, issued March 25, 1997.

"Method for Resolving Conflicts Among Distributed Entities," with H. Velthuijsen, U. S. Patent Number 5,504,837, issued April 1996.
 

Book and Journal Articles

"The Negotiating Agents Approach to Runtime Feature Interaction Resolution," with Hugo Velthuijsen, in Feature Interactions inTelecommunications Systems, IOS Press, Amsterdam, May 1994. 

"Toward a Feature Interaction Benchmark for IN and Beyond," with Jane Cameron, Yow-Jian Lin, Margaret Nilson, William Shnure, and Hugo Velthuijsen, IEEE Communications Magazine, March 1993.

"The Touring Machine System," with M. Arango et. al., Communications of the ACM, January 1993.   

ACM, 1993.  This is the author's version of the work.  It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Communications of the ACM, 36, 1, January 1993.  See also http://doi.acm.org/.

"Performance of Time Warp Protocols for Transaction Management in Object-Oriented Systems," with John Miller, International Journal in Computer Simulation, volume 2, number 3 (1992).

"Optimal Placement of Identical Resources in a Tree," with M. J. Fischer, L. Guibas and N. A. Lynch, Information and Computation (January 1992).

"Probabilistic analysis of a network resource allocation algorithm," with N. A. Lynch, M. J. Fischer, and L. Guibas, Information and Control, volume 68 number 1 (Jan-Mar 1986), 47-85.

"Performance Modelling of Database Recovery Protocols," with John A. Miller, IEEE Transactions on Software Engineering 11, 6 (June 1985), 564-572.

"Reducing the Cost of Recovery from Transaction Failure," in Database Engineering Bulletin, Volume 8, Number 2, June 1985, 91-98.

"Global States of a Distributed System," with M. J. Fischer and N. A. Lynch, special issue of IEEE Transactions on Software Engineering, (May 1982), 198-202.

"Quadratic Irrationals in the Lower LaGrange Spectrum," Canadian Journal of Mathematics, Vol. XXV, No. 3, (1973), 578-584, with J. Kinney.
 

Formally Reviewed Conference Proceedings

"Reasoning about Goals to Resolve Conflicts," with H. Velthuijsen, International Conference on Intelligent and Cooperative Information Systems (ICICIS-93), May 12-14, 1993.

"Touring Machine: a Software Platform for Distributed Multimedia Applications," with M. Arango, et. al., 1992 IFIP International. Conf. on Upper Layer Protocols, Architectures and Applications, Vancouver, Canada (May 1992).

"The Negotiating Agent Model for Rapid Feature Development," with Hugo Velthuijsen, in Proceedings of the IEE Conference on Software Engineering for Telecommunication Switching Systems (April 1992).

"Touring Machine: a Software Infrastructure to Support Multimedia Communications," with M. Arango, et al., 4th. IEEE COMSOC International. Workshop on Multimedia Communications, Monterey, California (April 1992).

"Performance Modeling of Database and Simulation Protocols: Design Choices for Query Driven Simulation," Proceedings of the 24th Annual Simulation Symposium (April 1991).

"Distributed Implementation of Real-Time Resource Counters," with Gita Gopal and Abel Weinrib, Infocom (April 1991).

"Scalability of a Real-Time Distributed Resource Counter," with Abel Weinrib, Proceedings of the Real-Time Systems Symposium, Orlando, Florida (December 1990).

"Feature interaction in telecommunication systems," with Frank S. Dworak, Thomas F. Bowen, Ching-Hua Chow, Gary Herman, and Yow-Jian Lin, in Proceedings of the 7th International Conference on Software Engineering for Telecommunication Switching Systems (July 1989).

"Abstraction in Recovery Management," with J. Eliot B. Moss and Marc Graham, Proceedings of the 1986 ACM SIGMOD International Conference on the Management of Data (May 1986).

ACM, 1986.  This is the author's version of the work.  It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 1986 ACM SIGMOD International Conference on the Management of Data, May 1986.  See also http://doi.acm.org/.

"Performance Modelling of Database Recovery Protocols," with John A. Miller, Proceedings of the 4th Symposium on Reliability in Distributed Software and Database Systems, (Oct. 1984) 75-83.

"Reliable scheduling of database transactions for unreliable systems," with M. H. Graham and B. Smith-Thomas, Proceedings of the 1984 ACM SIGACT/SIGMOD Principles of Database Systems, (May 1984).

ACM, 1986.  This is the author's version of the work.  It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 1984 ACM SIGACT/SIGMOD Principles of Database Systems, May 1984.  See also http://doi.acm.org/.

"Simulation of concurrency control and recovery protocols for distributed database systems," with M. Morsi, IEEE Infocom 84, Computers and Communication Integration: Theory and Practice, San Francisco, (April 1984), 200-209.

"Global States of a Distributed System," with M. J. Fischer and N. A. Lynch, Proc IEEE Symposium on Reliability in Distributed Software and Database Systems, July 1981, Pittsburgh, Pa., 33-38.

"Optimal Placement of Identical Resources in a Distributed Network," Second International Conference on Distributed Computing Systems, April 1981, Paris, France., , with M. J. Fischer and N. A. Lynch.

"Nonprocedural Query Processing for Databases with Access Paths," Proc SIGMOD 1978 International Conference on the Management of Data, 160-168.
 

Other Publications

"A Negotation Protocol for a Telecommunications Service Provisioning Environment," with Hugo Velthuijsen, Foundation for Intelligent Personal Agents proposal, Torino, Italy, January 1997.

"Making a Simple Interface Complex: Interactions among Telephone Features," short paper, in CHI '96.

ACM, 1996.  This is the author's version of the work.  It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 1996 Conference on Human Factors in Computing Systems, April 1996. See also http://doi.acm.org/.

"Feature Interactions and Feature Interfaces: How to Avoid Confusing a User," Tutorial, in the Workshop on Feature Interactions, Nara, Japan, October 1995.

"Feature Interactions in the Global Information Infrastructure," with A. V. Aho, in Foundations of Software Engineering, Washington, October 1995.

ACM, 1995.  This is the author's version of the work.  It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering, October 1995.  See also http://doi.acm.org/.

"Software Architecture Review for Telecommunications Software Improvement," with R. Erickson, M. Y. Lai, and S. Y. Wang, ICC' 93, Geneva, May 1993.

"Win-win negotiation among autonomous agents," with Hugo Velthuijsen, in the Workshop on Distributed Artificial Intelligence, Pittsburgh, May 1993.

"Negotiations in Telecommunications Systems," with Hugo Velthuijsen, in Computer Supported Cooperative Work-92, July 1992.

The Negotiating Agent Model for Establishing and Modifying Communications," Telecommunications Information Networking Architecture Workshop (March 1991).

"Specification and Design in Telecommunications Software," with T. F. Bowen, C. H. Chow, F. S. Dworak, and Y.-J. Lin, Workshop on System Specification and Design (May 1990).

"Software Fault Tolerance in Telecommunications Systems," with Gita Gopal, in ACM SIGOPS European Workshop on Fault Tolerant Support for Distributed Systems, September 1990, 112-116.