A Model-driven Approach for the Analysis of Multimedia Document

This paper recalls that the problem of estimating the state vector of a nonlinear dynamic system can be interpreted as a constraint satisfaction problem over continuous domains with

Different verification techniques shall be used to analyze multimedia documents: (i) Consistency reasoning with description logic [1] will be used for verifying document

In this context, adapting consists of finding a set of relation graphs corresponding to possible executions (i.e., respecting adaptation constraints) at a minimal distance from

• SIMAN provides a single interface for the site administra- tor to define users' quota limits, Terminal Security System (TSS) data, and system security data. TSS permits each

When used in conjunction with MS-CHAP-2 authentication, the initial MPPE session keys are derived from the peer’s Windows NT password.. The first step is to obfuscate the

main task based on two-tier classification. In the sub-task, we submit two RUNs: i) RUN 1 (required): apply only foren- sic features described in Section 2.1, ii) RUN 2: apply

In Section 3 we illustrated that the fiction of sequential consistency provided by the lock specification allows us to reason about shared mutable data structures shared through

Based on a dynamic path consistency algorithm, our proposed method maintains the consistency of spatial information after adding new instances of topological relations described