We present a binary analysis framework based on symbolic execution with the distinguishing capability to execute stepwise forward and also backward through the execution tree. It was developed internally at Bitdefender and code-named RIVER. The framework provides components such as a taint engine, a dynamic symbolic execution engine, and integration with Z3 for constraint solving.

How may Natural Language Processing serve Information Retrieval? This paper provides some clues in the context of the implementation of a search engine within an industrial application, TokTokTok, that gathers a large set of heterogeneous data about products of many kinds. We demonstrate that the enrichment of the database by semantic treatments improves the results of the search engine. On the...

Today, many companies develop business integration environments with a variety of ubiquitous computing devices. Nevertheless, existing business process studies still have difficulty about the technology which can manage and control by integration environment of the occurrence events in real-time. In this paper, we introduce a process coordination system to support the processing and analysis of...

Given a library of converters with known behaviors, an integration engine must determine which are useful in a given scenario and produce a plan for how they can be used to achieve specified goals. This report documents the algorithm implemented by the AMIS3 integration engine. First, the problem is formalized and shown to be NP-hard. Then, the algorithm is explained and shown to be correct for...

An increasing number of business users and software applications need to process information that is accessible via multiple diverse information systems, such as database systems, file systems, legacy applications or web services. We describe the Enosys XML Integration Platform (EXIP), a commercial XQuery-based data integration software platform that provides a queryable integrated view of such...

Combining Answer Set Programming (ASP) and Constraint Logic Programming (CLP) can create a more powerful language for knowledge representation and reasoning. The language AC(C) is designed to integrate ASP and CLP. Compared with existing integration of ASP and CSP, AC(C) allows representing user-defined constraints. Such integration provides great power for applications requiring logical reason...

An object-oriented knowledge-based system developed on a new knowledge representation paradigm is presented. The high-level architecture includes a problem-solving engine, a user interface, and tools. The low-level architecture is described by more than fifty different kinds of objects that are implemented in the system as Smalltalk classes. A problem-solving engine implements a knowledge sourc...

......................................................................................................................... iii LIST OF FIGURES ..................................................................................................................vi LIST OF TABLES .................................................................................................................. vii LIST...

Due to timely process of WTO negotiations, unwillingness of advanced industrial countries to give concessions to developing economies regarding tariff and non-tariff barriers on agricultural commodity imports, the ongoing initiatives in Northern hemisphere to establish new and wider free trading areas which will divert trade out of the market from Asian countries, and ineffectiveness of deepeni...