Kevin L. Mills, Ph.D.

"Computer-supported Cooperative Work (CSCW)", Encyclopedia of Library and Information Sciences (3rd) Edition, Marcia Bates and Mary Niles Maack editors, Taylor & Francis Group, in press.
Abstract     Paper (111 kb pdf)

"Can Economics-based Resource Allocation Prove Effective in a Computation Marketplace?", Journal of Grid Computing, Vol. 6, No. 3, September 2008, pp. 291-311. DOI: 10.1007/s10723-007-9094-4 (with Christopher Dabrowski).
Abstract      Paper (263 kb pdf)

"Demand Pricing & Resource Allocation in Market-based Compute Grids: A Model and Initial Results", Proceedings of the Seventh International Conference on Networking, IEEE, April 2008, pp. 752-757. (with Vladimir Marbukh).
Abstract     Paper (129 kb pdf)

"A Brief Survey of Self-Organization in Wireless Sensor Networks", Wireless Communications and Mobile Computing, Wiley Interscience, Vol. 7, No. 7, September 2007, pp. 823-834.
Abstract        Paper (152 kb pdf)

"On Maximizing Provider Revenue in Market-based Compute Grids", Proceedings of the Third International Conference on Networking and Services, June 19-25, 2007, Athens, Greece. (with Vladimir Marbukh).
Abstract       Paper (250 kb pdf)

"Understanding Failure Response in Service Discovery Systems", The Journal of Systems and Software, Elsevier, Vol. 80, No. 6, June 2007, pp. 896-917. (with Christopher Dabrowski and Steven Quirolgico).
Abstract         Paper (568 kb pdf) 

"Investigating Global Behavior in Computing Grids", Self-Organizing Systems, Lecture Notes in Computer Science, Volume 4124  ISBN 978-3-540-37658-3, pp. 120-136. (with Christopher Dabrowski) 
Abstract          Paper (169 Kb pdf)

"Simulating Timescale Dynamics of Network Traffic Using Homogeneous Modeling", The NIST Journal of  Research,  Volume 111, No. 3, May-June 2006, pp. 227-242.  (with Jian Yuan) Abstract   Paper (1.1 Mb pdf)

"Monitoring the Macroscopic Effect of DDoS Flooding Attacks", IEEE Transactions on Dependable and Secure Computing, Volume 2, No. 4, October-December 2005, pp. 324-335. (with Jian Yuan)      Abstract        Page Proofs (2.6 Mbytes pdf)

A Model-based Analysis of First-Generation Service Discovery Systems, NIST Special Publication 500-260, U.S. Department of Commerce, October 2005, 110 pages. (with Christopher Dabrowski and Stephen Quirolgico)
Abstract       Paper (1.8 Mbytes pdf)

"Performance Characterization of Decentralized Algorithms for Replica Selection in Distributed Object Systems", Proceedings of the 5th International Workshop on Software Performance, July 11-14, 2005, Palma de Majorca, Spain, ACM Press, pp. 257-262. (with Ceryen Tan).
 Abstract      Paper (320 Kb pdf)

"A Cross-Correlation Based Method for Spatial-Temporal Traffic Analysis ", Performance Evaluation, Volume 61/2-3, pp 163-180. (with Jian Yuan)     Abstract        Paper (384 Kb pdf)

"Macroscopic Dynamics in Large-Scale Data Networks", chapter 8 in Complex Dynamics in Communication Networks, edited by Ljupco Kocarev and Gabor Vattay, published by Springer, 2005, ISBN 3-540-24305-4, pp. 191-212. (with Jian Yuan) 
Abstract     Paper (352 Kb pdf)

"An Autonomic Failure-Detection Algorithm", Proceedings of the 4th International Workshop on Software Performance (WoSP 2004), January 14-16, 2004, San Francisco, California, ACM Press, p. 79-83. (with Scott Rose, Steve Quirolgico, Mackenzie Britton, and Ceryen Tan),        Abstract         Paper (312 Kb pdf)

