University of Virginia Department of Computer Science
Projects: Descriptions | Areas | PI's | Spotlights | Student Publications | Tech Reps | Posters | Awards | Facilities | News | Photos
Projects: Antimony | Archsplit | Bioinformatics | Calamari | Calibration | Chromium | CoCo | Collision Detection | ComponentOS | Computational Geometry | Computer Vision | ControlWare | Data Mining | DDAM | Dependability | DRPM | Eos | FASTA | Feedback Control | Galileo | Genesis | GPU | Graphics | Grid Computing Group | Hood | HotLeakage | HotSpot | IPA | Info Tech | Intrusion Detection | Isoluminance | Isotach | Jazz | JDelta | LAVA | Legion | Lithium | Marionette | MaSTRI | Medical Portal | MRRL | Mutation Routing | NAE | Nancy's Pantry | NEST | N-Variant | PDO | Perracotta | Perspective Warp | Physicrypt | PIE | PRMES | Qsilver | Semantic Streams | Software Quality | STILT | Strata | Surface Deformations | TDB | TJC | Tortola | VCGR | VEST | VLSI CAD | Willow | WSN | WSNM | Zeus |
Past projects: BeeHive | HoLSt | ITIC | MNG | Multiagents | Naccio | Physical Simulation | QoS | RoboCup | Scanning Monticello | Simplification | Splint | Swarm Computing | VDSlib | VLSIR | Zephyr |

Selected Student Publications

