Works Published in 2007

search works

Displaying works 61 - 80 of 168 in total

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

2007 conference paper

InterPol: A policy framework for managing trust and privacy in referral networks

Proceedings of the International Conference on Autonomous Agents, 1095–1097.

By: Y. Udupi n & M. Singh n

Contributors: Y. Udupi n & M. Singh n

TL;DR: A general referrals-based framework for privacy and trust management is shown to effectively capture a variety of privacy and Trust requirements of autonomous users. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2007 conference paper

An event-driven approach for agent-based business process enactment

Proceedings of the International Conference on Autonomous Agents, 1269–1271.

By: P. Chakravarty n & M. Singh n

Contributors: P. Chakravarty n & M. Singh n

TL;DR: An event-driven architecture that enriches multiagent models with events resulting in a more robust and proactive system is proposed in a business process framework based on protocols and policies, where agents' behaviors are specified via rules. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2007 conference paper

A modular action description language for protocol composition

Proceedings of the National Conference on Artificial Intelligence, 2, 962–967. http://www.scopus.com/inward/record.url?eid=2-s2.0-36349036553&partnerID=MN8TOARS

By: N. Desai & M. Singh

Contributors: N. Desai & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

Enacting protocols by commitment concession

Proceedings of the International Conference on Autonomous Agents, 116–123.

By: P. Yolum* & M. Singh n

Contributors: P. Yolum* & M. Singh n

TL;DR: This paper formulates inference rules for commitment concession that respect the nature of commitments, and demonstrates how such rules can be applied in practice, and identifies conditions under which progress and termination of protocol enactment can be guaranteed. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2007 conference paper

Dynamics of contracts-based organizations: A formal approach based on institutions

Proceedings of the International Conference on Autonomous Agents, 82–84.

By: Y. Udupi n & M. Singh n

Contributors: Y. Udupi n & M. Singh n

TL;DR: The proposed approach places organizations within institutions, themselves modeled as specialized organizations, and establishes some important dynamic aspects by providing a commitment life cycle analysis. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2007 conference paper

Choice and interoperation in protocol enactment

Proceedings of the International Conference on Autonomous Agents, 132–134.

Contributors: A. Chopra n & M. Singh n

TL;DR: The objective of this paper is to study the conceptual underpinnings of protocol enactment in multiagent systems and characterize the operationalization of agents so as to determine whether and when agents may be interoperable. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2007 report

View and index selection for query-performance improvement: Algorithms, heuristics and complexity

North Carolina State University. Dept. of Computer Science.

By: M. Kormilitsin, R. Chirkova, Y. Fathi & M. Stallmann

Source: ORCID
Added: December 6, 2019

2007 conference paper

Proofchecker: an accessible environment for automata theory correctness proofs

ACM SIGCSE Bulletin, 39(3), 48–52.

By: M. Stallmann, S. Balik, R. Rodman, S. Bahram, M. Grace & S. High

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 conference paper

High-contrast algorithm behavior: observation, hypothesis, and experimental design

Proceedings of the 2007 workshop on Experimental computer science, 12.

By: M. Stallmann & F. Brglez

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 journal article

A case for smaller class size with integrated lab for introductory computer science

ACM SIGCSE Bulletin, 39(1), 341–345.

By: K. Boyer, R. Dwight, C. Miller, C. Raubenheimer, M. Stallmann & M. Vouk

Source: ORCID
Added: December 6, 2019

2007 article

Convergence Analysis of the {DIRECT} Algorithm

By: D. Finkel & C. Kelley

Source: ORCID
Added: August 29, 2019

2007 article

A Case Study in Using Local {I/O} and {GPFS} to Improve Simulation Scalability

8th LCI International Conference on High-Performance Clustered Computing.

Carl Kelley

Source: ORCID
Added: August 29, 2019

2007 journal article

Analysis of A Scalable Preconditioner for the Wigner-Poisson Equation

International Journal of Pure and Applied Mathematics, 37, 247–270.

By: M. Lasater, C. Kelley, A. Salinger, D. Woolard, G. Recine & P. Zhao

Sources: ORCID, NC State University Libraries
Added: August 29, 2019

2007 journal article

Problems and Techniques

SIAM Review, 49(3), 419–420.

By: I. Ipsen*

Contributors: I. Ipsen*

UN Sustainable Development Goal Categories
14. Life Below Water (OpenAlex)
Source: ORCID
Added: August 29, 2019

2007 journal article

Problems and techniques: Introduction

SIAM Review, 49(4). http://www.scopus.com/inward/record.url?eid=2-s2.0-37249005235&partnerID=MN8TOARS

By: I. Ipsen

Contributors: I. Ipsen

Source: ORCID
Added: August 29, 2019

2007 journal article

Problems and Techniques

SIAM Review, 49(4), 593–593.

By: I. Ipsen*

Contributors: I. Ipsen*

Source: ORCID
Added: August 29, 2019

2007 journal article

Model-Based Failure Detection on Nonlinear Systems: Theory and Transition

Naval Engineers Journal, 119(2), 93–107.

By: K. Drake*, S. Campbell*, I. Andjelkovic* & K. Sweetingham n

TL;DR: Efforts made toward extending this algorithm for fault detection to nonlinear systems along with efforts in testing this family of algorithms on real systems are discussed. (via Semantic Scholar)
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy (OpenAlex)
Sources: ORCID, Crossref
Added: August 18, 2019

2007 journal article

The Hill–Robertson effect is a consequence of interplay between linkage, selection and drift: a commentary on ‘The effect of linkage on limits to artificial selection’ by W. G. Hill and A. Robertson

Genetics Research, 89(5-6), 309–310.

By: Z. Zeng n

MeSH headings : Alleles; Genetic Drift; Genetic Linkage; Population Density; Selection, Genetic
UN Sustainable Development Goal Categories
Source: Crossref
Added: July 20, 2019

2007 journal article

Immersed-interface finite-element methods for elliptic interface problems with nonhomogeneous jump conditions

SIAM Journal on Numerical Analysis, 46(1), 472–495.

By: Y. Gong, B. Li & Z. Li*

author keywords: elliptic interface problems; nonhomogeneous jump conditions; immersed-interface finite-element method; level-set functions; error estimates
TL;DR: A class of new finite- element methods, called immersed-interface finite-element methods, is developed to solve elliptic interface problems with nonhomogeneous jump conditions to provide fast simulation of interface dynamics that does not require remeshing. (via Semantic Scholar)
Source: ORCID
Added: May 17, 2019

2007 journal article

Strategic analysis of speed and flexibility in sourcing textile products

By: L. Hartman

Source: ORCID
Added: December 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.