Sciweavers

4209 search results - page 527 / 842
» Abstract Dialectical Frameworks
Sort
View
CSAC
2006
15 years 6 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
DAGSTUHL
2006
15 years 6 months ago
Adaptive Triangular System Solving
Abstract. We propose a new adaptive algorithm for the exact simultaneous resolution of several triangular systems over finite fields: it is composed of several practicable variants...
Jean-Guillaume Dumas, Clément Pernet, Jean-...
DBSEC
2006
160views Database» more  DBSEC 2006»
15 years 6 months ago
On Finding an Inference-Proof Complete Database for Controlled Query Evaluation
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
Joachim Biskup, Lena Wiese
EPK
2004
215views Management» more  EPK 2004»
15 years 6 months ago
ARIS meets RUP: The ARIS Unified Information System Development Process
Abstract: Starting from the Rational Unified Process RUP and the ARIS life cycle model the ARIS Unified Information System Development Process AUP is designed. Similar as the RUP i...
Martin Plümicke
ECIR
2006
Springer
15 years 6 months ago
Lexical Entailment for Information Retrieval
Abstract. Textual Entailment has recently been proposed as an application independent task of recognising whether the meaning of one text may be inferred from another. This is pote...
Stéphane Clinchant, Cyril Goutte, Ér...