"Self-Managed Leasing for Distributed Systems", Proceedings of the 1st Workshop on Algorithms and Architectures for Self-Managing Systems, co-sponsored by ACM SIGMETRICS, June 2003. (with Kevin Bowers, Scott Rose, and Steve Quirolgico).   Paper (213 Kb pdf) 

"Performance of Service-Discovery Architectures in Response to Node Failures", Proceedings of the 2003 International Conference on Software Engineering Research and Practice (SERP'03), CSREA Press, June 2003, pp. 95-101. (with Christopher Dabrowski and Andrew Rukhin)     Abstract      Paper (217 Kb pdf)

"Improving Failure Responsiveness in Jini Leasing", Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), IEEE Computer Society, April, 2003, Vol. II, pp. 103-105. (with Scott Rose, Kevin Bowers, and Steve Quirolgico).    Abstract     Paper (295 Kb pdf)

"Adaptive Jitter Control for UPnP M-Search", Proceedings of 2003 IEEE International Communications Conference, May 2003. (with Christopher Dabrowski). Abstract    Paper (234 Kb pdf)

"Self-adaptive Leasing for Jini", Proceedings of the IEEE PerCom 2003, Forth Worth, Texas, March 23-26, 2003, pp. 539-542. (with Kevin Bowers and Scott Rose).  Abstract    Paper (230 Kb pdf)

"Understanding Self-healing in Service Discovery Systems", Proceedings of the First ACM SigSoft Workshop on Self-healing Systems (WOSS '02), November 18-19, 2002, Charleston, South Carolina, ACM Press, pp. 15-20. (with Christopher Dabrowski).   Abstract    Paper (69 Kb pdf)

"Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss", Proceedings of the 4th International Workshop on Active Middleware Services, IEEE Computer Society, July 2002, pp. 51-60. (with Christopher Dabrowski and Jesse Elder). 
Abstract    Paper (104 Kb pdf)

"Understanding Consistency Maintenance in Service Discovery Architectures during Communication Failure", Proceedings of the 3rd International Workshop on Software Performance, ACM, July 2002. pp. 168-178. (with Christopher Dabrowski and Jesse Elder). 
Abstract    Paper  (113 Kb pdf) 

"Computer-Supported Cooperative Work", Encyclopedia of Library and Information Sciences (2nd Edition), Marcel Dekker, New York, May 20,2003, ISBN 0-82474259-1, pp. 666-677.    Abstract    Paper (795 Kb pdf)

"Computer-Supported Cooperative Work Challenges", Encyclopedia of Library and Information Sciences (2nd Edition), Marcel Dekker, New York, May 20,2003, ISBN 0-82474259-1, pp. 678-684.    Abstract    Paper (297 Kb pdf)

"Modeling CPU Demand in Heterogeneous Active Networks", Proceedings of the DARPA Active Networks Conference and Exposition, IEEE, May 2002, pp. 511-533. (with Virginie Galtier and Yannick Carlinet).  Abstract    Paper (435 Kb pdf)

"Exploring Collective Dynamics in Communication Networks", The NIST Journal of  Research,  Volume 107, No. 2, March-April 2002, pp. 179-191.  (with Jian Yuan) Abstract   Paper (2.5 Mb pdf)

"Knowledge-based Automation of a Design Method for Concurrent Systems", IEEE Transactions on Software Engineering, in press, Vol. 28 Issue 3, March 2002, pp. 228-255. (with Hassan Gomaa) Abstract   Paper (1.2 Mb pdf)

"Situated Computing: The Next Frontier for HCI Research" chapter 24 in HCI in the New Millennium, John Carroll editor, ACM Press, Addison-Wesley, 2002, pp. 535-550. (with Jean Scholtz) Abstract     Paper ( 60Kb pdf)

"Analyzing Properties and Behavior of Service Discovery Protocols using an Architecture-based Approach", Proceedings of Working Conference on Complex and Dynamic Systems Architecture, December 2001. (with Christopher Dabrowski of NIST)    Abstract        Paper (234 Kb pdf)

"Predicting Resource Demand in Heterogeneous Active Networks", Proceedings of MILCOM 2001, October 2001. paper number 280, pp.1-5. (with Virginie Galtier and Yannick Carlinet of NIST and Steve Bush and Amit Kulkarni of GE CR&D)     Abstract    Paper (237Kb pdf)

"Expanding Confidence in Network Simulation", IEEE Network Magazine, Vol. 15, No. 5, September/October 2001, pp. 58-63. (with John Heidemann and Sri Kumar)
Abstract    Paper ( 40 Kb pdf)

"Predicting and Controlling Resource Usage in a Heterogeneous Active Network", Proceedings of the 3rd International Workshop on Active Middleware Services, August 6, 2001, pp. 35-44. (with Virginie Galtier and Yannick Carlinet of NIST and Steve Bush and Amit Kulkarni of GE CR&D)
Abstract   Paper (435Kb pdf)

"Expressing Meaningful Processing Requirements among Heterogeneous Nodes in an Active Network", Proceedings of the 2^nd International Workshop on Software Performance (WOSP 2000), September 2000.    (with Virginie Galtier, Yannick Carlinet, Stefan Leigh, and Andrew Rukhin)                   Abstract    Paper ( 88 Kb pdf)

"Calibrating an Active Network Node", Proceedings of the 2^nd International Workshop on Active Middleware Services, August 2000. (with Yannick Carlinet, Virginie Galtier, Stefan Leigh, and Andrew Rukhin)     Abstract     Paper ( 45 Kb pdf)

"A Knowledge-Based Method for Inferring Semantic Concepts from Visual Models of System Behavior", ACM Transactions on Software Engineering Methodology, Vol. 9 No. 3, July 2000. pp. 306-337.  (with Hassan Gomaa)      Abstract       Paper (1.26 Mb pdf)  

"smart-space researchers: An Interview with Kevin Mills and Alden Dima", ;login: The Magazine of Usenix & SAGE, Volume 25, Number 4, July 2000, pp. 25-28. Abstract Paper (264 Kb pdf))

