Formal semantics and communication strategies for proactive information delivery among team-based agents
Effective human teams often benefit from proactivity through members' capability of anticipating different needs of teammates. In this paper, we focus on three issues related to the behavior of proactive information delivery. Two types of information needs are identified, the intentional semantics of ProInform is given, and priliminary experiments are carried out to study how different strategies for choosing ProInform impact team performance. The work presented in this paper provide a sound and practical framework that enables further studies regarding proactive information delivery.

title: Context-Centric Needs Anticipation Using Information Needs Graphs
abstract: Effective agent teamwork requires information exchange to be conducted in a proactive, selective, and intelligent way. In the field of distributed artificial intelligence, there has been increasing number of research focusing on need-driven proactive communication, both theoretically and practically. Among these works, CAST has realized a team-oriented agent architecture where agents, based on a computational shared mental model, are able to anticipate teammates' information needs and proactively deliver relevant information to the needers in a timely manner. However, the first implementation of CAST takes little consideration of the dynamics of the anticipated information needs, which can change in various ways as the context develops. In this paper we describe a novel mechanism for organizing and managing the “context” of information needs. This allows agents to dynamically activate and deactivate information needs progressively. It has been shown that the two-level context-centric approach can enhance team performance considerably.

title: A Market-Based Adaptation for Resolving Competing Needs for Scarce Resources
abstract: The dynamic nature of many real-world domains (e.g., military, emergency first response and hurricane relief, etc) requires adaptive resource allocation to respond to changes in the environment that trigger additional resource requirements. Since the total resources are limited, there are often conflicts among various tasks regarding their resource needs. Thus, resources must be reallocated in order to maximize global utility for the current situation. This problem is further complicated when scarce resources are owned by distributed teams, each of which needs to allocate resources among tasks assigned to them, because each team has limited information about the other teams' resources and states. In this paper, we propose a market-based approach that uses an agent-based auction mechanism to enable teams to communicate and coordinate their utility information about possibly competing resource needs. As a result, the teams can collaboratively assess trade-offs among competing needs to allocate resources efficiently.

title: Proactive information gathering for homeland security teams
abstract: Supporting counterterrorism analysts with software agents that dynamically anticipate their information requirements.

title: Panalyst: Privacy-Aware Remote Error Analysis on Commodity Software
abstract: Remote error analysis aims at timely detection and remedy of software vulnerabilities through analyzing run-time errors that occur on the client. This objective can only be achieved by offering users effective protection of their private information and minimizing the performance impact of the analysis on their systems without undermining the amount of information the server can access for understanding errors. To this end, we propose in the paper a new technique for privacy-aware remote analysis, called Panalyst. Panalyst includes a client component and a server component. Once a runtime exception happens to an application, Panalyst client sends the server an initial error report that includes only public information regarding the error, such as the length of the packet that triggers the exception. Using an input built from the report, Panalyst server performs a taint analysis and symbolic execution on the application, and adjusts the input by querying the client about the information upon which the execution of the application depends. The client agrees to answer only when the reply does not give away too much user information. In this way, an input that reproduces the error can be gradually built on the server under the client's consent. Our experimental study of this technique demonstrates that it exposes a very small amount of user information, introduces negligible overheads to the client and enables the server to effectively analyze an error.

title: Towards automatic reverse engineering of software security configurations
abstract: The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such as misconfiguration detection. Such specifications, however, are often ill-documented, or even close because of the increasing use of graphic user interfaces to set program options. In this paper, we propose ConfigRE, a new technique for automatic reverse engineering of an application's access-control configurations. Our approach first partitions a configuration input into fields, and then identifies the semantic relations among these fields and the roles they play in enforcing an access control policy. Based upon such knowledge, ConfigRE automatically generates a specification language to describe the syntactic relations of these fields. The language can be converted into a scanner using standard parser generators for scanning configuration files and discovering the security policies specified in an application. We implemented ConfigRE in our research and evaluated it against real applications. The experiment results demonstrate the efficacy of our approach.

title: Ontology-based Query Construction for GeoCLEF
abstract: This paper describes experiments with geographical information retrieval (GIR). Being different from the traditional information IR, we focus more on the query expansion instead of document ranking. We parse each topic into the event part and the geographic part and use different ontologies to expand both parts respectively. The results show promising results of our strategy for this task.

title: Inference Rules and their Application to Recognizing Textual Entailment
abstract: In this paper, we explore ways of improving an inference rule collection and its application to the task of recognizing textual entailment. For this purpose, we start with an automatically acquired collection and we propose methods to refine it and obtain more rules using a hand-crafted lexical resource. Following this, we derive a dependency-based structure representation from texts, which aims to provide a proper base for the inference rule application. The evaluation of our approach on the recognizing textual entailment data shows promising results on precision and the error analysis suggests possible improvements.

title: Interactive Time-Dependent Tone Mapping Using Programmable Graphics Hardware