College of Engineering
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2009 conference paper
Systematic exploration of efficient query plans for automated database restructuring
East European Conference on Advances in Databases and Information Systems, 133–148.
Event: Springer, Berlin, Heidelberg
2009 conference paper
A method and framework for domain knowledge assisted requirements evolution (k-re)
CONSEG 2009 - Proceedings of the International Conference on Software Engineering, 87–97.
2009 conference paper
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.
Event: the 2009 conference
2009 conference paper
Propagating software-based educational innovations
Proceedings of the ASEE Southeast Conference. Presented at the ASEE Southeast Conference, Marietta, GA.
Event: ASEE Southeast Conference at Marietta, GA on April 5-7, 2009
2009 conference paper
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.
Event: 2009 ASEE Annual Conference and Exposition at Austin, TX on June 14-17, 2009
2009 conference paper
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.
Event: the 40th ACM technical symposium
2009 journal article
CONFERENCE REPORT: Code4Lib 2009
Code4Lib Journal.
2009 book
Computer simulation techniques: the definitive introduction!
Raleigh, NC: Harry Perros.
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.
2009 conference paper
Developing production rule models to aid in acquiring requirements from legal texts
Proceedings of the 2009 17th IEEE International Requirements Engineering Conference, 101–110.
2009 conference paper
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.
2009 conference paper
SecureMR: A service integrity assurance framework for map reduce
25th Annual Computer Security Applications Conference, 73–82.
2009 conference paper
Identification of bot commands by run-time execution monitoring
25th Annual Computer Security Applications Conference, 321–330.
2009 conference paper
HIMA: A hypervisor-based integrity measurement agent
25th Annual Computer Security Applications Conference, 461–470.
2009 conference paper
BAF: An efficient publicly verifiable secure audit logging scheme for distributed systems
25th Annual Computer Security Applications Conference, 219–228.
2009 conference paper
Reggae: Automated test generation for programs using complex regular expressions
2009 ieee/acm international conference on automated software engineering, proceedings, 515–519.
2009 conference paper
Mining health models for performance monitoring of services
2009 ieee/acm international conference on automated software engineering, proceedings, 409–420.
2009 conference paper
Architecture for affective social games
Agents for games and simulations: trends in techniques, concepts and design, 5920, 79–94.
2009 conference paper
Alattin: Mining alternative patterns for detecting neglected conditions
2009 ieee/acm international conference on automated software engineering, proceedings, 283–294.
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.