Computer Science

College of Engineering

Works Published in 2009

copy embed code
Copy Embed Code Experiment

You can embed this resource into your own website. To do so, either use the code generated by us, or use the link and tweak the rest to your preferences. Copy the respective code or link below.

Displaying works 81 - 100 of 169 in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2009 book

Computer simulation techniques: the definitive introduction!

Raleigh, NC: Harry Perros.

By: H. Perros

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach

Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, 225–230.

By: T. Breaux

Source: NC State University Libraries
Added: August 6, 2018

2009 article

Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts

PROCEEDINGS OF THE 2009 17TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, pp. 101–110.

By: J. Maxwell n & A. Anton n

Source: Web Of Science
Added: August 6, 2018

2009 article

Towards Realistic Physical Topology Models for Internet Backbone Networks

2009 6TH INTERNATIONAL SYMPOSIUM ON HIGH CAPACITY OPTICAL NETWORKS AND ENABLING TECHNOLOGIES (HONET 2009), pp. 36–42.

author keywords: Optical backbone networks; physical topology; problem formulation; optimization; topology model
Source: Web Of Science
Added: August 6, 2018

2009 article

SecureMR: A Service Integrity Assurance Framework for Map Reduce

25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, pp. 73–82.

Source: Web Of Science
Added: August 6, 2018

2009 conference paper

Identification of bot commands by run-time execution monitoring

25th Annual Computer Security Applications Conference, 321–330.

Source: NC State University Libraries
Added: August 6, 2018

2009 article

HIMA: A Hypervisor-Based Integrity Measurement Agent

25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, pp. 461-+.

By: A. Azab n, P. Ning, E. Sezer n & X. Zhang*

Source: Web Of Science
Added: August 6, 2018

2009 article

BAF: An Efficient Publicly Verifiable Secure Audit Logging Scheme for Distributed Systems

25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, pp. 219–228.

author keywords: Applied cryptography; secure audit logging; digital forensics; forward security; signature aggregation
Source: Web Of Science
Added: August 6, 2018

2009 article

Reggae: Automated Test Generation for Programs using Complex Regular Expressions

2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 515–519.

By: N. Li, T. Xie, N. Tillmann*, J. Halleux* & W. Schulte*

author keywords: test generation; dynamic symbolic execution; string generation
Source: Web Of Science
Added: August 6, 2018

2009 conference paper

Mining health models for performance monitoring of services

2009 ieee/acm international conference on automated software engineering, proceedings, 409–420.

By: M. Acharya & V. Kommineni

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Architecture for affective social games

Agents for games and simulations: trends in techniques, concepts and design, 5920, 79–94.

Source: NC State University Libraries
Added: August 6, 2018

2009 article

Alattin: Mining Alternative Patterns for Detecting Neglected Conditions

2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp. 283–294.

author keywords: code search; frequent itemset mining; alternative patterns
Source: Web Of Science
Added: August 6, 2018

2009 conference paper

Fast matching for all pairs similarity search

2009 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), vol 1, 295–300.

By: A. Awekar n & N. Samatova

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

BioDEAL: community generation of biological annotations

BMC Medical Informatics and Decision Making, 9.

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Secure open source collaboration: An empirical study of linus' law

CCS'09: Proceedings of the 16th ACM Conference on Computer and Communications Security, 453–462.

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

False data injection attacks against state estimation in electric power grids

CCS'09: Proceedings of the 16th ACM Conference on Computer and Communications Security, 21–32.

By: Y. Liu, P. Ning & M. Reiter*

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Business modeling via commitments

Service-oriented computing: agents, semantics, and engineering, proceedings, 5907, 111–125.

By: P. Telang & M. Singh

Source: NC State University Libraries
Added: August 6, 2018

2009 conference paper

Using task-based modeling to generate scaffolding in narrative-guided exploratory learning environments

Artificial intelligence in education - building learnning systems that care: from knowledge representation to affective modelling , 200, 107–114.

By: J. Thomas & R. Young

Source: NC State University Libraries
Added: August 6, 2018

2009 article

Remote Attestation to Dynamic System Properties: Towards Providing Complete System Integrity Evidence

2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), pp. 115-+.

By: C. Kil n, E. Sezer n, A. Azab n, P. Ning & X. Zhang*

author keywords: Remote attestation; dynamic attestation; runtime integrity; system security; trusted computing
Source: Web Of Science
Added: August 6, 2018

2009 article

Fitness-Guided Path Exploration in Dynamic Symbolic Execution

2009 IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS (DSN 2009), pp. 359-+.

By: T. Xie, N. Tillmann*, J. Halleux* & W. Schulte*

Source: Web Of Science
Added: August 6, 2018