"Testing the Ability of Speech Recognizers to Measure the Effectiveness of Encoding Algorithms for Digital Speech Transmission", Proceedings of MILCOM 1999, October 1999. (with C. M. Chernick, S. D. Leigh, and R. Toense)
Abstract       Paper (44 Kb pdf)

"Symposium on Computer-Supported Cooperative Work," ACM Computing Surveys, Vol. 31, No. 2, June 1999, pp. 105-115.  Abstract      Paper (45 Kb pdf)

"AirJava: Networking for Smart Spaces", Proceedings of the Workshop on Embedded Systems, the USENIX Association and the MIT Media Laboratory, March 29-31, 1999, Cambridge, Massachusetts.
Abstract       Paper  (36 Kb pdf)

"From National Information Infrastructure to Global Collaboration Infrastructure," Proceedings KTIS'96, November 1996. (with J-P Favreau) Abstract      Paper (1.9 Mb pdf)

"A Knowledge-based Approach for Automating a Design Method for Concurrent and Real-Time Systems," Proceedings of the SEKE '96, ACM, June 10-12, 1996, pp. 529-536. (with H. Gomaa)  Abstract     Paper (58 Kb pdf)

Automated Generation Of Concurrent Designs For Real-Time Software, Ph.D. Dissertation, George Mason University, Fairfax, Virginia, March 1996, 588 pages. Abstract           Dissertation

"An Experimental Evaluation of Specification Techniques for Improving Functional Testing," Journal of Systems and Software, Vol. 34, No. 1, January 1996, pp. 83-96. Abstract   Paper (100 Kb pdf)

