Computer Science

A method and framework for domain knowledge assisted requirements evolution (k-re)

CONSEG 2009 - Proceedings of the International Conference on Software Engineering, 87–97.

A proof of the monotone column permanent (MCP) conjecture for dimension 4 via sums-of-squares of rational functions

Proceedings of the 2009 conference on Symbolic numeric computation - SNC '09. Presented at the the 2009 conference.

Propagating software-based educational innovations

Proceedings of the ASEE Southeast Conference. Presented at the ASEE Southeast Conference, Marietta, GA.

Working effectively with teaching assistants

Proceedings of the 2009 ASEE Annual Conference and Exposition. Presented at the 2009 ASEE Annual Conference and Exposition, Austin, TX.

Student-generated active-learning exercises

Proceedings of the 40th ACM technical symposium on Computer science education - SIGCSE '09. Presented at the the 40th ACM technical symposium.

CONFERENCE REPORT: Code4Lib 2009

Code4Lib Journal.

Computer simulation techniques: the definitive introduction!

Raleigh, NC: Harry Perros.

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.

Developing production rule models to aid in acquiring requirements from legal texts

Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, 101–110.

Towards realistic physical topology models for internet backbone networks

2009 6th International Symposium on High Capacity Optical Networks and Enabling Technologies (HONET 2009), 36–42.

SecureMR: A service integrity assurance framework for map reduce

25th Annual Computer Security Applications Conference, 73–82.

Identification of bot commands by run-time execution monitoring

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

HIMA: A hypervisor-based integrity measurement agent

25th Annual Computer Security Applications Conference, 461–470.

BAF: An efficient publicly verifiable secure audit logging scheme for distributed systems

25th Annual Computer Security Applications Conference, 219–228.

Reggae: Automated test generation for programs using complex regular expressions

2009 ieee/acm international conference on automated software engineering, proceedings, 515–519.

Mining health models for performance monitoring of services

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

Architecture for affective social games

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

Alattin: Mining alternative patterns for detecting neglected conditions

2009 ieee/acm international conference on automated software engineering, proceedings, 283–294.

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.

BioDEAL: community generation of biological annotations

BMC Medical Informatics and Decision Making, 9.