Reeves, Douglas S. - Department of Computer Science, North Carolina State University

• Strategic Directions in Artificial Intelligence Massachusetts Institute of Technology, Laboratory for Computer Science, Cambridge, MA
• Reproduction of Technical Report MIT/LCS/TR604, Massachusetts Institute of Technology Laboratory for Computer Science, 545 Technology Square, Cambridge Massachusetts 02139. Copyright 1994 by Peter
• Reasoning about Complementary Intrusion Evidence Blind Review
• Specifying Privacy Policies with P3P and EPAL: Lessons Learned
• Automated Test Generation for Access Control Policies via Change-Impact Analysis
• Mining Rule Semantics to Understand Legislative Compliance Travis D. Breaux and Annie I. Antn
• A Distributed Requirements Management Framework for Compliance and Accountability
• Rethinking Wireless MAC Architecture for Quality of Service Support Design and Implementation
• Property Verification for Access Control Models via Model Checking1 Vincent C. Hu1
• An Algorithm to Generate Compliance Monitors from Regulations Travis D. Breaux and Annie I. Antn
• Reset reproduction of CMU Computer Science report CMU-CS-84-116. Censor-edited version published in AI Magazine, Vol. 5, No. 2, pp. 59-63 (1984), errata, Vol. 5, No. 4, p. 78 (1984). Reprinted July 1994. Reprinting
• Reset version of a manuscript submitted November 15, 1979 to ACM SIGMOD Record. Written November, 1979; reset March, 1996. Freely available via http://www.medg.lcs.mit.edu/doyle. Author's current address: Laboratory
• WINNOWING : Protecting P2P Systems Against Pollution By Cooperative Index Filtering
• Reset reproduction of article published in Computational Intelligence, Vol. 8, No. 2 (May 1992), pp. 376409. Written May 2, 1990, revised January 24, 1992. Reprinted July 1994. Reprinting c
• Reset reproduction of CMU Computer Science report CMUCS83125 (only pagination differs). Versions of 1982 and 1983 differ only slightly. Revised and abbreviated version published in Fundamenta Informaticae, V. 20, Nos.
• To appear in Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI2002), Edmonton, Alberta, Canada, July 28August 1, 2002.
• Reset reproduction of a Ph.D. thesis proposal submitted June 8, 1978 to the Massachusetts Institute of Technology Electrical Engineering and Computer Science Department. Reset in LaTeX by Jon Doyle, December 1995. c
• North Carolina State University Computer Science Technical Report # TR-2009-16 Submitted to IEEE Security & Privacy (July 29, 2009)
• Energy-efcient Route-aware MAC protocols for Diffusion-based Sensor Networks
• Fulp, Errin Wesley RESOURCE ALLOCATION AND PRICING FOR QOS MANAGEMENT IN
• Establishing Value Mappings Using Statistical Models and User Feedback
• Tractable XML Data Exchange via Relations Rada Chirkova #1
• Efficient Utility Functions for Ceteris Paribus Preferences Michael McGeachie
• Engineering Foreign Exchange Processes via Commitment Protocols Nirmit Desai
• On Guiding the Augmentation of an Automated Test Suite via Mutation Mutation testing has traditionally been used as a defect injection technique to assess the effectiveness of a test
• Reprinted from Working Notes of the AAAI Spring Symposium on DecisionTheoretic Planning, March, 1994, Steve Hanks, Stuart Russell, and Michael Wellman, editors.
• Reset reproduction of a response written December 7, 1978, to the BrachmanSmith Knowledge Representation Survey, appearing in ACM SIGART Newsletter, No. 70 (February 1980), p. 41, references on p. 12. Reset in LaTeX
• On Widening the Scope of Attack Recognition Languages
• Reset reproduction of CMU Computer Science report CMUCS83114. Published in AI Magazine, Vol. 3, No. 2, pp. 3943. Reprinted July 1994. Reprinting c
• Manuscript circulated privately since 1982 Written September 19, 1982; reset May, 1994 What is Church's Thesis? An Outline
• A Study of Static Analysis for Fault Detection in Software Jiang Zheng1
• EPRAM: Evolutionary Prototyping Risk Analysis & Mitigation (e-Commerce Software Development Process Document)
• Group-Based Key Pre-Distribution in Wireless Sensor Networks
• Protection Poker: Structuring Software Security Risk Assessment and Knowledge Transfer
• North Carolina State University Technical Report TR-2007-07 The Role of Law in Requirements Engineering
• View and Index Selection for Query-Performance Improvement: Algorithms, Heuristics and Complexity
• Reset reproduction of CMU Computer Science report CMUCS88111. Reprinted July 1994. Reprinting c
• Reset reproduction of CMU Computer Science report CMUCS82149 (only pagination differs). Revised ver sion published in Philosophy and AI: Essays at the Interface (Robert Cummins and John Pollock, eds., 1991),
• Cato, Gavin Richard. Partitioning and Scheduling DSP Algorithms for Parallel Execution Using the Order Graph Method. (Under the direction of Dr. Douglas S.
• Fundamenta Informaticae V. 20, Nos. 1--3 (Spring 1994), pp. 35--73 Submitted 11/93 Reasoned Assumptions and Rational Psychology
• Reset version of an essay published in Philosophy and AI: Essays at the Interface (Robert Cum-mins and John Pollock, eds., 1991), pp. 39-77, itself a revision of CMU Computer Science report
• Minimizing Execution Time in MPI Programs on an Energy-Constrained, Power-Scalable Cluster
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• The following is copyrighted by Wes Snyder, 2003 Used with permission
• AnalyzingAnalyzing Intensive Intrusion AlertsIntensive Intrusion Alerts
• Reset reproduction of preprint distributed at the Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, California, June 1990. Reprinted July 1994. Reprinting c Copyright 1990, 1994 by Jon Doyle.
• RAO, RANJANA. Integration of On-Demand Service and Route Discovery in Mobile Ad Hoc Networks. (Under the direction of Dr. Douglas Reeves).
• Engineering Models of Human Performance, 11/29/2006, 2:44 PM, Page 1 of 1 1 Abstract--This research surveys engineering models of human performance and how they can
• Certificate Recommendations to Improve the Robustness of Webs of Trust
• A Survey of Preference Elicitation Technical Report TR-2005-41
• ADHIKARI, AKSHAY A. Voice over IP Performance Diagnosis(Under the direction of Professor Douglas S. Reeves ).
• Phase-Type Distributions in Stochastic Automata Networks I. Sbeity(1)
• Preprint of an article to appear in AI Magazine, V. 20, No. 1 (Spring 1999). Sub mitted January 29, 1999. c
• Reset reproduction of article published in Belief Revision (P. Gardenfors, ed.), Cambridge: Cambridge University Press, 1992, pp. 29--51. Reprinted July 1994. Reprinting c
• Reset reproduction of CMU Computer Science report CMUCS83160. Published in AI Magazine, Vol. 4, No. 4, pp. 3335 and 31 (1983). Reprinted July 1994. Reprinting c
• Retrofitting Unit Tests for Parameterized Unit Madhuri R. Marri, Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
• Predictive Models for Identifying Software Components Prone to Failure During Security Attacks
• Commitment-Based SOA Munindar P. Singh, Amit K. Chopra, and Nirmit Desai
• Aggregate Query Answering on Anonymized Tables Nick Koudas
• Reset reproduction of article published in Computational Intelligence, Vol. 8, No. 2 (May 1992), pp. 376-409. Written May 2, 1990, revised January 24, 1992. Reprinted July 1994. Reprinting c
• Derr Track Storage Bldg Sigma Alpha
• ROUTING AND END-TO-END QUALITY OF SERVICE IN MULTIMEDIA NETWORKS
• NCSU CSC TR 200720 submitted to SIGCSE Bulletin 7/30/07 Lessons Learned from Seven Years of Pair Programming at
• Link Dimensioning and LSP Optimization for MPLS Networks Supporting DiffServ EF and BE traffic classes
• Determining the Minimum Energy Consumption using Dynamic Voltage and Frequency Scaling
• Some Super-Classics of Artificial Intelligence?
• Reset reproduction of a guest editorial in AI Magazine, Vol. 9, No. 1 (Spring 1988), pp. 1922. Reprinted July 1994. Reprinting c Copyright 1987, 1988, 1994 by Jon Doyle. Current address
• Systematic Exploration of Efficient Query Plans For Automated Database Restructuring
• North Carolina State University Department of Computer Science Technical Report TR-2010-20
• Security and Privacy Requirements Analysis Tool Software Requirements Specification
• Locally Invertible m-Dimensional Convolutional Codes
• Typeset and lightly edited version of a manuscript draft privately circulated following its delivery in a 1981 lecture at Carnegie Mellon University. Manuscript written October 24, 1981; partially typeset November 4, 1981; typesetting
• Reprinted from Technical Papers of the ARPA Planning Initiative Workshop, Tucson, AZ, February, 1994. A Reasoning Economy for Planning and Replanning
• Software Metrics Validation Criteria: A Systematic Literature Review
• Strategies for Developing Policies and Requirements for Secure Electronic Commerce Systems
• Peer Interaction Effectively, yet Infrequently, Enables Programmers to Discover New Tools
• Evaluating a Suite of Developer Activity Metrics as Measures of Security Vulnerabilities
• The FootFall Project "Tracing Attacks Through Non-Cooperative Networks and
• Trustworthy Service Selection and Composition Chung-Wei Hang and Munindar P. Singh
• Reset reproduction of CMU Computer Science report CMU-CS-88-122. Reprinted July 1994. Reprinting c Copyright 1988, 1994 by Jon Doyle. Current address: MIT Laboratory for Computer
• Reset reproduction of MIT AI Lab TR581 Dissertation submitted May 12, 1980 A Model for Deliberation,
• Analyzing Intensive Intrusion Alerts Via Correlation Peng Ning, Yun Cui, and Douglas S. Reeves
• Dynamic Traffic Grooming: The Changing Role of Traffic Grooming
• Utility Functions for Ceteris Paribus Preferences Michael McGeachie
• Trust via Evidence Combination: A Mathematical Approach Based on Certainty
• North Carolina State University Computer Science Technical Report # TR-2011-4
• A Study of a Formal Model For View Selection for Aggregate Queries
• ReFormat: Automatic Reverse Engineering of Encrypted Messages Zhi Wang, Xuxian Jiang Weidong Cui Xinyuan Wang
• Scenario Networks: A Case Study of the Enhanced Messaging System
• Reprinted from the Working Notes of the Symposium on AI and Limited Rationality, March 28--30, 1989, pp. 18--22, American Association for Artificial Intelligence Spring Symposium Series, Stanford University, California.
• Reset reproduction of 1986 CMU Computer Science lecture notes for 15.780. Reprinted July 1994. Reprinting c
• Certificate Recommendations to Improve the Robustness of Web of Trust #
• Reset reproduction of preprint distributed at the Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, California, June 1990. Reprinted July 1994. Reprinting c
• Some SuperClassics of Artificial Intelligence?
• Reset reprinting of an article published in Notices of the American Mathematical Society, 18:723-725, 1971. Reset 1995 with minor corrections by Jon Doyle (doyle@csc.ncsu.edu). This work was supported by the Atomic Energy Commission.
• Approximate Rewriting of Queries Using Views Foto Afrati1
• An Approach to Reviewing Software in Medical Devices Raoul Jetley S. Purushothaman Iyer
• Safe Overprovisioning: Using Power Limits to Increase Aggregate Throughput
• Controlling Impact while Aggressively Scavenging Idle Resources Vincent W. Freeh
• KHAN, KHURRAM MATIN. COPS Usage for Managing Media Authorization (Under the direction of Dr Douglas Reeves)
• Reset reproduction of a 1975 paper presented Saturday, October 25, 1975 at the 727th Meet-ing of the American Mathematical Society, held at the Massachusetts Institute of Technology
• Reset reproduction of CMU Computer Science report CMUCS88122. Reprinted July 1994. Reprinting c
• Reset reproduction of CMU Computer Science report CMUCS85121. Published in IJCAI85, pp. 8790 (1985). Reprinted July 1994. Reprinting c
• To appear in Proceedings of the Second DARPA Information Survivability Conference and Exposition (DISCEXII), June 1214, 2001, Anaheim, California. c
• Draft of an article to appear in The MIT Encyclopedia of the Cognitive Sciences (Rob Wilson and Frank Kiel, editors), Cambridge, Massachusetts: MIT Press,
• Reset reproduction of CMU Computer Science report CMUCS84116. Censoredited version published in AI Magazine, Vol. 5, No. 2, pp. 5963 (1984), errata, Vol. 5, No. 4, p. 78 (1984). Reprinted July 1994. Reprinting
• Draft of an article to appear in The MIT Encyclopedia of the Cognitive Sciences (Rob Wilson and Frank Kiel, editors), Cambridge, Massachusetts: MIT Press,
• Information about Queries Obtained by a Set of Views Foto Afrati
• Manuscript circulated privately since 1982. Written September 19, 1982; reset May, 1994. c 1982, 1994 by Jon Doyle. All rights reserved.
• Test Generation via Dynamic Symbolic Execution for Mutation Testing
• Pallino: Automation to Support Regression Test Selection for COTS-based Applications
• Active Trust Management Autonomous Adaptive Survivable Systems
• Position statement prepared for AAAI in conjunction with AAAI report to NSF on the Information Infra structure Technology and Applications. Written July 6, 1994; revised August 22 and September 27, 1994
• Reset reproduction of article published in Computational Intelligence, Vol. 3, No. 3 (August 1987), pp. 175176. Written August 28, 1986. Reprinted July 1994. Reprinting c
• GoalBased Requirements Analysis Annie I. Ant'on
• Semantic Parameterization: A Process for Modeling Domain Descriptions
• Data Models for Exploratory Analysis of Heterogeneous Microarray Data
• Interest-Matching Comparisons Using CP-nets Andrew W. Wicker and Jon Doyle
• A Two-stage Stochastic View Selection Problem in Database Management Systems
• Capacity Planning of DiffServ Networks with Best-Effort and Expedited Forwarding Traffic
• Position statement prepared for AAAI in conjunction with AAAI report to NSF on the Information Infra-structure Technology and Applications. Written July 6, 1994; revised August 22 and September 27, 1994
• Reset reproduction of article published in Proc. Second International Conf. on Principles of Knowledge Representation and Reasoning (KR'91), pp. 163--174. Reprinted July 1994. Reprinting c
• An Integrated Scenario Management Strategy Thomas A. Alspaugh, Annie I. Anton, Tiffany Barnes and Bradford W. Mott
• SECOND IEEE-SMC INFORMATION ASSURANCE WORKSHOP, WEST POINT, NEW YORK, JUNE 5-6, 2001 1 Event Recognition Beyond Signature and Anomaly
• Exploring Extreme Programming in Context: An Industrial Case Study Lucas Layman1
• Storage-Efficient Stateless Group Key Revocation Pan Wang, Peng Ning, and Douglas S Reeves
• Analyzing Policy Commitments for Privacy and Security Requirements
• Randomized Dining Philosophers to TDMA Scheduling in Wireless Sensor Networks
• Reprinted from Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), July, 1991, pp. 698703. Preferential Semantics for Goals
• A Survey of Tool Use and Analysis of its Implications for the Design of Robotic Tool Lloyd Williams
• North Carolina State University Department of Computer Science Technical Report TR-2010-20
• NEGWeb: Detecting Neglected Conditions via Mining Programming Rules from Open Source Code
• NORTH CAROLINA STATE UNIVERSITY CSC TECHNICAL REPORT #TR-2010-3 A Refined Production Rule Model
• Bandwidth Provisioning and Pricing for Networks with Multiple Classes of Service
• NCSU Technical Report: TR-2010-22 Triage for Legal Requirements
• Self-Stabilizing Structured Ring Topology P2P Systems Ayman Shaker and Douglas S. Reeves
• Reset reproduction of CMU Computer Science report CMUCS83126. Published in IJCAI'83, pp. 349--351. Reprinted July 1994. Reprinting c
• Fast Matching for All Pairs Similarity Search Amit Awekar and Nagiza Samatova
• Noname manuscript No. (will be inserted by the editor)
• Editorial: Strategic Directions in Computing Research PETER WEGNER
• Reset reproduction of CMU Computer Science report CMU-CS-83-106. Abbreviated version published in AI Mag-azine, V. 4, No. 3 (1983), pp. 5053. Reprinted July 1994. Reprinting c Copyright 1982, 1983, 1994 by Jon Doyle.
• Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model
• Rational Unified Process Evaluation Framework Version 1.0 William Krebs1
• Typeset and lightly edited version of a manuscript draft privately circulated following its delivery in a 1981 lecture at Carnegie Mellon University. Manuscript written October 24, 1981; partially typeset November 4, 1981; typesetting
• Reprinted from Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Ini tiative (Austin Tate, editor), Menlo Park, California: AAAI Press, 1996, pp. 130135.
• Reprinted from Proceedings of the First International Conference on Artificial Intelligence Planning Systems (AIPS92), June, 1992, pp. 236--242.
• Reset reproduction of article published in Artificial Intelligence, Vol. 49, Nos. 1--3 (May 1991), pp. 97--128. Reprinted July 1994. Reprinting c
• Reset reproduction of a guest editorial in AI Magazine, Vol. 9, No. 1 (Spring 1988), pp. 19--22. Reprinted July 1994. Reprinting c
• SALAMA, HUSSEIN FAROUK. Multicast Routing for Real-Time Communication on High-Speed Networks. Under the direction of Yannis Viniotis and Douglas S.
• Reset reproduction of article published in Computational Intelligence, Vol. 7, No. 1 (February 1991), pp. 1--10. Reprinted July 1994. Reprinting c
• Alexandre, Sean Thomas. A Programmable Simulator for the Block Dataflow Architecture. (Under the direction of Dr. Douglas S. Reeves.)
• Reputation Dynamics and Convergence: A Basis for Evaluating Reputation Systems
• The ChoicePoint Dilemma: How Data Brokers Should Handle the Privacy of Personal Information
• Reprinted from Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, Novem-ber, 1990, Katia P. Sycara, editor, San Mateo: Morgan Kaufmann Publishers, pp. 28-36.
• Tool-based direct manipulation environments Thomas E. Hortona
• Explicit Proactive Handoff with Motion Prediction for Mobile IP
• Processor and Data Scheduling for Online Parallel Sequence Database Servers
• Challenges for Protecting the Privacy of Health Information: Required Certification Can Leave Common
• Towards the Prioritization of System Test Cases Hema Srikanth1
• Does Adding Manpower Also Affect Quality? An Empirical, Longitudinal Analysis
• Tool Use for Autonomous Agents The intelligent use of tools is a general and important
• Constructing a Balanced, (log(N)/loglog(N))-Diameter Super-Peer Topology for Scalable P2P Systems
• Dept. of ECE Explicit Proactive Handoff with Motion
• Replica Placement Algorithms with Latency Constraints in Content Distribution Networks
• Link Dimensioning and LSP Optimization
• The Economic Impact of Network Pricing Errin W. Fulp1
• Flow Aggregation based Lagrangian Relaxation with Applications to Capacity Planning of IP Networks with Multiple Classes of Service
• Cato, Gavin Richard. Partitioning and Scheduling DSP Algorithms for Parallel Execution Using the Order Graph Method. (Under the direction of Dr. Douglas S.
• ACHARYA, MITHUN PUTHIGE. NAMO NAMAHA: N ConstructioN
• THANGAVELU, KRITHIGA. Maximizing Service Coverage of Adaptive Services in Wireless Mo-bile Ad-Hoc Networks using Non-Clustering Approach. (Under the direction of Douglas S. Reeves).
• MAHADIK, VINAY ASHOK. Detection of Denial of QoS Attacks on DiffServ Networks. (Under the direction of Dr. Douglas S. Reeves.)
• Computational Applied Logic Tentative Syllabus
• Westchase Blvd. Trinity Rd.
• COMPUTER SCIENCE RESEARCH PROJECTS 2004
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• Automated Testing of Cloud Applications Linghao Zhang, Tao Xie, Nikolai Tillmann,
• Synthetic Datasets Rong Huang, Rada Chirkova, Yahya Fathi
• Automated Extraction and Validation of Security Policies from Natural-Language Documents
• Systematizing Security Test Planning Using Functional Requirements Phrases
• Management of SOA based context-aware applications hosted in a distributed cloud subject to percentile constraints
• Combinatorial Graph Creation and Navigation for Blind People
• High-Contrast Algorithm Behavior: Observation, Conjecture, and Experimental Design
• Bottleneck Crossing Minimization in Layered Matthias F. Stallmann and Saurabh Gupta
• Governance in Sociotechnical Systems: Addressing Stakeholder Concerns In-Band
• Issue Analysis for Residual Structural Coverage in Dynamic Symbolic Execution
• Can Fault Prediction Models and Metrics be Used for Vulnerability Prediction? Yonghee Shin and Laurie Williams
• Online request scheduling subject to a percentile response time SLA in a distributed cloud
• DKSM: Subverting Virtual Machine Introspection for Fun and Profit Sina Bahram, Xuxian Jiang, Zhi Wang, Mike Grace, Jinku Li
• Evidence-Based Trust A Mathematical Model Geared for Multiagent Systems
• Commitment Alignment as a Basis for Interoperability in Service Engagements
• > REPLACE THIS LINE WITH YOUR PAPER IDENTIFICATION NUMBER (DOUBLE-CLICK HERE TO Abstract--Security inspection and testing requires experts in security who think like an attacker. Security experts need
• Improving Automation in Developer Testing: State of the Practice Department of Computer Science, North Carolina State University, Raleigh, NC 27695, USA
• Predicting Attack-prone Components Michael Gegick, 2
• Operators for Propagating Trust and their Evaluation in Social Networks
• Equivalence of SQL Queries In Presence of Embedded Dependencies
• Reliability and Security Analysis of Open Source Software Prasanth Anbalagan1
• Plan-based View and Index Selection for Query-Performance Improvement
• Matrix depictions for large layered graphs Benjamin Watson, Senior Member, IEEE, David Brink, Matthias Stallmann,
• DiffQ: Differential Backlog Congestion Control for Wireless Multi-hop Networks
• Amoeba: A Methodology for Modeling and Evolution of Cross-Organizational Business Processes
• On Establishing a Benchmark for Evaluating Static Analysis Alert Prioritization and Classification Techniques
• Visualizing very large layered graphs with quilts Benjamin Watson, David Brink, Matthias Stallman, Ravi Devajaran, Theresa-Marie Rhyne and Himesh Patel
• Predicting Attack-prone Components with Internal Metrics Michael Gegick1
• Identifying Vulnerabilities and Critical Requirements Using Criminal Court Proceedings
• North Carolina University Computer Science Technical Report TR-2008-05 Legal Requirements, Compliance and Practice
• NCSU CSC TR 2008-4 1 Abstract--Since 2002, over half of reported cyber vulnerabilities are caused by input validation vulnerabilities . Over
• Static Detection of API Error-Handling Bugs via Mining Source Code
• SpotWeb: Characterizing Framework API Usages Through a Code Search Engine
• Procedural Modeling of Urban Land Use Tom Lechner1
• Exact and Inexact Methods for Selecting Views and Indexes for OLAP Performance Improvement
• Pay-As-You-Go Information Integration: The Semantic Model Approach
• Exact and Inexact Methods for Solving the Problem Of View Selection for Aggregate Queries
• North Carolina State University Computer Science Technical Report TR-2007-26 Managing Ambiguity and Traceability in Regulatory Requirements
• Assessing Quality of Policy Properties in Verification of Access Control Policies
• Seluge: Secure and DoS-Resistant Code Dissemination in Wireless Sensor Networks
• REVISITING THE DEFINITION OF ANIMAL TOOL USE ST. AMANT & HORTON: ANIMAL TOOL USE
• High-Contrast Algorithm Behavior: Observation, Conjecture, and Experimental Design
• Empirical Software Change Impact Analysis using Singular Value Decomposition Mark Sherriff1,2
• North Carolina State University Computer Science Technical Report TR-2007-6 Impalpable Constraints: Framing Requirements for Formal Methods
• Scaling and Packing on a Chip Multiprocessor Vincent W. Freeh
• Toward Reducing Fault Fix Time: Understanding Developer Behavior for the Design of Automated Fault Detection Tools, the Full Report
• Towards a Computational Model of Image Schema Embodied rationality has received increasing attention in artificial
• Deriving Performance Requirements and Test Cases with the Performance Refinement and Evolution Model (PREM)
• Acquiring Software Compliance Artifacts from Policies and Regulations Travis D. Breaux and Annie I. Antn
• On the Modeling and Analysis of Obligations Keith Irwin
• Efficient SKYCUBE Computation using Bitmaps derived from Indexes
• Automated Mutation Testing of Access Control Policies Evan Martin
• Concurrency control in distributed caching Kashinath Dev Rada Y. Chirkova
• Query Evaluation using Overlapping Views: Completeness and Efficiency
• NCSU CSC Technical Report 2006-4 Launching Automated Security Attacks through Unit-level
• Enforceability vs. Accountability in Electronic Policies Travis D. Breaux and Annie I. Antn
• A Framework for Identifying Compromised Nodes in Sensor Networks
• Integrating Access Control Policy Specification into the Software Development Process
• Identifying Value Mappings for Data Integration: An Unsupervised Approach
• Boosting Data Center Performance Through Non-Uniform Power Allocation
• Requirements for a Policy-Enforceable Agent Architecture
• Corresponding author: Tel: +1-919-513-5082 E-mail addresses: lmlayma2@ncsu.edu (Lucas Layman), williams@csc.ncsu.edu (Laurie Williams), DanielaD@cs.uvic.ca (Daniela
• Active Timing-Based Correlation of Perturbed Traffic Flows with Chaff Packets Pai Peng, Peng Ning, Douglas S. Reeves
• Requirements-based Access Control Analysis and Policy Specification (ReCAPS)
• On the Effectiveness of Static Analysis Tools for Fault-Detection Jiang Zheng1
• Feedback EDF Scheduling Exploiting Hardware-Assisted Asynchronous Dynamic Voltage Scaling
• Processes = Protocols + Policies A Methodology for Business Process Development
• VOICES OF WOMEN IN A SOFTWARE ENGINEERING COURSE: REFLECTIONS ON COLLABORATION
• Capacity Planning of Survivable MPLS Networks Supporting DiffServ Kehang Wu and Douglas S. Reeves
• Deriving Access Control Policies from Requirements Specifications and Database Designs
• NCSU CSC Technical Report 2004-23 Motivations and Measurements in an Agile Case Study
• NCSU CSC Technical Report 2004-20 Examining the Impact of Pair Programming
• NCSU Computer Science TR-2004-18 1 Extreme Programming Evaluation Framework for Object-Oriented Languages
• Extreme Programming Evaluation Framework for Object-Oriented Languages Version 1.3
• Directional p-Median in Two Dimensions is NP-Complete Laura E. Jackson Matthias F. Stallmann
• Detailed Cache Coherence Characterization for OpenMP Benchmarks Anita Nagarajan, Jaydeep Marathe, Frank Mueller
• Initial Results of Using In-Process Testing Metrics to Estimate Software Reliability
• Exploring the Use of a "Safe Subset" of Extreme Programming: An Industrial Case Study
• Toward a Framework for Evaluating Extreme Programming Laurie Williams1
• Extreme Programming Evaluation Framework for Object-Oriented Languages --Version 1.2
• Revised 7/09 REQUEST TO SUPPRESS DIRECTORY INFORMATION
• NC STATE Holidays 2009-2011 UNIVERSITY OFFICIAL HOLIDAYS/CLOSINGS
• TTeemmppoorraarryy EEmmppllooyymmeenntt AAuutthhoorriizzaattiioonn FFoorrmm
• North Carolina State University The Graduate School
• Electronic Thesis & Dissertation (ETD) Guide
• Derr Track Storage Bldg Sigma Alpha
• R E SUL T SR E S E A R C H A N D G R A D U A T E S T U D I E S A T N O R T H C A R O L I N A S T A T E U N I V E R S I T Y Volume V, Number 1
• Reset reproduction of a master's thesis proposal submitted November 2, 1976 to the Massachusetts Institute of Technology Electrical Engineering Department, reprinted November 16, 1976 as MIT Artificial Intelligence Laboratory Working Paper 133. Reset in L
• Reset reproduction of MIT AI Lab TR-581 Dissertation submitted May 12, 1980 A Model for Deliberation,
• Unpublished manuscript Written and typeset September 25, 1981; reset September 6, 1996 Non-Monotonic Logic and System G1
• Reset reproduction of CMU Computer Science report CMU-CS-82-149 (only fonts and pagination differs). Revised version published in Philosophy and AI: Essays at the Interface (Robert Cummins and John Pollock, eds., 1991), pp. 39-77.
• Reset reproduction of CMU Computer Science report CMU-CS-83-124. Revised version published in IEEE Com-puter, Vol. 16, No. 10, pp. 119123. Reprinted July 1994. Reprinting c Copyright 1983, 1994 by Jon Doyle.
• Reset reproduction of CMU Computer Science report CMU-CS-83-125 (only fonts and pagination differ). Versions of 1982 and 1983 differ only slightly. Revised and abbreviated version published in Fundamenta Informaticae, V. 20, Nos. 13 (1994), pp.
• Reset reproduction of CMU Computer Science report CMU-CS-83-127. Published in IJCAI'83, pp. 309314. Reprinted July 1994. Reprinting c Copyright 1983, 1994 by Jon Doyle. Current address: MIT Laboratory for
• Reset reproduction of CMU Computer Science report CMU-CS-83-114. Published in AI Magazine, Vol. 3, No. 2, pp. 39-43. Reprinted July 1994. Reprinting c Copyright 1983, 1994 by Jon Doyle. Current address: MIT
• Reset reproduction of an article published in Journal of Automated Reasoning, Vol. 1, pp. 391405 (1985). Reprinted July 1994. Reprinting c Copyright 1984, 1985, 1994 by Jon Doyle. Current address: MIT Laboratory for Com-
• Reset reproduction of CMU Computer Science report CMU-CS-85-121. Published in IJCAI-85, pp. 87-90 (1985). Reprinted July 1994. Reprinting c Copyright 1984, 1985, 1994 by Jon Doyle. Current address: MIT Laboratory
• Reset reproduction of 1986 CMU Computer Science lecture notes for 15.780. Reprinted July 1994. Reprinting c Copyright 1986, 1994 by Jon Doyle. Current address: MIT Laboratory for Computer
• Reset reproduction of CMU Computer Science report CMU-CS-88-123. Reprinted July 1994. Reprinting c Copyright 1988, 1994 by Jon Doyle. Current address: MIT Laboratory for Computer
• Reprinted from the Working Notes of the Symposium on AI and Limited Rationality, March 2830, 1989, pp. 1822, American Association for Artificial Intelligence Spring Symposium Series, Stanford University, California.
• Reset reproduction of article published in Proc. Second International Conf. on Principles of Knowledge Representation and Reasoning (KR'91), pp. 163174. Reprinted July 1994. Reprinting c Copyright 1991, 1994 by Jon Doyle.
• Reset reproduction of article published in Artificial Intelligence, Vol. 49, Nos. 13 (May 1991), pp. 97128. Reprinted July 1994. Reprinting c Copyright 1989, 1990, 1991, 1994 by Jon Doyle.
• Reprinted from Proceedings of the Sixth International Symposium on Methodologies for In-telligent Systems (ISMIS'91), October, 1991, Z. W. Ras and M. Zemankova, editors, Berlin
• Reset reproduction of two articles published in Computational Intelligence, Vol. 8, No. 2 (May 1992): Prolegomena to any future qualitative physics, pp. 187{209, and Epilegomenon, pp. 326{335.
• Reprinted from Working Notes of the AAAI Spring Symposium on Decision-Theoretic Planning, March, 1994, Steve Hanks, Stuart Russell, and Michael Wellman, editors.
• Reset reproduction of an article appearing in Fundamenta Informaticae Vol. 20, No. 13 (Spring 1994), pp. 35-73. Resetting corrects one error and changes fonts and pagination. Resetting prepared from submission of November, 1993. Submission and correction
• Fundamenta Informaticae V. 20, Nos. 13 (Spring 1994), pp. 3573 Submitted 11/93 Reasoned Assumptions and Rational Psychology
• Reprinted from Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Ini-tiative (Austin Tate, editor), Menlo Park, California: AAAI Press, 1996, pp. 130-135.
• Adaptive Knowledge-Based Monitoring for Information Assurance
• s This article provides an overview of the field of qualitative decision theory: its motivating tasks
• The Architecture of MAITA A Tool For Monitoring, Analysis, and Interpretation
• Matter, Mind and Mechanics New models for dynamogenesis and rationality
• To appear in Proceedings of SPIE AeroSense 2003 Conference (System Diagnosis and Prognosis: Security and Condition Monitoring Issues III) 21 April 2003, Orlando, Florida, USA, Proceedings of SPIE Vol. 5107. Copyright 2003 by the authors.
• Comparing Preferences Expressed by CP-networks (Extended Abstract)
• To appear in the 2008 AAAI Fall Symposium on Naturally-Inspired AI, Arlington, Virginia, USA. 1 Cognitive Mechanics: Natural Intelligence Beyond Biology and Computation
• Reset reprinting of a widely circulated Sandia Laboratory Technical Memorandum. Cited in Philip J. Davis and Reuben Hersh, The Mathematical Experience, Boston: Birkhauser, 1981. Reset 1995 with minor corrections by Jon Doyle (doyle@csc.ncsu.edu).
• Reset reprinting of Sandia Laboratory Research Report SC-RR-71-0455, July 1971. See also the summarized version appear-ing in Notices of the American Mathematical Society, 18:723-725, 1971. Reset 1995 with minor corrections by Jon Doyle
• Previous Up Next Article From References: 2
• An Integrated Scenario Management Strategy Thomas A. Alspaugh, Annie I. Anton, Tiffany Barnes and Bradford W. Mott
• Abstract: Systems are useful to the extent that the potential benefit they provide customers outweigh the responsibility
• A Web-Based Requirements Analysis Tool Annie I. Ant on
• A Multidisciplinary Electronic Commerce Project Studio for Secure Systems
• Abstract--Privacy has recently become a prominent issue in the context of electronic commerce Web sites. Increasingly, privacy policies posted on such Web sites are receiving considerable attention from
• www.ncsu.edu/BulletinOnline/ News for the North Carolina State University Community
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• SQLUnitGen: Test Case Generation for SQL Injection Yonghee Shin, Laurie Williams, Tao Xie
• Computational Applied Logic Tentative Syllabus (it will change)
• Robust Network-Based Attack Attribution through Probabilistic Watermarking of Packet Flows
• XML Query Processing: A Survey Gang Gou, Rada Chirkova
• Reset reproduction of article published in Computational Intelligence, Vol. 3, No. 3 (August 1987), pp. 175-176. Written August 28, 1986. Reprinted July 1994. Reprinting c Copyright 1986, 1987,
• PRASHANT GUPTA. A Floor Control Protocol for SIP-based multimedia conferences (Under the direction of Dr. Douglas S. Reeves).
• 00110001001110010011011000110111 Computer Science
• Capacity Planning of DiffServ Networks with Best-Effort and Expedited Forwarding Traffic
• Reset reproduction of CMU Computer Science report CMUCS83124. Revised version published in IEEE Com puter, Vol. 16, No. 10, pp. 119--123. Reprinted July 1994. Reprinting c
• Unpublished manuscript Written and typeset September 25, 1981; reset September 6, 1996 NonMonotonic Logic and System G 1
• Reprinted from Proceedings of the DARPA Workshop on Innovative Approaches to Planning, Scheduling and Control, Novem ber, 1990, Katia P. Sycara, editor, San Mateo: Morgan Kaufmann Publishers, pp. 2836.
• Using Multiple Energy Gears in MPI Programs on a Power-Scalable Cluster
• Reset reproduction of CMU Computer Science report CMU-CS-88-111. Reprinted July 1994. Reprinting c Copyright 1988, 1994 by Jon Doyle. Current address: MIT Laboratory for Computer
• Reset reproduction of CMU Computer Science report CMUCS88123. Reprinted July 1994. Reprinting c
• Reset reproduction of article published in Behavioral and Brain Sciences, Vol. 13, No. 4 (December 1990), p. 661. Reprinted July 1994. Reprinting c
• Reset reproduction of review published in ACM SIGART Bulletin, Vol. 2, No. 1 (January 1991), pp. 77--78. Reprinted July 1994. Reprinting c
• Equivalence and Minimization of Conjunctive Queries Under Combined Semantics
• Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
• Reset reproduction of article published in Computational Intelligence, Vol. 7, No. 1 (February 1991), pp. 1{10. Reprinted July 1994. Reprinting c Copyright 1989, 1990, 1991, 1994 by Jon Doyle and
• A Survey on Code Coverage as a Stopping Criterion for Unit Testing Ben Smith and Laurie Williams
• Reset reprinting of CMU Computer Science report CS-TR-88-124 Changing fonts, pagination, and one attribution
• Policy-Parametric Software Travis Breaux
• How to Misuse AODV: A Case Study of Insider Attacks against Mobile Ad-hoc Routing Protocols
• North Carolina State University Computer Science Technical Report # TR-2004-21 An Analysis of Web Site Privacy Policy Evolution
• A Rational Mechanics of Reasoning Department of Computer Science
• Adaptive Framework for Multivariate Stream Data Processing in Data-Centric Sensor Applications
• Personality Profiles and Learning Styles of Advanced Undergraduate Computer Science Students
• Integrating IDS Alert Correlation and OS-Level Dependency Tracking Yan Zhai, Peng Ning, Jun Xu
• North Carolina State University Technical Report TR-2007-9 1 Abstract--Information practices that use personal, financial and health-related information are
• NCSU CSC TR-2006-22 -1 -An Introduction to Data-Flow Testing
• On Mechanisation of Thought Processes (Extended Abstract)
• What is Church's Thesis? An Outline Department of Computer Science, North Carolina State University, Box 8207, Raleigh, NC
• Reprinted from Proceedings of the Fifth International Joint Conference on Artificial Intelligence (IJCAI-77), August, 1977, p. 247. Copyright c 1977, 2008 by Jon Doyle. All rights reserved.
• Reset reproduction of an article appearing in Fundamenta Informaticae Vol. 20, No. 1--3 (Spring 1994), pp. 3573. Resetting prepared from submission of November, 1993. Submission c
• Reset version of an essay published in Philosophy and AI: Essays at the Interface (Robert Cum mins and John Pollock, eds., 1991), pp. 3977, itself a revision of CMU Computer Science report
• Efficient Query Processing in XML-Based Information Integration
• Adaptive, Transparent Frequency and Voltage Scaling of Communication Phases in MPI Programs
• Technical Report NCSU CSC 2004-12 Fall 2003 Agile Pilot 1 Collaboration through Agile Software
• Reset reproduction of article published in Artificial Intelligence, Vol. 48, No. 3 (April 1991), pp. 261297. Received September 1989, revised June 1990. Reprinted July 1994. Reprinting c Copy-
• Reset reproduction of a response written December 7, 1978, to the Brachman-Smith Knowledge Representation Survey, appearing in ACM SIGART Newsletter, No. 70 (February 1980), p. 41, references on p. 12. Reset in LaTeX
• Reset reproduction of review published in ACM SIGART Bulletin, Vol. 2, No. 1 (January 1991), pp. 7778. Reprinted July 1994. Reprinting c Copyright 1990, 1991, 1994 by Jon Doyle.
• Functional Paleontology: System Evolution as the User Sees It
• Distributed Scalable TDMA Scheduling Algorithm Injong Rhee and Jangwon Lee
• Towards Improved Security Criteria for Certification of Electronic Health Record Systems
• Using In-Process Testing Metrics to Estimate Post-Release Field Quality of Java Programs
• Exploring the Energy-Time Tradeoff in MPI Programs on a Power-Scalable Cluster
• Computer Science at NCSU: The First Twenty-Five Years
• Mitigating DoS Attacks against Signature-Based Broadcast Authentication in Wireless Sensor Networks
• Exploring the Energy-Time Tradeoff in High-Performance Computing Feng Pan Vincent W. Freeh Daniel M. Smith
• Validating Existing Requirements for Compliance with Law Using a Production Rule Model
• IZQUIERDO, MICHAEL ROBERT. Modeling, Transmission and Multiplexing of MPEG VBR Video Over Packet Switched Networks. (Under the direction of Dr. Douglas
• NCSU CSC Technical Report 2005-01 Experiment and Comparison of Automated Static Code Analyzers
• Which Faults are Security Faults? Michael Gegick, Tao Xie, Laurie Williams, Pete Rotella
• Reprinted from Proceedings of the First International Conference on Arti cial Intelligence Planning Systems (AIPS-92), June, 1992, pp. 236{242.
• Reset reproduction of article published in Behavioral and Brain Sciences, Vol. 13, No. 4 (December 1990), p. 661. Reprinted July 1994. Reprinting c Copyright 1990, 1994 by Jon Doyle.
• MURTHY, PRASHANT. GTKgREP -Design and Implementation of a Gnutella-based Reputation Management System. (Under the direction of Dr. Douglas Reeves).
• Reset reproduction of CMU Computer Science report CMUCS83127. Published in IJCAI'83, pp. 309--314. Reprinted July 1994. Reprinting c
• Reset reproduction of an article published in Journal of Automated Reasoning, Vol. 1, pp. 391--405 (1985). Reprinted July 1994. Reprinting c
• A Lightweight Process for Change Identification and Regression Test Selection in Using COTS Components
• Draft of an article to appear in The MIT Encyclopedia of the Cognitive Sciences (Rob Wilson and Frank Kiel, editors), Cambridge, Massachusetts: MIT Press,
• The Role of Policy and Stakeholder Privacy Values in Requirements Engineering
• An Early Testing and Defense Web Application Framework for Malicious Input Attacks
• North Carolina State University The Graduate School
• Just In Time Dynamic Voltage Scaling: Exploiting Inter-Node Slack to Save Energy in MPI
• Reset reproduction of a Ph.D. thesis proposal submitted June 8, 1978 to the Massachusetts Institute of Technology Electrical Engineering and Computer Science Department. Reset in LaTeX by Jon Doyle, December 1995. c 1978,
• FreeLoader: Scavenging Desktop Storage Resources for Scientific Data
• IR-Seluge: Interference-Resilient Code Dissemination in Wireless Sensor Sangwon Hyun, Peng Ning, An Liu
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• Department of Computer Science SEMINAR ATTENDANCE FORM
• Draft of an article to appear in The MIT Encyclopedia of the Cognitive Sciences (Rob Wilson and Frank Kiel, editors), Cambridge, Massachusetts: MIT Press,
• Reasoning about Complementary Intrusion Evidence Yan Zhai, Peng Ning, Purush Iyer, Douglas S. Reeves
• A Measurement Framework of Alert Characteristics for False Positive Mitigation Models
• Reset reproduction of CMU Computer Science report CMU-CS-85-121. Published in I* *JCAI-85, pp. 87-90 (1985).
• Reset reproduction of article published in Belief Revision (P. G"ardenfors, ed.* *), Cambridge: Cambridge University
• Reset reproduction of CMU Computer Science report CMU-CS-88-111. Reprinted Jul* Reprinting cOCopyright 1988, 1994 by Jon Doyle. Current address: MIT Laboratory*
• Reset reproduction of preprint distributed at the Third International Workshop * *on Nonmonotonic Reasoning, South Lake
• Reset reproduction of review published in ACM SIGART Bulletin, Vol. 2, No. 1 (J* *anuary 1991), pp.
• Reset reproduction of CMU Computer Science report CMU-CS-83-124. Revised versio* *n published in IEEE Com-
• Reset reproduction of article published in Computational Intelligence, Vol. 5, * *No. 1 (1989), pp. 1-11.
• Reset reproduction of CMU Computer Science report CMU-CS-83-127. Published in * *IJCAI'83, pp. 309-314.
• To appear in Proceedings of the Eighteenth National Conference on Artificial In* *telligence (AAAI-2002), Edmonton, Alberta, Canada, July
• The Architecture of MAITA A Tool For Monitoring, Analysis, and Interpretation
• Manuscript circulated privately since 1982. Written September 19, 1982; reset * *May, 1994.
• Reset reproduction of a Ph.D. thesis proposal submitted June 8, 1978 to the Mas* *sachusetts Institute of Technology
• Position statement prepared for AAAI in conjunction with AAAI report to NSF on * *the Information Infra-
• Reset version of a manuscript submitted November 15, 1979 to ACM SIGMOD Record. Written November, 1979; reset March, 1996. Freely available via http://www.medg.lcs.mit.edu/doyle. Author's current address: Laboratory
• Reprinted from Proceedings of the Sixth International Symposium on Methodologies for In telligent Systems (ISMIS'91), October, 1991, Z. W. Ras and M. Zemankova, editors, Berlin
• Some Representational Limitations of the Common Intrusion Specification Language
• Reset reproduction of CMU Computer Science report CMUCS88124. Reprinted July 1994. Reprinting c
• Using Production Rules to Aid Security Requirements Acquisition from Legal Texts
• Identifying Security Fault Reports via Text Mining Michael Gegick, 2
• In Self-Adaptive Software, P. Robertson, H. Shrobe, and R. Laddaga, editors, Berlin: Springer Verlag, 2001, pp. 40-49 (revised papers from the First International Workshop on Self-Adaptive
• Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
• Deriving Goals from a Use-Case Based Requirements Specification for an
• Adaptive Timing-based Active Watermarking for Attack Attribution through Stepping Stones
• VISWANATH, SOMNATH: Technology Mapping With Boolean Pattern Match ing (under the guidance of Dr. Douglas S. Reeves)
• Reset reproduction of CMU Computer Science report CMUCS83106. Abbreviated version published in AI Mag azine, V. 4, No. 3 (1983), pp. 50--53. Reprinted July 1994. Reprinting c
• Reset reproduction of article published in Artificial Intelligence, Vol. 48, No. 3 (April 1991), pp. 261--297. Received September 1989, revised June 1990. Reprinted July 1994. Reprinting c
• Reset reproduction of article published in Computational Intelligence, Vol. 5, No. 1 (1989), pp. 1--11. Reprinted July 1994. Reprinting c
• Hybrid Full/Incremental Checkpoint/Restart for MPI Jobs in HPC Environments , Frank Mueller1
• Managing Use Cases During Goal-Driven Requirements Engineering
• SHAH, NIPUL JAYVANT. Preventing Denial of Service Attacks on Reliable Multicast Networks. (Under the direction of
• Personas: Moving Beyond Role-Based Requirements Engineering Granville Miller Laurie Williams
• Reset reproduction of article published in Computational Intelligence, Vol. 10, No. 1 (February 1994), pp. 46-48. Written December 11, 1992. Reprinted July 1994. Reprinting c Copyright 1992,
• Semantic Parameterization: A Process for Modeling Domain Descriptions
• Preprint of an article to appear in AI Magazine, V. 20, No. 1 (Spring 1999). Su* mitted January 29, 1999. Oc Copyright 1999 by Jon Doyle and Richmond H.
• Reset reproduction of article published in Behavioral and Brain Sciences, Vol. * *13, No. 4 (December
• Reprinted from Proceedings of the DARPA Workshop on Innovative Approaches to Pl* *anning, Scheduling and Control, Novem-
• Reset reproduction of article published in Computational Intelligence, Vol. 8, * *No. 2 (May 1992),
• Reset reproduction of a master's thesis proposal submitted November 2, 1976 to * *the Massachusetts Institute of
• Reset reproduction of CMU Computer Science report CMU-CS-83-106. Abbreviated ve* *rsion published in AI Mag-
• Reprinted from Proceedings of the Sixth International Symposium on Methodologie* *s for In-
• SECOND IEEE-SMC INFORMATION ASSURANCE WORKSHOP, WEST POINT, NEW YORK, JUNE 5-6,* * 2001 1
• Reset reproduction of article published in Artificial Intelligence, Vol. 49, No* *s. 1-3 (May 1991), pp.
• Reset reproduction of article published in Artificial Intelligence, Vol. 48, No* *. 3 (April 1991), pp.
• Reset reproduction of CMU Computer Science report CMU-CS-82-149 (only paginatio* *n differs). Revised ver-
• Reset reproduction of CMU Computer Science report CMU-CS-84-116. Censor-edited* * version published in AI
• Reset reproduction of article published in Computational Intelligence, Vol. 10,* * No. 1 (February
• Typeset and lightly edited version of a manuscript draft privately circulated f* *ollowing its delivery in a 1981 lecture at
• Reset reproduction of CMU Computer Science report CMU-CS-88-124. Reprinted Jul* Reprinting Oc Copyright 1987, 1988, 1994 by Jon Doyle. Current address: MIT La*
• Reset reproduction of MIT AI Lab TR-581 Dissertation sub* *mitted May 12, 1980
• Active Trust Management for
• Draft of an article to appear in The MIT Encyclopedia of the Cognitive Sciences (Rob Wilson and Frank Kiel, editors), Cambridge, Massachusetts: MIT Press,
• Traffic Grooming in Star Networks Bensong Chen, Rudra Dutta
• Reset reproduction of article published in Belief Revision (P. Gardenfors, ed.), Cambridge: Cambridge University Press, 1992, pp. 2951. Reprinted July 1994. Reprinting c Copyright 1990, 1991, 1992, 1994 by Jon Doyle.
• Reset reproduction of two articles published in Computational Intelligence, Vol. 8, No. 2 (May 1992): Prolegomena to any future qualitative physics, pp. 187--209, and Epilegomenon, pp. 326--335.
• The Architecture of MAITA A Tool For Monitoring, Analysis, and Interpretation
• A Framework for Privacy-Enhanced Access Control Analysis in Requirements Engineering
• An Introduction to Performance Testing Chih-wi Ho, Laurie Williams
• Tailored CMM for a Small e-Commerce Company Level 2: Repeatable
• Behavior-based Approaches to Vision in Habile Robots Thomas E. Horton
• Probabilistic Communication and I/O Tracing with Deterministic Replay at Scale Xing Wu 1 Karthik Vijayakumar 1 Frank Mueller 1 Xiaosong Ma 1,2 Philip C. Roth 2
• Reset reproduction of CMU Computer Science report CMU-CS-83-160. Published in AI Magazine, Vol. 4, No. 4, pp. 33-35 and 31 (1983). Reprinted July 1994. Reprinting c Copyright 1984, 1994 by Jon Doyle. Current address
• COMPUTER SCIENCE RESEARCH PROJECTS 2000
• Produced by the NC State Department of Computer Science www.csc.ncsu.edu Fall 2010 Issue
• Defining and Measuring Policy Coverage in Testing Access Control Policies
• Analyzing Goal Semantics for Rights, Permissions, and Obligations Travis D. Breaux and Annie I. Antn
• TTeemmppoorraarryy EEmmppllooyymmeenntt AAuutthhoorriizzaattiioonn FFoorrmm
• Incremental All Pairs Similarity Search for Varying Similarity Thresholds
• Reset reproduction of article published in Computational Intelligence, Vol. 5, No. 1 (1989), pp. 111. Reprinted July 1994. Reprinting c Copyright 1988, 1989, 1994 by Jon Doyle.
• A Systematic Literature Review of Actionable Alert Identification Techniques for Automated Static Code Analysis
• Reasoning About the Functionality of Tools and Physical Ergun Bicici and Robert St. Amant
• Constructing a Balanced, log(N)/loglog(N)-Diameter Superpeer Topology
• Design Patterns for Policy-Based Service Engagements Yathiraj B. Udupi
• Towards Well-Behaved Schema Evolution Rada Chirkova
• Reset reproduction of a master's thesis proposal submitted November 2, 1976 to the Massachusetts Institute of Technology Electrical Engineering Department, reprinted November 16, 1976 as MIT Artificial Intelligence
• Reprinted from Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91), July, 1991, pp. 698--703. Preferential Semantics for Goals
• Reset reproduction of article published in Computational Intelligence, Vol. 10, No. 1 (February 1994), pp. 4648. Written December 11, 1992. Reprinted July 1994. Reprinting c
• Inter-Packet Delay Based Correlation for Tracing Encrypted Connections Through Stepping Stones
• Coupling Prefix Caching and Collective Downloads for Remote Dataset Access Xiaosong Ma
• Inverses of Multivariate Polynomial Matrices using Discrete Convolution
• Some Super-Classics of Artificial Intelligence?
• Reset reproduction of CMU Computer Science report CMU-CS-83-125 (only paginatio* *n differs). Versions of 1982
• Reset reproduction of an article appearing in Fundamenta Informaticae Vol. 20, * *No. 1-3 (Spring 1994), pp. 35-73.
• Reset reproduction of CMU Computer Science report CMU-CS-83-114. Published in A* *I Magazine, Vol. 3, No.
• Fundamenta Informaticae V. 20, Nos. 1-3 (Spring 1994), pp. 35-73 Submitted 11/* Reasoned Assumptions and Rational Psychology
• Reprinted from Working Notes of the AAAI Spring Symposium on Decision-Theoretic* * Planning, March, 1994, Steve Hanks,
• Adaptive Knowledge-Based Monitoring for Information Assurance
• Reset version of a manuscript submitted November 15, 1979 to ACM SIGMOD Record.* * Written November, 1979;
• Reset version of an essay published in Philosophy and AI: Essays at the Interfa* *ce (Robert Cum-
• Reset reproduction of CMU Computer Science report CMU-CS-83-160. Published in A* *I Magazine, Vol. 4, No. 4,
• Reset reproduction of article published in Proc. Second International Conf. on * *Principles of Knowledge Representation
• Reprinted from Advanced Planning Technology: Technological Achievements of the * *ARPA/Rome Laboratory Planning Ini-
• Reset reproduction of CMU Computer Science report CMU-CS-88-123. Reprinted Jul* Reprinting cOCopyright 1988, 1994 by Jon Doyle. Current address: MIT Laboratory*
• Reset reproduction of article published in Computational Intelligence, Vol. 3, * *No. 3 (August 1987),
• Reset reproduction of 1986 CMU Computer Science lecture notes for 15.780. Repri* *nted July 1994.
• Reset reproduction of a response written December 7, 1978, to the Brachman-Smit* *h Knowledge Representation
• Reset reproduction of an article published in Journal of Automated Reasoning, V* *ol. 1, pp. 391-405 (1985). Reprinted
• Reset reproduction of a guest editorial in AI Magazine, Vol. 9, No. 1 (Spring 1* *988), pp. 19-22.
• Reset reproduction of CMU Computer Science report CMU-CS-88-122. Reprinted Jul* Reprinting cOCopyright 1988, 1994 by Jon Doyle. Current address: MIT Laboratory*
• Unpublished manuscript Written and typeset September 25, 1981; re* *set September 6, 1996
• Reprinted from Technical Papers of the ARPA Planning Initiative Workshop, Tucso* *n, AZ, February, 1994.
• Draft of an article to appear in The MIT Encyclopedia of the Cognitive Sciences (Rob Wilson and Frank Kiel, editors), Cambridge, Massachusetts: MIT Press,
• Reprinted from the Working Notes of the Symposium on AI and Limited Rationality* *, March 28-30, 1989, pp. 18-22,
• An Empirical Process for Building and Validating Software Engineering Parametric Models
• Reset reproduction of CMU Computer Science report CMU-CS-83-126. Published in IJCAI'83, pp. 349351. Reprinted July 1994. Reprinting c Copyright 1983, 1994 by Jon Doyle. Current address: MIT Laboratory for
• Jump-Oriented Programming: A New Class of Code-Reuse Attack Tyler Bletsch, Xuxian Jiang, Vince Freeh
• On the Levy-walk Nature of Human Mobility: Do Humans Walk like Monkeys?
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1
• Managing Software Performance Engineering Activities with the Performance Refinement and Evolution Model (PREM)
• NC STATE UNIVERSITY 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 1