"TCP vs. OSI, or How I Learned to Stop Translating and Love Standards," Federal Computer Week, May 11, 1992, page 32. Abstract    Paper (783 Kb pdf)

"Standards and Trade: What's the Connection?" Proceedings of the 6th International Conference on the Application of Standards for Open Systems, IEEE Computer Society, October 1990, 7 pages. Abstract    Paper (925 Kb pdf)

"The U.S. GOSIP Testing Program," Proceedings of the 6th International Conference on the Application of Standards for Open Systems, IEEE Computer Society, October 1990, pp. 125-129. (with J-P Favreau and J. S. Nightingale.) Abstract     Paper (637 Kb pdf)

"Explaining the Role of GOSIP", Request for Comments (RFC) 1169, Internet Engineering Task Force, August 1990. (with V.G. Cerf) Abstract    Paper (25 Kb pdf)

"GOSIP Protocols to be Used for Industry Bids," SIGNAL Magazine, March 1990. pp.74-80. (with K. Ebel) Abstract    Paper (751 Kb pdf)

"Government Open Systems Interconnection: Profile In Progress," Proceedings of OSI, 1988, April 1988. This article was also reprinted in a Library Hi Tech Special Issue on Open Systems Interconnection, edited by Ray Denenberg, Issue 32 Volume 8 Number 4, 1990, pp. 111-118. The copy on-line here was taken from that reprint.  Abstract     Paper (1.8 Mb pdf)

"The Network Manager of the 1990's," Information Week, January 4, 1988, pp. 32-34. Abstract     Paper (495 Kb pdf)

"Transport Layer Performance Tools and Measurements," IEEE Network Magazine, Vol. 1, No. 3, July 1987, pp. 21-31. (with R. Aronoff and M. Wheatley) Abstract    Paper (1.2 Mb pdf)

"Real-Time Factory Communications: Performance Results," Proceedings of The Workshop on Factory Communications, March 1987, pp. 51-72. (with C. Franx of Philips, Netherlands) Abstract     Paper (1.6 Mb pdf)

"Throughput Analysis of a Transport over an X.25 Network," Proceedings of The Computer Networking Symposium, November 1986, pp. 105-109. (with J. Vinyes and E. Vatheques of Polytechnic University of Madrid) Abstract     Paper (416 Kb pdf)

"Prediction of Transport Protocol Performance Through Simulation," Proceedings of The ACM Communications Symposium (SIGCOMM 86), August 1986, pp. 75-83. (with S. Heatley and M. Wheatley) Abstract     Paper (822 Kb pdf)

"A Joint COMSAT/NBS Experiment On Transport Protocol," Proceedings of The Seventh Digital Satellite Conference, May 1986. (with D.M. Chitre, H.Y. Chong, and A. Agarwal of COMSAT and R. Colella of NBS) Abstract     Paper (1.6 Mb pdf)

"Real-Time Performance Predictions: Transport Over Local Area Networks," Proceedings of The Real-Time Local Area Network Conference, April 1986, pp. 345-358. (with S. Heatley and M. Wheatley) Abstract     Paper (720 Kb pdf)

"Simulation of an International Standard Transport Protocol," Proceedings of Computer Measurement Group XVI, December 1985. (with M. Wheatley and R. Colella) Abstract     Paper (961 Kb pdf)

"Performance Improvements for ISO Transport," Proceedings of The Ninth Data Communications Symposium (SIGCOMM 85), September 1985, pp. 9-16. (with R. Colella and R. Aronoff) Abstract    Paper (1639 Kb pdf)

"Testing OSI Protocols: NBS advances the state-of-the-art," Data Communications Magazine, March 1984, 5 pages. Abstract      Paper (653 Kb pdf)

"Performance Measurement Problems in a Packet-Switch Network," Proceedings of The Computer Measurement Group XII, December 1981, pp. 29-40. Abstract     Paper (1.5 Mb pdf)