The following are some refereed publications authored or co-authored by University of Virginia's Computer Science graduate students.

  1. S. Alspaugh, K.R. Walcott, M. Belanich, G.M. Kapfhammer and M. Soffa, Efficient Time-Aware Prioritization with Knapsack Solvers, ASE Workshop on Empirical Assessment of Software Engineering Languages and Technologies, Atlanta, Georgia, November 2007.

  2. R.P. Weistroffer, K.R. Walcott, G. Humphreys and J. Lawrence, Efficient Basis Decomposition for Scattered Reflectance Data, Eurographics Symposium on Rendering, Grenoble, France, June 2007.

  3. K.R. Walcott, G. Humphreys and S. Gurumurthi, Dynamic Prediction of Architectural Vulnerability From Microarchitectural State, International Symposium on Computer Architecture, June 2007.

  4. E. Cheslack-Postava, N. Goodnight, R. Ng, R. Ramamoorthi and G. Humphreys, 4D Compression and Relighting with High-Resolution Light Transport Matrices, ACM Symposium on Interactive 3D Graphics and Games, April 2007.

  5. L. Bolotnyy and G. Robins, Physically Unclonable Function -Based Security and Privacy in RFID Systems, IEEE International Conference on Pervasive Computing and Communications (PerCom'07), NY, March 2007.

  6. J. Meng, H. Cook, K. Skadron and D. Weikle, Comparing Doom 3, WarCraft III, PBRT and MESA Using Micro-Architecturally Independent Characteristics, Technical Report CS-2007-04, February 2007.

  7. A. Guha, K. Hazelwood and M. Soffa, Reducing Exit Stub Memory Consumption in Code Caches, International Conference on High Performance Embedded Architectures and Compilers (HiPEAC'07), Ghent, Belgium, January 2007.

  8. J. Zhang, G. Zhou, C. Huang, S. Son and J. Stankovic, TMMAC: An Energy Efficient Multi-Channel MAC Protocol for Ad Hoc Networks, ACM SIGMOBILE Mobile Computing and Communications Review (ACM MC2R), Special Issue on Localization Technologies and Algorithms, January 2007.

  9. S. Eswaran, D. Del Vecchio, G. Wasson and M. Humphrey, Adapting and Evaluating Commercial Workflow Engines for e-Science, IEEE International Conference on e-Science and Grid Computing (e-Science'06), December 2006.

  10. S-M. Park, G. Wasson and M. Humphrey, Authorizing Remote Job Execution Based on Job Properties, IEEE International Conference on e-Science and Grid Computing (e-Science'06), December 2006.

  11. J. Carnahan and P. Reynolds, Requirements for DDDAS Flexible Point Support, Winter Simulation Conference, December 2006.

  12. K. Nohl and D. Evans, Quantifying Information Leakage in Tree-Based Hash Protocols, International Conference on Information and Communications Security, December 2006.

  13. D. Del Vecchio, V. Hazlewood and M. Humphrey, Evaluating Grid Portal Security, Supercomputing 2006, Tampa, FL, November 2006.

  14. R. Stoleru, P. Vicaire, T. He and J. A. Stankovic, StarDust: A Flexible Architecture for Passive Localization in Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (SenSys), Boulder, CO, November 2006.

  15. S. Lin, J. Zhang, G. Zhou, L. Gu, T. He and J. A. Stankovic, ATPC: Adaptive Transmission Power Control for Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (SenSys'06), Boulder, Colorado, November 2006.

  16. Z. Wu and A. Weaver, Using Web Service Enhancements to Bridge Business Trust Relationships, International Conference on Privacy, Security, and Trust (PST'06), November 2006.

  17. P. Kulkarni, W. Zhao, S. Hines, D. Whalley, X. Yuan, R. Engelen, K. Gallivan, J. Hiser, J. Davidson, B. Cai, M. Bailey and H. Moon, K. Cho, Y. Paek, VISTA: VPO Interactive System For Tuning Applications, ACM Transactions on Embedded Computing Systems (TECS), November 2006.

  18. Z. Wu and A. C. Weaver, Requirements of Federated Trust Management for Service-Oriented Architectures, International Conference on Privacy, Security, and Trust (PST'06), October 2006.

  19. Z. Lu, J. Lach, K. Skadron and M. R. Stan, Design and Implementation of an Energy Efficient Multimedia Playback System, Asilomar Conference on Signals, Systems and Computers, October 2006.

  20. A. D. Wood, L. Fang, J. A. Stankovic and T. He, A Family of Configurable, Secure Routing Protocols for Wireless Sensor Networks, Workshop on Security of Ad Hoc and Sensor Networks, October 2006.

  21. L. Gu and J. A. Stankovic, A Virtualizing OS Kernel for Wireless Sensor Networks, International Conference on Embedded Networked Sensor Systems, October 2006.

  22. L. Gu and J. A. Stankovic, T-kernel: Providing Reliable OS Support to Wireless Sensor Networks, International Conference on Embedded Networked Sensor Systems, October 2006.

  23. A. D. Wood and J. A. Stankovic, Secure Link-layer Communication in TinyOS for IEEE 802.15.4-based Wireless Sensor Networks, International Conference on Embedded Networked sensor Systems (SenSys'06), October 2006.

  24. W. Zhang, D. Del Vecchio, G. Wasson and M. Humphrey, Flexible and Secure Logging of Grid Data Access, IEEE/ACM International Conference on Grid Computing (Grid'06), Barcelona, Spain, September 2006.

  25. Z. Wu and A. Weaver, Bridging Trust Relationships with Web Service Enhancements, 2006 IEEE International Conference on Web Services, Chicago, September 2006.

  26. Z. Wu and A. Weaver, Application of Fuzzy Logic in Federated Trust Management for Pervasive Computing, Computer Software and Applications Conference (COMPSAC'06), September 2006.

  27. J. W. Sheaffer, D. P. Luebke and K. Skadron, The Visual Vulnerability Spectrum: Characterizing Architectural Vulnerability for Graphics Hardware, Graphics Hardware Workshop, pp. 9-16, September 2006.

  28. Y. Cai and K. J. Sullivan, Modularity Analysis of Logical Design Models, IEEE/ACM International Conference on Automated Software Engineering (ASE'06), September 2006.

  29. X. Jin, J. French and J. Michel, Quantative Analysis of the Impact of Judging Inconsistency on the Effectiveness of Relevance Feedback, International ACM SIGIR Conference on Research and Development in Information Retrieval, Seattle, WA, August 2006.

  30. W. S. Greenwell, J. C. Knight, C. M. Holloway and J. Pease, A Taxonomy of Fallacies in System Safety Arguments, International System Safety Conference, Albuquerque, NM, August 2006.

  31. J. Feng, L. Cui, G. Wasson and M. Humphrey, Policy-Directed Data Movement in Grids, International Conference on Parallel and Distributed Systems (ICPADS'06), Minneapolis, MN, July 2006.

  32. K. Walcott, G. Kapfhammer, R. Roos and M. Soffa, Time-Aware Test Suite Prioritization, International Symposium on Software Testing and Analysis (ISSTA'06), Portland, Maine, July 2006.

  33. L. Bolotnyy and G. Robins, Generalized 'Yoking Proofs' for a Group of Radio Frequency Identification Tags, International Conference on Mobile and Ubiquitous Systems: Networks and Services (MOBIQUITOUS'06), San Jose, CA, July 2006.

  34. E. A. Strunk and J. C. Knight, Dependability through Assured Reconfiguration in Embedded System Software, IEEE Transactions on Dependable and Secure Computing, Vol. 3, pp. 172-187, July 2006.

  35. B. Cox, D. Evans, A. Filipi, J. Rowanhill, W. Hu, J. Davidson, J. Knight and J. Hiser, N-Variant Systems: A Secretless Framework for Security through Diversity, USENIX Security Symposium, July 2006.

  36. K. R. Walcott, M. L. Soffa, G. M. Kapfhammer and R. S. Roos, Time-Aware Test Suite Prioritization, International Symposium on Software Testing and Analysis, July 2006.

  37. J. Calandrino and A. C. Weaver, Private Resource Pairing, Workshop on Privacy Enhancing Technologies (PET 2006), June 2006.

  38. J. Hiser, D. Williams, A. Filipi, J. Davidson and B. Childers, Evaluating Fragment Construction Policies for SDT Systems, International Conference on Virtual Execution Environments, June 2006.

  39. J. Yang, S. Zhou and M. Soffa, Dimension: An Instrumentation Tool for Virtual Execution Environments, International Conference on Virtual Execution Environments, June 2006.

  40. Y. Li, B. Lee, D. Brooks, Z. Hu and K. Skadron, Impact of Thermal Constraints on Multi-core Architectures, Intersociety Conference on Thermal and Thermomechanical Phenomena in Electronics Systems (ITHERM'06), June 2006.

  41. T. He, B. Blum, Y. Pointurierq, C. Lu, J. Stankovic and S. H. Son, MAC Layer Abstraction for Simulation Scalability Improvements in Large-scale Sensor Networks, International Conference on Networked Sensing Systems (INSS'06), Chicago, June 2006.

  42. W. Hu, J. Hiser, D. Williams, A. Filipi, J. Davidson, D. Evans, J. C. Knight, A. Nguyen-Tuong, Secure and Practical Defense Against Code-injection Attacks Using Software Dynamic Translation, ACM/USENIX International Conference on Virtual Execution Environments, June 2006.

  43. E. Humenay, D. Tarjan and K. Skadron, Impact of Parameter Variations on Multi-Core Chips, Workshop on Architectural Support for Gigascale Integration and International Symposium on Computer Architecture (ISCA), June 2006.

  44. F. Ciucu, A. Burchard and J. Liebeherr, Scaling Properties of Statistical End-to-End Bounds in Network Calculus, IEEE Transactions on Information Theory, Joint Special Issue with IEEE/ACM Transactions on Networking, June 2006.

  45. P. Graydon, SCRTool and the SCR Specification Language, Survey of Tools for Model Checking and Model-Based Development, Strunk, Aiello, Knight, eds., Technical Report CS-2006-17, Dept. of Computer Science, University of Virginia, June 2006.

  46. O. Chipara, Z. He, G. Xing, Q. Chen, X. Wang, C. Lu, J. Stankovic and T. Abdelzaher, Real-time Power-Aware Routing in Sensor Networks, IEEE International Workshop on Quality of Service (IWQoS'06), June 2006.

  47. C. White and D. Brogan, The Self Organization of Context for Multi Agent Games, Conference on Artificial Intelligence in Interactive Digital Entertainment, June 2006.

  48. E. A. Strunk and J. C. Knight, The Essential Synthesis of Problem Frames and Assurance Cases, International Workshop on Applications and Advances in Problem Frames, co-located with 29th International Conference on Software Engineering, Shanghai, China, May 2006.

  49. W. Huang, S. Ghosh, S. Velusamy, K. Sankaranarayanan, K. Skadron and M. R. Stan, HotSpot: A Compact Thermal Modeling Methodology for Early-Stage VLSI Design, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, May 2006.

  50. X. Liu, P. Reynolds and D. Brogan, Using Abstraction in the Verification of Simulation Coercion, ACM/IEEE Workshop on The Principles of Advanced and Distributed Simulation (PADS), May 2006.

  51. G. Zhou, J. Stankovic and S. Son, Crowded Spectrum in Wireless Sensor Networks, IEEE EmNets, May 2006.

  52. D. Evans and M. Peck, Inculcating Invariants in Introductory Courses, International Conference in Software Engineering, Education Track, May 2006.

  53. J. Hiser, N. Kumar, M. Zhao, S. Zhou, B. Childers, J. Davidson and M. Soffa, Techniques and tools for dynamic optimization, Parallel and Distributed Processing Symposium(IPDPS'06).Rhodes Island, Greece, April 2006.

  54. E. Benson, G. Wasson and M. Humphrey, Evaluation of UDDI as a Provider of Resource Discovery Services for OGSA-based Grids, 2006 International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 2006.

  55. J. Zhang, G. Zhou, S. H. Son and J. Stankovic, Ears on the Ground: Acoustic Streaming Service in Wireless Sensor Networks, IEEE/ACM International Conference on Information Processing in Sensor Networks (IPSN'06, Demo Paper), Nashville, TN, April 2006.

  56. G. Virone, A. Wood, L. Selavo, Q. Cao, L. Fang, T. Doan, Z. He and J. Stankovic, An Advanced Wireless Sensor Network for Health Monitoring, Transdisciplinary Conference on Distributed Diagnosis and Home Healthcare (D2H2), Arlington, VA, April 2006.

  57. G. Virone, A. Wood, L. Selavo, Q. Cao, L. Fang, T. Doan, Z. He, R. Stoleru, S. Lin and J. Stankovic, An Assisted Living Oriented Information System Based on a Residential Wireless Sensor Network, IEEE Conference on Distributed Diagnosis and Home Healthcare, April 2006.

  58. T. He, P. Vicaire, T. Yan, L. Luo, L. Gu, G. Zhou, R. Stoleru, Q. Cao, J. Stankovic and T. Abdelzaher, Achieving Real-Time Target Tracking Using Wireless Sensor Networks, IEEE Real-Time and Embedded Technology and Applications Symposium, April 2006.

  59. T. he, L. Gu, L. Luo, T. Yan, J. Stankovic and S. Son, An Overview of Data Aggregation Architecture for Real-Time Tracking with Sensor Networks, International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2006), April 2006.

  60. T. Yan, J. Stankovic, T. Abdelzaher, C. Lu and O. Chipara, Capacity and Feasibility Analysis for Bandwidth Reservation of Periodic Streams in Sensor Networks, International Symposium on Information Processing in Sensor Networks (IPSN 2006), April 2006.

  61. T. He, P. Vicaire, T. Yan, L. Luo, L. Gu, G. Zhou, R. Stoleru, Q. Cao, J. Stankovic and T. Abdelzaher, Real-Time Analysis of Tracking Performance in Wireless Sensor Networks, IEEE RTAS, invited for submission to special issue of ACM Transactions on Embedded Computing Systems, April 2006.

  62. Y. Wei, S. H. Son and J. Stankovic, RTSTREAM: Real-Time Query Processing for Data Streams, IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'06), Gyeongju, Korea, April 2006.

  63. Q. Cao, T. He, L. Fang, T. Abdelzaher, J. Stankovic and S. H. Son, Efficiency Optimization for Communication over Unreliable Radio in Sensor Networks, IEEE INFOCOM, Barcelona, Spain, April 2006.

  64. G. Zhou, C. Huang, T. Yan, T. He, J. Stankovic and T. Abdelzaher, MMSN: Multi-Frequency Media Access Control for Wireless Sensor Networks, IEEE INFOCOM, Barcelona, Spain, April 2006.

  65. Z. Lu, Y. Zhang, M. R. Stan, J. Lach and K. Skadron, Procrastinating Voltage Scheduling with Discrete Frequency Sets, ACM/IEEE/EDAA/EDAC 2004 Design, Automation and Test in Europe Conference (DATE), pp. 456-461, March 2006.

  66. N. Pual and D. Evans, Comparing Java and .NET security: Lessons Learned and Missed, Science Direct, February 2006.

  67. Y. Li, B. Lee, D. Brooks, Z. Hu and K. Skadron, CMP Design Space Exploration Subject to Physical Constraints, International Symposium on High-Performance Computer Architecture (HPCA), February 2006.

  68. J. Yang, D. Evans, D. Bhardwaj, T. Bhat and M. Das, Perracotta: Mining Temporal API Rules from Imperfect Traces, International Conference on Software Engineering, February 2006.

  69. S. Krishnamurthy, T. He, G. Zhou, J. Stankovic and S. Son, RESTORE: A Real-Time Event Correlation and Storage Service for Sensor Networks, International Conference on Networked Sensing Systems, February 2006.

  70. K. Dale, J. Sheaffer, V. V. Kumar, D. Luebke, G. Humphreys and K. Skadron, Applications of Small-Scale Reconfigurability to Graphics Processors, International Workshop on Applied Reconfigurable Computing, February 2006.

  71. T. He, S. Krishnamurthy, L. Luo, T. Yan, R. Stoleru, G. Zhou, Q. Cao, P. Vicaire, J. Stankovic, T. Abdelzaher, J. Hui and B. Krogh, VigilNet: An Integrated Sensor Network System for Energy-Efficient Surveillance, ACM Transactions on Sensor Networks, February 2006.

  72. G. Virone, A. Wood, L. Selavo, Q. Cao, L. Fang, T. Doan, Z. He, R. Stoleru, S. Lin and J. Stankovic, ALARM-NET: an Assisted Living-Centered and Testbed-Oriented Information System Based on a Residential Wireless Sensor Network, Transdisciplinary Conference on Distributed Diagnosis and Home Healthcare (D2H2), January 2006.

  73. L. Luo, T. He, G. Zhou, L. Gu, T. Abdelzaher and J. Stankovic, Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog, Conference on Computer Communications, January 2006.

  74. Q. Cao, T. He, L. Fang, T. Abdelzaher, J. Stankovic and S. Son, Efficiency Centric Communication Model for Wireless Sensor Networks, Conference on Computer Communications, January 2006.

  75. R. Stoleru, T. He and J. Stankovic, Range-Free Localization, Sensor Network Handbook Chapter, Springer, January 2006.

  76. J. Zhang, T. Yan, J. Stankovic and S. H. Son, Thunder: Towards Practical, Zero Cost Acoustic Localization for Outdoor Wireless Sensor Networks, ACM SIGMOBILE Mobile Computing and Communications Review 2006 (MC2R), Special Issue on Localization Technologies and Algorithms (to appear), January 2006.

  77. R. Wang, R. Ng, D. Luebke and G. Humphreys, Efficient Wavelet Rotation for Environment Map Rendering, Eurographics Symposium on Rendering (EGSR'06), January 2006.

  78. J. Meng, H. Lin. and J. Shi, High-Resolution Image Viewing on Projection-based Tiled Display Wall, SPIE on Electronic Imaging, January 2006.

  79. J. Zhang, T. Yan and S. Son, Deployment Strategies for Differentiated Detection in Wireless Sensor Networks, IEEE International Conference on Sensor Mesh and Ad Hoc Communications and Networks (SECON'06), January 2006.

  80. D. Dunbar and G. Humphreys, A Spatial Data Structure for Fast Poisson-Disk Sample Generation, SIGGRAPH, January 2006.

  81. D. Katramatos and S. J. Chapin, A Scalable Method for Predicting Network Performance in Heterogeneous Clusters, International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN 2005), December 2005.

  82. M. Spiegel, P. F. Reynolds and D. C. Brogan, A Case Study of Model Context for Simulation Composability and Reusability, Winter Simulation Conference, December 2005.

  83. G. Zhou, C. Huang, T. Yan, T. He, J. Stankovic and T. Abdelzaher, MMSN: Multi-Frequency Media Access Control for Wireless Sensor Networks, Conference on Computer Communications, December 2005.

  84. R. Wang, J. Tran and D. Luebke, All-Frequency Relighting of Glossy Objects, ACM Transactions on Graphics, December 2005.

  85. T. He, P. Vicaire, T. Yan, Q. Cao, G. Zhou, L. Gu, L. Luo, R. Stoleru, J. Stankovic and T. Abdelzaher, Achieving Long-Term Surveillance in VigilNet, Conference on Computer Communications, December 2005.

  86. C. Huang, G. Zhou, T. Abdelzaher, S. Son and J. Stankovic, Load Balancing in Bounded-Latency Content Distribution, IEEE International Real-Time Systems Symposium, December 2005.

  87. G. Zhou, T. He, S. Krishnamurthy and J. Stankovic, Models and Solutions for Radio Irregularity in Wireless Sensor Networks, ACM Transactions on Sensor Networks, December 2005.

  88. J. Zhang, Z. Huang and X. Liu, Acoustic Communication in Wireless Sensor Networks, CS651, Wireless Sensor Networks, December 2005.

  89. Z. Lu, J. Lach, M. R. Stan and K. Skadron, Temperature-Aware Modeling and Banking of IC Lifetime Reliability, IEEE Micro Special Issue on Reliability-Aware Microarchitectures, December 2005.

  90. R. Bartholet, D. Brogan and P. Reynolds, The Computational Complexity of Component Selection in Simulation Reuse, Winter Simulation Conference (WSC), pp. 2472-2481, December 2005.

  91. D. Fiedler, K. Walcott, T. Richardson, G. M. Kapfhammer, A. Amer and P. K. Chrysanthis, Towards the Measurement of Tuple Space Performance, ACM SIGMETRICS Performance Evaluation Review, December 2005.

  92. Y. Cai and K. J. Sullivan, Simon: Modeling and Analysis of Design Space Structures, IEEE/ACM International Conference on Automated Software Engineering, pp. 329-332, November 2005.

  93. J. Feng, L. Cui, G. Wasson and M. Humphrey, Toward Seamless Grid Data Access: Design and Implementation of GridFTP on .NET, Grid Workshop (Associated with Supercomputing 2005), Seattle, WA, pp. 164-171, November 2005.

  94. L. Gu, D. Jia, P. Vicaire, T. Yan, L. Luo, A. Tirumala, Q. Cao, T. He, J. Stankovic and T. Abdelzaher, Lightweight Detection and Classification for Wireless Sensor Networks in Realistic Environments, ACM Conference on Embedded Networked Sensor Systems (SenSys'05), pp. 205-217, November 2005.

  95. M. Humphrey, G. Wasson, Y. Kiryakov, S-M. Park, D. Del Vecchio, N. Beekwilder and J. Gray, Alternative Software Stacks for OGSA-based Grids, Supercomputing 2005, Seattle, WA, November 2005.

  96. R. Stoleru, T. He, J. Stankovic and D. Luebke, A High-Accuracy, Low-Cost Localization System for Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems, November 2005.

  97. Q. Cao and J. Stankovic, Dual Face Phased Array Radar Scheduling with Multiple Constraints, EMSOFT, November 2005.

  98. D. Katramatos, M. Humphrey, A.S. Grimshaw and A. Chapin, JobQueue: A Computational Grid-wide Queuing System, International Workshop on Grid Computing, pp. 99-110, November 2005.

  99. J. Liebeherr and M. Nahas, Marking Algorithms for Service Differentiation of TCP Traffic, Computer Communications, Special Issue on End-to-End Quality of Service Differentiation, 28:2058-2069, November 2005.

  100. S. Prabh and T. Abdelzaher, Energy-Conserving Data Cache Placement in Sensor Networks, ACM Transactions on Sensor Networks, November 2005.

  101. T. He, C. Huang, B. Blum, J. Stankovic and T. Abdelzaher, Range-free Localization and its Impact on Large Scale Sensor Networks, ACM Transactions on Embedded Computing Systems (TECS), November 2005.

  102. R. Stoleru, T. He and J. A. Stankovic, Localization System for Outdoor Wireless Sensor Networks, International conference on Embedded networked sensor systems, November 2005.

  103. J. Rowanhill and J. C. Knight, ANDREA: Implementing Survivability in Large Distributed Systems, IEEE Symposium on Reliable Distributed Systems (SRDS 2005), Orlando, FL, October 2005.

  104. T. Zhu, R. Wang and D. Luebke, A GPU-Accelerated Render Cache, Pacific Graphics, October 2005.

  105. K. Lee, K. Skadron and W. Huang, Analytical Model for Sensor Placement on Microprocessors, IEEE International Conference on Computer Design: VLSI in Computers and Processors, October 2005.

  106. L. Bolotnyy and G. Y. Robins, Multi-Tag Radio Frequency Identification Systems, Proc. IEEE Workshop on Automatic Identification Advanced Technologies, pp. 83-88, October 2005.

  107. L. Bolotnyy and G. Robins, Randomized Pseudo-Random Function Tree Walking Algorithm for Secure Radio-Frequency Identification, Proc. IEEE Workshop on Automatic Identification Advanced Technologies, pp. 43-48, October 2005.

  108. T. He, J. Stankovic, C. Lu and T. Abdelzaher, A Spatiotemporal Communication Protocol for Wireless Sensor Networks, IEEE Transactions on Parallel and Distributed Systems, Vol. 16, No. 10, pp. 995-1006, October 2005.

  109. Z. Wu and A. C. Weaver, A Privacy Preserving Enhanced Trust Building Mechanism for Web Services, Conference on Privacy, Security, and Trust (PST'05), New Brunswick, Canada, October 2005.

  110. K. Sankaranarayanan, S. Velusamy, M. R. Stan and K. Skadron, A Case for Thermal-Aware Floorplanning at the Microarchitectural Level, Journal on Instruction Level Parallelism, vol. 7, October 2005.

  111. E. Strunk, J. C. Knight and M. A. Aiello, Assured Reconfiguration of Fail-Stop Systems, International Conference on Dependable Systems and Networks, Yokohama, Japan, October 2005.

  112. L. Gu and J. A. Stankovic, T-kernel: A Naturalizing OS Kernel for Low-power Cost-effective Computers, ACM Symposium on Operating Systems Principles, October 2005.

  113. J. Carnahan, P. Reynolds and D. Brogan, Simulation-Specific Characteristics and Software Reuse, Winter Simulation Conference, pp. 2492-2499, September 2005.

  114. D. Tarjan and K. Skadron, Merging Path and Gshare Indexing in Perceptron Branch Prediction, ACM Transactions on Architecture and Code Optimization, September 2005.

  115. K. Wasson, K. Schimid, R. Lutz and J. Knight, Using Occurrence Properties of Defect Report Data to Improve Requirements, International Requirements Engineering Conference, Paris, France, September 2005.

  116. X. Zhu, X. Zheng, M. Veeraraghavan, Z. Li, Q. Song, I. Habib and N. Rao, Implementation of a GMPLS-based Network with End Host Initiated Signaling, IEEE International Conference on Communications, September 2005.

  117. E. Strunk, X. Yin and J. C. Knight, Echo: A Practical Approach to Formal Verification, International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005), co-located with the fifth joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), Lisbon, Portugal, September 2005.

  118. N. Goodnight, R. Wang and G. Humphreys, Computation on Programmable Graphics Hardware, IEEE Computer Graphics and Applications 25(5), September 2005.

  119. K. Sullivan, W. G. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari and H. Rajan, Information Hiding Interfaces for Aspect-Oriented Design, European Software Engineering Conference Held Jointly with ACM SIGSOFT International Symposium on Foundations of Software Engineering, September 2005.

  120. Y. Li, M. Hempstead, P. Mauro, D. Brooks, Z. Hu and K. Skadron, Power and Thermal Effects of SRAM vs. Latch-Mux Design Styles and Clock Gating Choices, International Symposium on Low Power Electronics and Design (ISLPED), August 2005.

  121. R. Wang, J. Tran and D. Luebke, All-Frequency Interactive Relighting of Translucent Objects with Single and Multiple Scattering, ACM Transactions on Graphics, August 2005.

  122. T. he, L. Luo, T. Yan, L. Gu, Q. Cao, G. Zhou, R. Stoleru, P. Vicaire, Q. Cao, J. Stankovic, S. Son and T. Abdelzaher, An Overview of the VigilNet Architecture, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, August 2005.

  123. N. Sovarel, D. Evans and N. Paul, Where's the FEEB?: The Effectiveness of Instruction Set Randomization, Usenix Security Symposium, Baltimore, MD, August 2005.

  124. J.D. Owens, D. Luebke, N. Govindaraju, M. Harris, J. Kruger, A. E. Lefohn and T. Purcell, A Survey of General-Purpose Computation on Graphics Hardware, State of the Art Report (STAR), Eurographics 2005, Dublin, Ireland, August 2005.

  125. X. Jin, J. C. French and J. Michel, Toward Consistent Evaluation of Relevance Feedback Approaches in Multimedia Retrieval, International Workshop on Adaptive Multimedia Retrieval, Glasgow, UK, Lecture Notes in Computer Science 3877, pp. 191-206, July 2005.

  126. D. Del Vecchio, J. Basney, N. Nagaratnam and M. Humphrey, CredEx: User-Centric Credential Selection and Management for Grid and Web Services, IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, July 2005.

  127. J. Wang, D. Del Vecchio and M. Humphrey, Extending the Security Assertion Markup Language to Support Delegation for Web Services and Grid Services, IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, July 2005.

  128. M. Co, D. A.B. Weikle and K. Skadron, A Break-Even Formulation for Evaluating Branch Predictor Energy Efficiency, Workshop on Complexity-Effective Design (WCED) and ACM/IEEE International Symposium on Computer Architecture (ISCA), pp. 1-12, July 2005.

  129. Z. Wu and A. Weaver, Dynamic Trust Establishment with Privacy Protection for Web Services, IEEE International Conference on Web Services, Orlando, FL, July 2005.

  130. D. Vecchio and S. H. Son, Flexible Update Management in Peer-to-Peer Database Systems, International Database Engineering and Applications Symposium (IDEAS'05), Montreal, Canada, July 2005.

  131. M. Spiegel, P. Reynolds and D. Brogan, A Case Study of Context Assumptions for Simulation Composability and Reusability, Winter Simulation Conference (WSC), pp. 437-444, July 2005.

  132. D. Brogan, P. Reynolds, R. Bartholet, J. Carnahan and Y. Loitiere, Semi-Automated Simulation Transformation for DDDAS, International Conference on Computational Science, pp. 721-728, July 2005.

  133. M. Humphrey, G. Wasson, K. Jackson, J. Boverhof, M. Rodriguez, J.Gawor, S. Lang, I. Foster, S. Meder, S. Pickles, State and Events for Web Services: A Comparison of Five WS-Resource Framework and WS-Notification Implementations, IEEE International Symposium on High Performance Distributed Computing (HPDC-14), pp. 24-27, Research Triangle Park, NC, July 2005.

  134. M. Humphrey, J. Basney and J. Jokl, The Case for Using Bridge Certificate Authorities for Grid Computing, Software—Practice and Experience, July 2005.

  135. M. Humphrey and G. Wasson, Exploiting WSRF and WSRF.NET for Remote Job Execution in Grid Environments, IEEE International Parallel and Distributed Processing Symposium, July 2005.

  136. M. Humphrey and G. Wasson, Architectural foundations of WSRF.NET, International Journal of Web Services Research, July 2005.

  137. J. Stankovic, Q. Cao, T. Doan, L. Fang, Z. He, R. Kiran, S. Lin, S. Son, R. Stoleru and A. Wood, Wireless Sensor Networks for In-Home Healthcare: Potential and Challenges, High Confidence Medical Device Software and Systems (HCMDSS) Workshop, Philadelphia, PA, June 2005.

  138. P. A. Kulkarni, S. R. Hines, D. B. Whalley, J. D. Hiser, J. W. Davidson and D. L. Jones, Fast and Efficient Searches For Effective Optimization-phase Sequences, ACM Transactions on Architecture and Code Optimization (TACO), June 2005.

  139. F. Ciucu, A. Burchard and J. Liebeherr, A Network Service Curve Approach for the Stochastic Analysis of Networks, ACM SIGMETRICS, June 2005.

  140. S. Zhou, B. Childers and M. Soffa, Planning for Code Buffer Management in Distributed Virtual Execution Environments, ACM/USENIX Conference on Virtual Execution Environments, June 2005.

  141. N. Kumar, B. Childers, D. Williams, J. Davidson and M. Soffa, Compile-Time Planning for Overhead Reduction in Software Dynamic Translation, International Journal of Parallel Programming, Vol. 33, Nos. 2/3, June 2005.

  142. A. S. Grimshaw, M. Humphrey, C. Knight, J. Rowanhill, G. Wasson and J. Basney, The Development of Dependable and Survivable Grids, Workshop on Dynamic Data Driven Applications and International Conference on Computational Science, May 2005.

  143. J. Martin, J. Basney and M. Humphrey, Extending Existing Campus Trust Relationships to the Grid through the Integration of Pubcookie and MyProxy, 2005 International Conference on Computational Science (ICCS 2005), Emory University, Atlanta, GA, USA, May 2005.

  144. Z. Gu and K. G. Skin, Model-checking of Component-based Event-driven Real-time Embedded Software, IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), May 2005.

  145. J.V.S. Watson, S-M. Park and M. Humphrey, Toward GT3 and OGSI.NET Interoperability: GRAM Support on OGSI.NET, International Conference on Computational Science (ICCS 2005), May 2005.

  146. L. Luo, T. Abdelzaher, T. He and J. Stankovic, Design and Comparison of Lightweight Group Management Strategies in EnviroSuite, The International Conference on Distributed Computing in Sensor Systems, May 2005.

  147. A. Tavakoli, J. Zhang and S. Son, Group-Based Event Detection in Undersea Sensor Networks, International Workshop on Networked Sensing Systems, May 2005.

  148. Z. Wu and A. C. Weaver, Token-Based Dynamic Trust Establishment for Web Services, ACM Southeast Conference, Vol. 2, pp. 217-222, Atlanta, GA, May 2005.

  149. C. Huang, S. Sebastine and T. Abdelzaher, Design, Implementation and Evaluation of a Real-Time Active Content Distribution Service, Journal of Real-time Systems, May 2005.

  150. R. Zhang, S. Parekh, Y. Diao, M. Surendra, T. Abdelzaher and J. Stankovic, Control of Weighted Fair Queueing: Modeling, Implementation, and Experiences, IFIP/IEEE International Symposium on Integrated Network Management, Nice, France, May 2005.

  151. Y. Cai and K. Sullivan, A Value-Oriented Theory of Modularity in Design, International Conference on Software Engineering, May 2005.

  152. K. Lee and K. Skadron, Using Performance Counters for Runtime Temperature Sensing in High-performance Processors, IEEE International Parallel and Distributed Processing Symposium, April 2005.

  153. T. He, R. Stoleru and J. Stankovic, Spotlight: Low-Cost Asymmetric Localization System for Networked Sensor Nodes, International Conference on Information Processing in Sensor Networks, April 2005.

  154. B. Jiao, S. Son and J. Stankovic, GEM: Generic Event Service Middleware for Wireless Sensor Networks, International Conference on Networked Sensing Systems, April 2005.

  155. Q. Cao, T. Abdelzaher, T. He and J. Stankovic, Towards Optimal Sleep Scheduling in Sensor Networks for Rare-Event Detection, International Conference on Information Processing in Sensor Networks, April 2005.

  156. P. Dadvar and K. Skadron, Potential Thermal Security Risks, IEEE Semiconductor Thermal Measurement and Management Symposium, March 2005.

  157. L. Gu and J. Stankovic, Radio-Triggered Wake-Up Capability for Sensor Networks, Real-Time Systems Journal, special issue of best papers from RTAS, Vol. 29, No. 2-3, pp. 157-182, March 2005.

  158. H. Rajan and K. Sullivan, Aspect Language Features for Concern Coverage Profiling, International Conference on Aspect-Oriented Software Development, March 2005.

  159. J. W. Haskins and K. Skadron, Accelerated Warmup for Sampled Microarchitecture Simulation, ACM Transactions on Architecture and Compiler Optimization, March 2005.

  160. A. S. Grimshaw and A. Natrajan, Legion: Lessons Learned Building a Grid Operating System, Proceedings of the IEEE, Vol. 93, No. 3, pp. 589-603, March 2005.

  161. M. Humphrey, M. Thompson and K. R. Jackson, Security for Grids, IEEE (Special Issue on Grid Computing), Vol 93, No. 3, pp. 644-652, March 2005.

  162. M. Humphrey and G. Wasson, The University of Virginia Campus Grid: Integrating Grid Technologies with the Campus Information Infrastructure, 2005 European Grid Conference (ECG 2005), Amsterdam, The Netherlands, February 2005.

  163. Y. Li, K. Skadron, D. Brooks and Z. Hu, Performance, Energy, and Thermal Considerations for SMT and CMP Architectures, International Symposium on High-Performance Computer Architecture (HPCA-11), February 2005.

  164. Y. Li, D. Brooks, Z. Hu and K. Skadron, Performance, Energy and Temperature Considerations for SMT and CMP architecture, International Symposium on High-Performance Computer Architecture (HPCA), February 2005.

  165. J. Sheaffer, K. Skadron and D. Luebke, Studying Thermal Management for Graphics-Processor Architectures, 2005 IEEE International Symposium on Performance Analysis of Systems and Software, February 2005.

  166. S. Velusamy, W. Huang, J. Lach, M. Stan and K. Skadron, Experiences Using FPGAs for Temperature-Aware Microarchitecture Research, Workshop on Architecture Research using FPGA Platforms (WARFP), February 2005.

  167. H. Rajan and K. Sullivan, Classpects: Unifying Aspect and Object-Oriented Language Design, International Conference on Software Engineering, February 2005.

  168. Y. Chen, A. B. Kahng, G. Robins, A. Zelikovsky and Y. Zheng, Compressible Area Fill Synthesis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 24, No. 8, pp. 1169-1187, January 2005.

  169. Q. Cao, T. Yan, J. Stankovic and T. Abdelzaher, Analysis of Target Detection Performance for Wireless Sensor Networks, International Conference on Distributed Computing in Sensor Systems, January 2005.

  170. A. Dayal, C. Woolley, B. Watson and D. Luebke, Adaptive Frameless Rendering, Eurographics Symposium on Rendering, January 2005.

  171. A. Nguyen-Tuong, S. Guarnieri, D. Greene, J. Shirley and D. Evans, Automatically Hardening Web Applications Using Precise Tainting, IFIP International Information Security Conference (SEC), January 2005.

  172. J.C. Knight and E. Strunk, Achieving Critical System Survivability through Software Architectures, Architecting Dependable Systems, (R. de Lemos, C. Gacek, and A. Romanovsky Eds), January 2005.

  173. J. Basney, M. Humphrey and V. Welch, The MyProxy online credential repository, Software--Practice and Experience, January 2005.

  174. A. Aslinger and S. H. Son, Efficient Replication Control in Distributed Real-time Databases, ACS/IEEE International Conference on Computer Systems and Applications, January 2005.

  175. Y. Chen and S. H. Son, A Fault Tolerant Topology Control in Wireless Sensor Networks, ACS/IEEE International Conference on Computer Systems and Applications, January 2005.

  176. D. Beermann, T. Munzner and G. Humphreys, Scalable, Robust Visualization of Very Large Trees, Eurographics/IEEE Symposium on Visualization, January 2005.

  177. T. R. Abdelzaher, S. Prahh and R. Kiran, On Real-time Capacity Limits of Multihop Wireless Sensor Networks, IEEE International Real-Time Systems Symposium, December 2004.

  178. N. Paul and D. Evans, .NET Security: Lessons Learned and Missed from Java, Computer Security Applications Conference (ACSAC 2004), Tucson, AZ, December 2004.

  179. T. Abdelzaher, T. He and J. Stankovic, Feedback Control of Data Aggregation in Sensor Networks, Conference on Decision and Control, December 2004.

  180. A. B. Hocking and W. B. Levy, Computing conditional probabilities in a minimal CA3 pyramidal neuron, Neurocomputing, 65-66, 297-303, December 2004.

  181. G. Zhou, T. He, J. Stankovic and T. Abdelzaher, RID: Radio Interference Detection in Wireless Sensor Networks, IEEE Conference on Computer Communications, December 2004.

  182. Q. Cao and T. Abdelzaher, A Scalable Logical Coordinates Framework for Routing in Wireless Sensor Networks, IEEE Real-time Systems Symposium, Lisbon, Portugal, December 2004.

  183. R. Zhang, S. Parekh, Y. Diao, M. Surendra, T. Abdelzaher and J. Stankovic, Control of Weighted Fair Queueing: Modeling, Implementation and Experiences, IFIP/IEEE IM 2005, also IBM Research Report RC23437 (W0411-156), November 2004.

  184. M. Humphrey, G. Wasson, M. Morgan and N. Beekwilder, An Early Evaluation of WSRF and WS-Notification via WSRF.NET, Grid Computing Workshop (Associated with Supercomputing 2004), Pittsburgh, PA, November 2004.

  185. T. He, Q. Cao, L. Luo, T. Yan, L. Gu, J. A. Stankovic and T. F. Abdelzaher, Demo Abstract: Electronic Tripwires for Power-Efficient Surveillance and Target Classification, ACM Conference on Embedded Networked Sensor Systems (SenSys'04), pp. 315, November 2004.

  186. T. Horvath, T. Abdelzaher, K. Skadron and X. Liu, Dynamic Voltage Scaling in Multi-tier Web Servers with End-to-end Delay Control, IEEE Transactions on Computers, November 2004.

  187. J. Yang and D. Evans, Automatically Inferring Temporal Properties for Program Evolution, International Symposium on Software Reliability Engineering (ISSRE'04), pp. 340-351, November 2004.

  188. M. Fox, D. Brogan and P. Reynolds, Approximating Component Selection, Winter Simulation Conference, November 2004.

  189. J. Carnahan, P. Reynolds and D. Brogan, Visualizing Coercible Simulations, Winter Simulation Conference, November 2004.

  190. J. Giordano, P. Reynolds and D. Brogan, Exploring the Constraints of Human Behavior Representation, Winter Simulation Conference, November 2004.

  191. R. Stoleru, T. He and J. Stankovic, Walking GPS: A Practical Solution for Localization in Manually Deployed Wireless Sensor Networks, IEEE Workshop on Embedded Networked Sensors (EmNetS-I), November 2004.

  192. A. Dutta, N. Kamani, C. M. Taylor, H. K. Kim and G. Robins, The Encode (Encyclopedia of DNA Elements) Project, Science, Vol. 306, No. 5696, pp. 636-640, October 2004.

  193. R. Stoleru and J. Stankovic, Probability Grid: A Location Estimation Scheme for Wireless Sensor Networks, IEEE International Conference on Sensor and Ad Hoc Communications and Networks (SECON), October 2004.

  194. X. Tang, G. Tao, L. Wang and J. Stankovic, Robust and Adaptive Actuator Failure Compensation Designs for a Rocket Fairing Structural-Acoustic Model, IEEE Transactions on Aerospace and Electronic Systems, Vol. 40, No. 4, pp. 1359-1366, October 2004.

  195. L. Hu and D. Evans, Localization for Mobile Sensor Networks, International Conference on Mobile Computing and Networking (MobiCom'04), September 2004.

  196. J. Xu, H. Rajan and K. Sullivan, Understanding Aspects via Implicit Invocation, International Conference on Automated Software Engineering, September 2004.

  197. J. Stankovic, P. Nagaraddi, Z. Yu, Z. He and B. Ellis, Exploiting Prescriptive Aspects: A Design Time Capability, EMSOFT, September 2004.

  198. K .Sullivan, W. G. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari and H. Rajan, Information Hiding Interfaces for Aspect Oriented Design, European Software Engineering Conference (ESEC)/Foundations of Software Engineering (FSE), pp. 166-175, September 2004.

  199. S. Waziruddin, D. Brogan and P. Reynolds, Coercion through Optimization: A Classification of Optimization Techniques, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004.

  200. Chengdu Huang, Seejo Sebastine and Tarek F. Abdelzaher, An Architecture for Real-Time Active Content Distribution, Euromicro Conference on Real-Time Systems (ECRTS 2004), September 2004.

  201. J. C. Carnahan, P. F. Reynolds and D. C. Brogan, Language Support for Identifying Flexible Points in Coercible Simulations, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004.

  202. R. G. Bartholet, D. C. Brogan, P. F. Reynolds and J. C. Carnahan, In Search of the Philosopher’s Stone: Simulation Composability Versus Component-Based Software Design, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004.

  203. R. Bartholet, D. Brogan, P. Reynolds and J. Carnahan, Semantics, Scope, or Scale: Simulation Composability Versus Component-Based Software Design, Fall Simulation Interoperability Workshop, Orlando, FL, September 2004.

  204. Y. Wei, A. Aslinger, S. Son and J. Stankovic, ORDER: A Dynamic Replication Algorithm for Periodic Transactions in Distributed Real-Time Databases, International Conference on Real-Time and Embedded Computing Systems and Applications, Gothenbury, Sweden, August 2004.

  205. Y. Li, D. Brooks, Z. Hu, K. Skadron and P. Bose, Understanding the Energy Efficiency of Simultaneous Multithreading, Symposium on Low Power Electronics and Design (ISLPED), August 2004.

  206. N. Hoobler, G. Humphreys and M. Agrawala, Visualizing Competitive Behaviors in Multi-User Virtual Environments, SIGGRAPH 2004, August 2004.

  207. J. Sheaffer, D. Luebke and K. Skadron, A Flexible Simulation Framework for Graphics Architectures, Graphics Hardware, Grenoble, France, August 2004.

  208. J. C. Knight, E. Strunk, W. Greenwell and K. Wasson, Specification and Analysis of Data for Safety-Critical Systems, International System Safety Conference, Providence RI, August 2004.

  209. W. Greenwell, E. Strunk and J. C. Knight, Failure Analysis and the Safety-Case Lifecycle, IFIP Working Conference on Human Error, Safety and System Development (HESSD) Toulouse, France, August 2004.

  210. J.C. French, A. C. Chapin and W. N. Martin, Multiple Viewpoints as an Approach to Digital Library Interfaces, Journal of the American Society for Information Science and Technology, vol. 55, no 10, pp. 911-922, August 2004.

  211. J. W. Sheaffer, K. Skadron and D. P. Luebke, Temperature-aware GPU Design, International Conference on Computer Graphics and Interactive Techniques, August 2004.

  212. J. Feng and M. Humphrey, Eliminating Replica Selection Using Multiple Replicas to Accelerate Data Transfer on Grids, International Conference on Parallel and Distributed Systems (ICPADS 2004). Newport Beach, CA, July 2004.

  213. J. C. French, X. Jin and W. Martin, An Empirical Investigation of the Scalability of a Multiple Viewpoint CBIR System, International Conference of Image and Video Retrieval (CIVR'04), July 2004.

  214. Rui Wang, John Tran and David Luebke, All-Frequency Relighting of Non-Diffuse Objects using Separable BRDF Approximation, Eurographics Symposium on Rendering (2004), July 2004.

  215. G. Zhou, T. He, S. Krishnamurthy and J. A. Stankovic, Impact of Radio Irregularity on Wireless Sensor Networks, International Conference on Mobile Systems, Applications, and Services (MobiSys2004), July 2004.

  216. K. Sullivan, J. Yang, D. Coppit, S. Khurshid and D. Jackson, Software Assurance by Bounded Exhaustive Testing, International Symposium on Software Testing and Analysis (ISSTA 2004), July 2004.

  217. J. Yang and D. Evans, Dynamically Inferring Temporal Properties, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2004), Washington, DC, pp 23-28, July 2004.

  218. J. Jokl, J. Basney and M. Humphrey, Experiences using Bridge CAs for Grids, UK Workshop on Grid Security Practice - Oxford, 8th and 9th, July 2004.

  219. J. Basney, S. S. Chetan, F. Qin, S. Song, X. Tu and M. Humphrey, An OGSI Credential Manager Service, UK Workshop on Grid Security Practice - Oxford, 8th and 9th, July 2004.

  220. J. C. Rowanhill, P. E. Varner and J. C. Knight, Efficient Hierarchic Management for Reconfiguration of Networked Information Systems, International Conference on Dependable Systems and Networks, July 2004.

  221. C. Huang, S. Sebastine and T. Abdelzaher, An Architecture for On-Demand Active Web Content Replication, Euromicro Conference on Real-Time Systems, Catania, Italy, July 2004.

  222. D. Henriksson, Y. Lu and T. Abdelzaher, Improved Prediction for Web Server Delay Control, Euromicro Conference on Real-Time Systems, Catania, Italy, July 2004.

  223. P. Kulkarni, S. Hines, J. Hiser, D. Whalley, J. Davidson and D. Jones, Fast Searches For Effective Optimization Phase Sequences, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'04), July 2004.

  224. Y. Wei, S. Son and J. Stankovic, Maintaining Data Freshness in Distributed Real-time Databases, EuroMicro Conference on Real-Time Systems (ECRTS'04), Catania, Sicily, Italy, June 2004.

  225. T. Abdelzaher, Y. Lu, R. Zhang and D. Henriksson, Practical Application of Control Theory to Web Services, Invited paper, American Control Conference, Boston, MA, pp 1992-1997, June 2004.

  226. E. Strunk, J.C. Knight and M. Anthony Aiello, Distributed Reconfigurable Avionics Architectures, Digital Avionics Systems Conference, Salt Lake City, UT, June 2004.

  227. T. He, S. Krishnamurthy, J. A. Stankovic, T. Abdelzaher, L. Luo, R. Stoleru, T. Yan and L. Gu, Energy-Efficient Surveillance System Using Wireless Sensor Networks, International Conference on Mobile Systems, Applications, and Services (MobiSys2004), June 2004.

  228. J. D. Hiser and J. W. Davidson, EMBARC: An Efficient Memory Bank Assignment Algorithm For Retargetable Compilers, ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), June 2004.

  229. P. Juang, K. Skadron, M. Martonosi, Z. Hu, D. W. Clark and P. W. Diodato, Implementing Branch Predictor Decay Using Quasi-Static Memory Cells, ACM Transactions on Architecture and Code Optimization, June 2004.

  230. E. Strunk and J. C. Knight, Assured Reconfiguration of Embedded Real-Time Software, International Conference on Dependable Systems and Networks (DSN 2004) Florence, Italy, June 2004.

  231. C. Huang and T. Abdelzaher, Towards Content Distribution Networks with Latency Guarantees, IWQoS, Montreal, Canada, June 2004.

  232. T. He, B. Blum, J. Stankovic and T. Abdelzaher, AIDA: Adaptive Application Independent Data Aggregation in Wireless Sensor Networks, special issue of ACM Transactions on Embedded Computing Systems, Vol. 3, No. 2, pp. 426-457, May 2004.

  233. L. Gu and J. Stankovic, Radio Triggered Wake-Up Capability for Sensor Networks, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04), Best Student Paper Award, May 2004.

  234. Y. Loitiere, D. Brogan and P. Reynolds, Simulation Coercion Applied to Multiagent DDDAS, International Conference on Computational Science (ICCS), pp. 789-796, May 2004.

  235. A.S. Grimshaw, A. Natrajan and A. Humphrey, A philosophical and technical comparison of Legion and Globus, IBM Systems Journal, Vol. 48, no. 2, pp. 233-254, May 2004.

  236. Y. Lu, T. Abdelzaher and A. Saxena, Design, Implementation, and Evaluation of Differentiated Caching Services, IEEE Transactions on Parallel and Distributed Systems Vol. 15, No. 5, pp. 440-452, May 2004.

  237. G. Wasson, N. Beekwilder, M. Morgan and M. Humphrey, OGSI.NET: OGSI-compliance on the .NET Framework, IEEE/ACM International Symposium on Cluster Computing and the Grid (ccGrid 2004), Chicago, Illinois, April 2004.

  238. K. Skadron, K. Sankaranarayanan, S. Velusamy, D. Tarjan, M. Stan and W. Huang, Temperature-Aware Microarchitecture: Modeling and Implementation, ACM Transactions on Architecture and Code Optimization (TACO), April 2004.

  239. A. Tavakoli, D. Chu and P. Reynolds, Richer Semantic Representations of Simulations Using DAML/OWL, Spring Simulation Interoperability Workshop, March 2004.

  240. J. Xu, H. Rajan and K. Sullivan, Aspect Reasoning by Reduction to Implicit Invocation, Workshop on Foundations of Aspect-Oriented Languages (FOAL), March 2004.

  241. R. Zhang, T. F. Abdelzaher and J. A. Stankovic, Efficient TCP Connection Failover in Web Server Clusters, IEEE Computer and Communications Societies, March 2004.

  242. T. Abdelzaher, B. Blum, Q. Cao, Y. Chen, D. Evans, J. George, L. Gu S. George, T. He, S. Krishnamurthy, L. Luo, S. Son, J. Stankovic, R. Stoleru and A. Wood, EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks, IEEE International Conference on Distributed Computing Systems (ICDCS), Tokyo, Japan, March 2004.

  243. T. Abdelzaher, V. Sharma and C. Lu, A Utilization Bound for Aperiodic Tasks and Priority Driven Scheduling, IEEE Transactions on Computers, Vol. 53, No. 3, March 2004.

  244. M. Humphrey and G. Wasson, WS-ResourceFramework on.NET, IEEE International Symposium on High Performance Distributed Computing, March 2004.

  245. Y. Li, D. Parikh, Y. Zhang, K. Sankaranarayanan, M. Stan and K. Skadron, Comparison of State-Preserving vs. Non-State-Preserving Leakage Control in Caches, Conference of Design, Automation and Test in Europe (DATE), February 2004.

  246. L. Hu and D. Evans, Using Directional Antennas to Prevent Wormhole Attacks, Network and Distributed System Security Symposium, February 2004.

  247. D. Parikh, Y. Zhang, K. Skadron and M. R. Stan, Power-Aware Branch Prediction: Characterization and Design, IEEE Transactions on Computers, February 2004.

  248. K. R. Hirst, Jr J. W. Haskins and K. Skadron, dMT: Inexpensive Throughput Enhancement in Small-Scale Embedded Microprocessors with Differential Multithreading, IEEE Computers and Digital Techniques, Vol. 151, pp. 43-50, January 2004.

  249. D. Chu, C.Song, B. Zhang and M. Humphrey, UVa Bus.NET: Enhancing User Experiences on Smart Devices through Context-Aware Computing, IEEE Consumer Communications and Networking Conference. Caesar's Palace, Las Vegas, Nevada USA, January 2004.

  250. T. Abdelzaher, J. Stankovic, S. Son, B. Blum, T. He, A. Wood and C. Lu, Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks, Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems, CRC Press, January 2004.

  251. W. Huang, M. R. Stan, K. Skadron, K. Sankaranarayanan, S. Ghosh and S. Velusamy, Compact Thermal Modeling for Temperature-Aware Design, Design Automation Conference, January 2004.

  252. K. Sankaranarayanan and K. Skadron, Profile-Based Adaptation for Cache Decay, ACM Transactions on Architecture and Code Optimization (TACO), January 2004.

  253. D. Evans and N. Paul, Election Security: Perception and Reality, IEEE Security and Privacy, January 2004.

  254. J. Hu and A. C. Weaver, Dynamic, Context-Aware Access Control for Distributed Healthcare Applications, Workshop on Pervasive Security, Privacy, and Trust (PSPT'04), Boston, MA, January 2004.

  255. A. Natrajan, M. Crowley, N. WilkinsDiehr, M. Humphrey, A. D. Fox, A. Grimshaw and C. L. Brooks III, Studying Protein Folding on the Grid: Experiences using CHARMM on NPACI Resources under Legion, Grid Computing Environments 2004, Concurrency and Computation: Practice and Experience, vol. 16, no. 4, pp. 386-397, January 2004.

  256. W. Si and C. Li, RMAC: a Reliable Multicast MAC Protocol for Wireless ad Hoc Networks, International Conference on Parallel Processing, January 2004.

  257. P. F. Reynolds, C. Milner and T. Highley, Scalable Personalized Learning, Frontiers in Education, January 2004.

  258. T. B. Horton, R. E. Anderson and C. W. Milner, Work in Progress-reexamining Closed Laboratories in Computer Science Courses, Frontiers in Education, January 2004.

  259. K. Skadron, M. R. Stan, W. Huang, K. Sankaranarayanan, Z. Lu and J. Lach, A Computer-architecture Approach to Thermal Management in Computer Systems: Opportunities and Challenges, International Conference on Thermal and Mechanical Simulation and Experiments in Microelectronics and Microsystems (EuroSimE 2004), January 2004.

  260. T. Abdelzaher, G. Thaker and P. Larideri, A Feasible Region for Meeting Aperiodic End-to-end Deadlines in Resource Pipelines, International Conference on Distributed Computing Systems, January 2004.

  261. Y. Wei, S. Son, J. Stankovic and K. Kang, QoS Management in Replicated Real-time Databases, IEEE Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico, December 2003.

  262. F. Ciucu, B. Mark and R. Simon, On Multiplexing Gain for Networks with Deterministic Delay Guarantees, Global Telecommunications Conference, December 2003.

  263. A. Wood, J. Stankovic and S. Son, JAM: A Jammed-Area Mapping Service for Sensor Networks, Real-Time Systems Symposium (RTSS), Cancun, Mexico, December 2003.

  264. M. Stan, K. Skadron, M. Barcella, W. Huang, K. Sankaranarayanan and S. Velusamy, HotSpot: A Dynamic Compact Thermal Model at the Processor-Architecture Level, Elsevier Microelectronics Journal of Circuits and Systems, December 2003.

  265. V. Sharma, A. Thomas, T. Abdelzaher, K. Skadron and Z. Lu, Power-aware QoS Management in Web Servers, Real-Time Systems Symposium, Cancun, Mexico, December 2003.

  266. K. Skadron, M. Stan, W. Huang, S. Velusamy, K. Sankaranarayanan and D. Tarjan, Temperature-Aware Computer Systems: Opportunities and Challenges, IEEE Micro, November 2003.

  267. X. Jin and J. C. French, Improving Image Retrieval Effectiveness via Multiple Queries, ACM International Workshop on Multimedia Databases, pp. 86-93, November 2003.

  268. T. Yang, T. He and J. Stankovic, Differentiated Surveillance for Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (SenSys 2003), November 2003.

  269. N. Williams, C. Hantak, K. Low, J. Thomas, K. Keller, L. Nyland, D. Luebke and A. Lastra, Monticello Through the Window, International Symposium on Virtual Reality, Archaeology and Intelligent Cultural Heritage (VAST 2003), Brighton, UK, November 2003.

  270. W. Greenwell, J.C. Knight and E. Strunk, Risk-Based Classification of Incidents, IRIA 03 Workshop on Investigation and Reporting of Incidents and Accidents, Williamsburg, VA, November 2003.

  271. S.Krishnamurthy, W. H. Sanders and M. Cukier, An Adaptive Quality of Service Aware Middleware for Replicated Services, IEEE Transactions on Parallel and Distributed Systems, November 2003.

  272. S. George, D. Evans and S. Marchette, A Biological Programming Model for Self-Healing, ACM Workshop on Survivable and Self-Regenerative Systems (SSRS), Fairfax, VA, October 2003.

  273. Q. Sun and J. Tang, A New Contrast Measure Based Image Enhancement Algorithm in the DCT Domain, IEEE International Conference on Systems, Man and Cybernetics, October 2003.

  274. R. Wang and D. Luebke, Efficient Reconstruction and Texture Mapping of Indoor Scenes, International Conference on 3-D Imaging and Modeling (3DIM 2003), October 2003.

  275. C. S. Helvig, G. Robins and A. Zelikovsky, The Moving-Target Traveling Salesman Problem, Journal of Algorithms, Vol. 49, No. 1, pp. 153-174. Final journal submission version, October 2003.

  276. G. Wasson, P. Sheth, M. Alwan, K. Granata, A. Ledoux and C. Huang, User Intent in a Shared Control Framework for Pedestrian Mobility Aids, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003), October 2003.

  277. A. L. Powell and J. C. French, Comparing the Performance of Collection Selection Algorithms, ACM Transactions on Information Systems (TOIS), October 2003.

  278. J. Lach, D. Evans, J. McCune, J. Brandon and L. Hu, Power-Efficient Adaptable Wireless Sensor Networks, Military and Aerospace Programmable Logic Devices (MAPLD) International Conference, Washington, DC, September 2003.

  279. T. He, C. Huang, B. Blum, J. Stankovic and T. Abdelzaher, Range-Free Localization Schemes for Large Scale Sensor Networks, Mobicom, September 2003.

  280. S. Waziruddin, D. Brogan and P. Reynolds, The Process for Coercing Simulations, Fall Simulation Interoperability Workshop, Orlando, FL, September 2003.

  281. K. Wasson, J. C. Knight, E. Strunk and S. Travis, Tools Supporting the Communication of Critical Application Domain Knowledge in High Consequence Systems Development, International Conference on Computer Safety, Reliability and Security, Edinburgh, Scotland, September 2003.

  282. J. Liebeherr, J. Wang and G. Zhang, Programming Overlay Networks with Overlay Sockets, COST 264 International Workshop on Networked Group Communications (NGC 2003), pp. 242–253, Munich, Germany, September 2003.

  283. H. Rajan and K. Sullivan, Eos: Instance-level Aspects for Integrated System Design, ACM SIGSOFT International Symposium on Foundations of Software Engineering, September 2003.

  284. A.C. Weaver, S.J. Dwyer III, A.M. Snyder, J. Van Dyke, James Hu, Xiaohui Chen, Timothy Mulholland and Andrew Marshall, Federated, Secure Trust Networks for Distributed Healthcare IT Services, IEEE International Conference on Industrial Informatics, Banff, Alberta, Canada, August 2003.

  285. A.M. Snyder and A.C. Weaver, The e-Logistics of Securing Distributed Medical Data, IEEE International Conference on Industrial Informatics, Banff, Alberta, Canada, August 2003.

  286. K. Skadron, M. Martonosi, D. August, M. D. Hill, D. J. Lilja and V. S. Pai, Challenges and Recommendations for Computer Architecture Evaluation, IEEE Computer, August 2003.

  287. J. Carnahan, P. Reynolds and D. Brogan, An Experiment in Simulation Coercion, Interservice / Industry Training, Simulation, and Education Conference (I/ITSEC), August 2003.

  288. K. Hanks and J. C. Knight, Improving Communication of Critical Domain Knowledge in High-Consequence Software Development: An Empirical Study, International System Safety Conference, Ottawa, Canada, August 2003.

  289. K. Skadron, M. Martonosi, D. I. August, M. D. Hill, D. J. Lilja and V. S. Pai, Challenges in Computer Architecture Evaluation, Computer, August 2003.

  290. J. C. French, J. V. S. Watson, X. Jin and W. Martin, An Exogenous Approach for Adding Multiple Image Representations to Content-Based Image Retrieval Systems, International Symposium on Signal Processing and its Applications (ISSPA03), pp. 201-204, Paris, France, July 2003.

  291. S. Li, Y. Lin, S. Son, J. Stankovic and Y. Wei, Event Detection Services Using Data Service Middleware in Distributed Sensor Networks, Journal of Telecommunication Systems, special issue on Wireless Sensor Networks, July 2003.

  292. N. Goodnight, C. Woolley, G. Lewin, D. Luebke and G. Humphreys, A Multigrid Solver for Boundary Value Problems Using Programmable Graphics Hardware, Graphics Hardware, San Diego, CA, July 2003.

  293. J. Cohen, D. Luebke, N. Duca and B. Schubert, GLOD: A Driver-Level Interface for Geometric Level of Detail, SIGGRAPH 2003 Technical Sketch, July 2003.

  294. E. Strunk and J.C. Knight, Functionality/Dependability Co-design in Real-Time Embedded Software, Workshop on Co-design for Embedded Real-time Systems (CERTS'03), Co-located with the Euromicro International Conference on Real-Time Systems, July 2003.

  295. J. A. Stankovic, T. E. Abdelzaher, C. Lu, L. Sha and J. C. Hou, Real-time Communication and Coordination in Embedded Sensor Networks, Proceedings of the IEEE, July 2003.

  296. T. Abdelzaher and V. Sharma, A Synthetic Utilization Bound for Aperiodic Tasks with Resource Requirements, Euromicro Conference on Real-Time Systems, Porto, Portugal, July 2003.

  297. G. Wasson and M. Humphrey, Toward Explicit Policy Management for Virtual Organizations, IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2003), June 2003.

  298. J.C. French, A. C. Chapin and W. N. Martin, Multiple Viewpoints: A Strategy for Searching Multimedia Content, Workshop on Multimedia Content in Digital Libraries, China, Crete, Greece, June 2003.

  299. T. Abdelzaher, J. Stankovic, C. Lu, R. Zhang and Y. Lu, Feedback Performance Control in Software Systems, IEEE Control Systems Magazine, June 2003.

  300. N. Goodnight, R. Wang, C. Woolley and G. Humphreys, Interactive Time-Dependent Tone Mapping Using Programmable Graphics Hardware, Eurographics Symposium on Rendering, June 2003.

  301. K. Skadron, M. Stan, W. Huang, S. Velusamy, K. Sankaranarayanan and D. Tarjan, Temperature Aware Microarchitecture, International Symposium on Computer Architecture, June 2003.

  302. J. Rowanhill and J.C. Knight, Selective Notification: Combining Forms of Decoupled Addressing for Internet-Scale Command and Alert Dissemination, Technical Report CS-2003-14, June 2003.

  303. Y. Lu, T. Abdelzaher and G. Tao, Direct Adaptive Control of a Web Cache System, American Control Conference Denver, CO, pp 1625-1630, June 2003.

  304. T. F. Abdelzaher, J. A. Stankovic, C. Lu, R. Zhang and Y. Lu, Feedback Performance Control in Software Services, IEEE Control Systems Magazine, June 2003.

  305. J.C. French, A. C. Chapin and W. N. Martin, An Application of Multiple Viewpoints to Content-Based Image Retrieval, Joint Conference on Digital Libraries (JCDL 2003), Houston, TX, pp. 128-130, May 2003.

  306. J.C. French, J. V. S. Watson, X. Jin and W. N. Martin, Integrating Multiple Multi-Channel CBIR Systems, Proc. International Workshop on Multimedia Information Systems (MIS 2003), Ischia, Italy, May 2003.

  307. T. F. Abdelzaher, K. G. Shin and N. Bhatti, User-level QoS-adaptive Resource Management in Server End-systems, IEEE Transactions on Computers, May 2003.

  308. J. Stankovic, R. Zhu, R. Poornalingam, C. Lu, Z. Yu, M. Humphrey and B. Ellis, VEST: An Aspect-Based Composition Tool for Real-Time Systems, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03), May 2003.

  309. R. Zhang, T. Abdelzaher and J. Stankovic, Kernel Support for Open QoS-Aware Computing, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'03), May 2003.

  310. B. Blum, P. Nagaraddi, A. Wood, T. Abdelzaher, S. Son and J. Stankovic, An Entity Maintenance and Connection Service for Sensor Networks, International Conference on Mobile Systems, Applications, and Services (MobiSys), San Francisco, CA, May 2003.

  311. T. Abdelzaher, J. Stankovic, S. Son, B. Blum, T. He, A. Wood and C. Lu, A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks, International Workshop on Data Distribution in Real-Time Systems (DDRTS at ICDCS), Providence, RI, May 2003.

  312. T. He, J. Stankovic, C. Lu and T. Abdelzaher, SPEED: A Stateless Protocol for Real-Time Communication in Sensor Networks, International Conference on Distributed Computing Systems (ICDCS'03), May 2003.

  313. J. Winstead and D. Evans, Towards Differential Program Analysis, Workshop on Dynamic Analysis, May 2003.

  314. Y. Lu, T. Abdelzaher, C. Lu, L. Sha and X. Liu, Feedback Control with Queueing-Theoretic Prediction for Relative Delay Guarantees in Web Servers, Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May 2003.

  315. Y. Lu, G. Tao and T. Abdelzaher, LDU Parametrized Discrete Time Multivariable MRAC and Application to a Web Cache System, IEEE Conference on Decision and Control, May 2003.

  316. D. Coppit and K. Sullivan, Technical Papers: Software Design: Sound Methods and Effective Tools for Engineering Modeling and Analysis, International Conference on Software Engineering (ICSE '03), May 2003.

  317. J. C. Knight, J. Hill, P. Varner, A. L. Wolf, D. Heimbigner and P. Devanbu, Willow System Demonstration, DARPA Information Survivability Conference and Exposition, April 2003.

  318. N. Paul, D. Evans, A. Rubin and D. Wallach, Authentication for Remote Voting, Workshop on Human-Computer Interaction and Security Systems, April 2003.

  319. K. D. Kang, S. Son and J. Stankovic, Differentiated Real-Time Data Services for E-Commerce Applications, Electronic Commerce Research, Kluwer, April 2003.

  320. Z. Lu, J. Lach, M.R. Stan and K. Skadron, Alloyed Branch History: Combining Global and Local Branch History for Robust Performance, International Journal on Parallel Programming, Kluwer, April 2003.

  321. N. Williams, D. Luebke, J. Cohen, M. Kelley and B. Schubert, Perceptually Guided Simplification of Lit, Textured Meshes, 2003 Symposium on Interactive 3D Graphics, Monterey, CA, April 2003.

  322. J. C. Woolley, A. Dayal, B. Watson and D. Luebke, Interruptible Rendering, 2003 Symposium on Interactive 3D Graphics, Monterey, CA, April 2003.

  323. W. Greenwell and J.C. Knight, What Should Aviation Safety Incidents Teach Us?, Technical Report CS-2003-12, University of Virginia, Department of Computer Science, April 2003.

  324. J. C. Knight, E. Strunk and K. J. Sullivan, Towards a Rigorous Definition of Information System Survivability, DISCEX, Washington, DC, April 2003.

  325. D. Larochelle, K. Scheidt, K. Sullivan, Y. Wei, J. Winstead and A. Wood, Join Point Encapsulation, Workshop on Software-engineering Properties of Languages for Aspect Technologies (SPLAT) at AOSD 2003, Boston, MA, March 2003.

  326. K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson and M. Soffa, Retargetable and Reconfigurable Software Dynamic Translation, International Symposium on Code Generation and Optimization, March 2003.

  327. A.S. Grimshaw, S. Natrajan, M. Humphrey, M.J. Lewis, A. Nguyen-Toung, J.F. Karpovich, M. Morgan and A.J. Ferrari, From Legion to Avaki: The Persistence of Vision, In Grid Computing: Making the Global Infrastructure a Reality, March 2003.

  328. L. Hu and D. Evans, Secure Aggregation for Wireless Networks, Workshop on Security and Assurance in Ad hoc Networks, January 2003.

  329. J. Lewis, J. Ferrari, A. Humphrey, F. Karpovich, M. Morgan, S. Wasson and A.S. Grimshaw, Support for Extensibility and Site Autonomy in the Legion Grid System Object Model, Journal of Parallel and Distributed Computing, Volume 63, pp. 525-38, January 2003.

  330. R. Wang and D. Luebke, Efficient Reconstruction of Indoor Scenes with Color, International Conference on 3-D Digital Imaging and Modeling (3DIM 2003), January 2003.

  331. D. T. Drewry, P. F. Reynolds and W. R. Emanuel, An Optimization-based Multi-resolution Simulation Methodology, Winter Simulation Conference, December 2002.

  332. K. Scott and J. Davidson, Safe Virtual Execution Using Software Dynamic Translation, Computer Security Applications Conference, December 2002.

  333. H. Huang, X. Wu and R. Relue, Association Analysis with One Scan of Databases, IEEE International Conference on Data Mining (ICDM '02) Maebashi TERRSA, Maebashi City, Japan, pp. 629-632, December 2002.

  334. K. Kang, S. H. Son and J. Stankovic, STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees, IEEE Real-Time Systems Symposium (RTSS'02), Austin, TX, December 2002.

  335. L. Sha, X. Liu, Y. Lu and T. Abdelzaher, Queuing Model Based Network Server Performance Control, Real-Time Systems Symposium, Austin, TX, December 2002.

  336. C. Li and E. W. Knightly, Coordinated Multihop Scheduling: a Framework for End-to-end Services, IEEE/ACM Transactions on Networking, December 2002.

  337. A. Weaver and S. Talbert, Real-Time Event Channel Performance on a Submarine Communications Network, IECON'02, Seville, Spain, November 2002.

  338. S. George, D. Evans and L. Davidson, A Biologically Inspired Programming Model for Self-Healing Systems, Workshop on Self-Healing Systems (WOSS'02), Charleston, SC, pp 102-104, November 2002.

  339. J.C. Knight and S.M. Parikh, Simulation technology for free flight system performance and survivability analysis, Digital Avionics Systems Conference, Irvine, CA, November 2002.

  340. A. Wood and J. Stankovic, Denial of Service in Sensor Networks, IEEE Computer, October 2002.

  341. K. Skadron et. al, HotSpot: Techniques for Modeling Thermal Effects at Processor Architecture Level, International Workshop on Thermal Investigation of ICs (THERMINIC), October 2002.

  342. J.C. French, A. L. Powell, F. Gey and N. Perelman, Exploiting Manual Indexing to Improve Collection Selection and Retrieval Effectiveness, Information Retrieval, vol. 5, no. 4, pp. 323-351, October 2002.

  343. J. Liebeherr, M. Nahas and W. Si, Application-layer Multicasting with Delaunay Triangulation Cverlays, IEEE Journal on Selected Areas in Communications, October 2002.

  344. C. Lu, B. Blum, T. Abdelzaher, J. Stankovic and T. He, RAP: A Real-Time Communication Architecture for Large-Scale Wireless Sensor Networks, Real-Time and Embedded Technology and Applications Symposium (RTAS), September 2002.

  345. P. Juang, P. Diodato, S. Kaxiras, K. Skadron, Z. Hu, M. Martonosi and D. W. Clark, Implementing Decay Techniques using Quasi-Static Memory Cells, Computer Architecture Letters, (www.comp-arch-letters.org), IEEE Computer Society Technical Committee on Computer Architecture, vol. 1, September 2002.

  346. J. Liebeherr and N. Christin, Rate Allocation and Buffer Management for Differentiated Services, Computer Networks, Special Issue on the New Internet Architecture, September 2002.

  347. T. Abdelzaher, B. Andersson, J. Jonsson, V. Sharma and M. Nguyen, The Aperiodic Multiprocessor Utilization Bound for Liquid Tasks, Real-Time Technology and Applications Symposium, San Jose, CA, September 2002.

  348. J. C. French, M. N. Martin and J. V. S. Watson, A Qualitative Examination of Content-based Image Retrieval Behavior using Systematically Modified Test Images, Midwest Symposium on Circuits and Systems (MWSCAS 2002), August 2002.

  349. N. Christin and J. Liebeherr, A Scalable Service Architecture Providing Strong Service Guarantees, SPIE ITCOM Workshop on Scalability and Traffic Control in IP networks II, pp. 31–42, Boston, August 2002.

  350. M. Humphrey, S. Arnold and G. Wasson, Location-Transparent Naming in Grid Computing using Legion-G, IEEE International Symposium on High Performance Distributed Computing (HPDC-11), Edinburgh, Scotland, July 2002.

  351. D. Brogan and Y. Loitiere, Data-Driven Generation of Simulated Soccer Behaviors, International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 1391-1392, July 2002.

  352. C. Lu, J. Stankovic, G. Tao and S. Son, Feedback Control Real-Time Scheduling: Framework, Modeling and Algorithms, Special issue of Real-Time Systems Journal on Control-Theoretic Approaches to Real-Time Computing, July 2002.

  353. R. Zhang, C. Lu, T. Abdelzaher and J. Stankovic, ControlWare: A Middleware Architecture for Feedback Control of Software Performance, International Conference on Distributed Computing Systems (ICDCS), July 2002.

  354. F. Ciucu, B. Mark and R. Simon, The Partially Stopped Leaky Bucket: An Efficient Traffic Regulator with Constant Time Implementation, International Symposium on Performance Evaluation of Computer and Telecommunication Systems, July 2002.

  355. A. Dayal, B. Watson and D. Luebke, Improving Frameless Rendering by Focusing on Change, SIGGRAPH 2002 Technical Sketch, July 2002.

  356. K. Hanks, J.C. Knight and C. Michael Holloway, The Role of Natural Language in Accident Investigation and Reporting Guidelines, 2002 Workshop on the Investigation and Reporting of Incidents and Accidents, Glasgow, Scotland, July 2002.

  357. Z. Lu, J. Hein, M. Stan, J. Lach and K. Skadron, Control-Theoretic Dynamic Frequency and Voltage Scaling, Workshop on Self-healing, Adaptive, and Self-managed Systems (SHAMAN'02), in conjunction with ICS 2002, NY, June 2002.

  358. K. Kang, S. H. Son, J. Stankovic and T. Abdelzaher, QoS Management in Web-based Real-Time Data Services, Euromicro Conference on Real-Time Systems, Vienna, Austria, June 2002.

  359. K. D. Kang, S. H. Son, J. Stankovic and T. Abdelzaher, A QoS-Sensitive Approach for Timeliness and Freshness Guarantees in Real-Time Databases, Euromicro Conference on Real-Time Systems (ECRTS-02), June 2002.

  360. K. Browne, J. McCune, A. Trost, D. Evans and D. Brogan, Behavior Combination and Swarm Programming, RoboCup International Symposium 2001, Lecture Notes in Artificial Intelligence, Springer-Verlag, pp. 499-502, June 2002.

  361. K. Hanks and J.C. Knight, In Search of Best Practices for the Use of Natural Language in the Development of High-Consequence Systems, International Conference of Dependable Systems and Networks, Bethesda, MD, June 2002.

  362. N. Christin, J. Liebeherr and T. Abdelzaher, A Quantitative Assured Forwarding Service, IEEE INFOCOM, pp. 864–873, NY, June 2002.

  363. C. W. Milner and J. W. Davidson, Quick Piping: A Fast, High-level Model For Describing Processor Pipelines, Joint Conference on Languages, Compilers and Tools for Embedded Systems: Software and Compilers for Embedded Systems (LCTES/SCOPES'02), June 2002.

  364. W. Zhao, B. Cai, D. Whalley, M. W. Bailey, R. Engelen, X. Yuan, J. D. Hiser, J. W. Davidson, K. Gallivan and D. L. Jones, VISTA: A System for Interactive Code Improvement, Joint Conference on Languages, Compilers and Tools for Embedded Systems: Software and Compilers for Embedded Systems (LCTES/SCOPES'02), June 2002.

  365. S. Velusamy, K. Sankaranarayanan, D. Parikh, T. Abdelzaher and K. Skadron, Adaptive Cache Decay using Formal Feedback Control, Workshop on Memory Performance Issues, May 2002.

  366. Y. Lu, T. Abdelzaher, C. Lu and G. Tao, An Adaptive Control Framework for QoS Guarantees and its Application to Differentiated Caching Services, IWQoS, Miami Beach, FL, May 2002.

  367. B. Clarke and M. Humphrey, Beyond the Device as Portal: Meeting the Requirements of Wireless and Mobile Devices in the Legion Grid Computing System, International Workshop on Parallel and Distributed Computing Issues in Wireless Networks and Mobile Computing (associated with IPDPS 2002), Ft. Lauderdale, April 2002.

  368. Y. Lepouchard, R. Orlandic and J. L. Pfaltz, Performance of KDB-trees with Query-based Splitting, International Conference on Information Technology: Coding and Computing, April 2002.

  369. K. Sullivan, L. Gu and Y. Cai, Non-modularity in Aspect-Oriented Languages: Integration as a Crosscutting Concern for AspectJ, International Conference on Aspect-Oriented Software Development (AOSD'02), pp. 19-27, April 2002.

  370. E. Raman, K. Sankaranarayanan, L. Chakrapani and R. Parthasarathi, A Scalable Reconfigurable Architecture For Divisibility Testing Of Variable Long Precision Numbers, IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM), April 2002.

  371. K. Kang, S. H. Son and J. Stankovic, Service Differentiation in Real-Time Main Memory Databases, IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'02), Washington, DC, April 2002.

  372. J. C. Knight, D. Heimbigner, A. Wolf, A. Carzaniga, J. Hill, P. Devanbu and M. Gertz, The Willow Architecture: Comprehensive Survivability for Large-Scale Distributed Applications, Intrusion Tolerance Workshop, DSN-2002 The International Conference on Dependable Systems and Networks, WA, April 2002.

  373. J. Wang, S. Patek, H. Wang and J. Liebeherr, Traffic Engineering with AIMD in MPLS Networks, International Workshop on Protocols For High-Speed Networks, (PfHSN'2002), Berlin, Germany, Springer Verlag, LNCS 2334, pp. 192–210, April 2002.

  374. K. Skadron, T. Abdelzaher and M. R. Stan, Control-theoretic Techniques and Thermal-RC Modeling for Accurate and Localized Dynamic Thermal Management, International Symposium on High-Performance Computer Architecture, February 2002.

  375. D. Parikh, K. Skadron, Y. Zhang, M. Barcella and M. R