Computer Science

Integrating marine observatories into a system-of-systems: Messaging in the US ocean observatories initiative

MTS/IEEE Biloxi - Marine Technology for Our Future: Global and Local Challenges, OCEANS 2009. http://www.scopus.com/inward/record.url?eid=2-s2.0-77951528644&partnerID=MN8TOARS

Enhancing tropos with commitments a business metamodel and methodology

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 417–435).

Enhancing Tropos with Commitments A Business Metamodel and Methodology

Lecture Notes in Computer Science. https://publons.com/publon/21294448/

Choice, interoperability, and conformance in interaction protocols and service choreographies

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1, 608–615. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899803605&partnerID=MN8TOARS

Architecture for affective social games

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 79–94).

Business modeling via commitments

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 111–125).

Systematic exploration of efficient query plans for automated database restructuring

East European Conference on Advances in Databases and Information Systems, 133–148.

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

CONSEG 2009 - Proceedings of the International Conference on Software Engineering, 87–97. http://www.scopus.com/inward/record.url?eid=2-s2.0-84898822394&partnerID=MN8TOARS

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. https://journal.code4lib.org/articles/998

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, pp. 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), pp. 36–42.

SecureMR: A Service Integrity Assurance Framework for Map Reduce

25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, pp. 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, pp. 461-+.