Computer Science

Topological inference via meshing

Proceedings of the 2010 annual symposium on Computational geometry - SoCG '10. Presented at the the 2010 annual symposium.

Programming Multiagent Systems without Programming Agents

Lecture Notes in Computer Science.

Multidisciplinary Views of Business Contracts

Lecture Notes in Computer Science.

Requirements as goals and commitments too

In Intentional Perspectives on Information Systems Engineering (pp. 137–153).

Programming multiagent systems without programming agents

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

Governance of services: A natural function for agents

Belgian/Netherlands Artificial Intelligence Conference. http://www.scopus.com/inward/record.url?eid=2-s2.0-84873828353&partnerID=MN8TOARS

From quality to utility: Adaptive service selection framework

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

Elements of a Business-Level Architecture for Multiagent Systems

In Lecture Notes in Computer Science: Vol. 5919 LNAI (pp. 15–30).

Information sharing among autonomous agents in referral networks

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

Incorporating expectations as a basis for business service selection

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

Correctness properties for multiagent systems

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

Abstracting and Applying Business Modeling Patterns from RosettaNet

In Service-Oriented Computing: Vol. 6470 LNCS (pp. 426–440).

Bottleneck crossing minimization in layered graphs

(No. TR-2010-13). Dept of Computer Science, North Carolina State University.

High-contrast algorithm behavior: Observation, conjecture, and experimental design

North Carolina State University. Dept. of Computer Science.

Towards knowledge assisted agile requirements evolution

In R. Holmes, M. P. Robillard, R. J. Walker, & T. Zimmermann (Eds.), Proceedings - International Conference on Software Engineering (pp. 16–20).

A semantic and collaborative platform for agile requirements evolution

2010 3rd International Workshop on Managing Requirements Knowledge, MaRK'10, 32–40.

Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation - ISSAC '10. Presented at the the 2010 International Symposium.

Fifteen years after DSC and WLSS2 what parallel computations I do today

Proceedings of the 4th International Workshop on Parallel and Symbolic Computation - PASCO '10. Presented at the the 4th International Workshop.

Automated metareviewing

Proceedings of Intelligent Tutoring Systems 2010: Workshop on Computer-Supported Peer Review in Education. Presented at the Intelligent Tutoring Systems 2010: Workshop on Computer-Supported Peer Review in Education, Pittsburgh, PA.

Software support for peer-reviewing wiki textbooks and other large projects

Proceedings of Intelligent Tutoring Systems 2010: Workshop on Computer-Supported Peer Review in Education. Presented at the Intelligent Tutoring Systems 2010: Workshop on Computer-Supported Peer Review in Education, Pittsburgh, PA.