Sciweavers

FSE
2006
Springer
101views Cryptology» more  FSE 2006»
14 years 3 months ago
Pseudorandom Permutation Families over Abelian Groups
We propose a general framework for differential and linear cryptanalysis of block ciphers when the block is not a bitstring. We prove piling-up lemmas for the generalized different...
Louis Granboulan, Éric Levieil, Gilles Pire...
ECAI
2006
Springer
14 years 3 months ago
Goal Revision for a Rational Agent
We propose a general framework to represent changes in the mental state of a rational agent due to the acquisition of new information and/or to the arising of new desires; fundamen...
Célia da Costa Pereira, Andrea Tettamanzi, ...
ATAL
2007
Springer
14 years 3 months ago
A unified and general framework for argumentation-based negotiation
This paper proposes a unified and general framework for argumentation-based negotiation, in which the role of argumentation is formally analyzed. The framework makes it possible t...
Leila Amgoud, Yannis Dimopoulos, Pavlos Moraitis
LICS
1994
IEEE
14 years 3 months ago
Logical Bilattices and Inconsistent Data
The notion of a bilattice was rst proposed by Ginsberg as a general framework for many applications. This notion was further investigated and applied for various goals by Fitting....
Ofer Arieli, Arnon Avron
CSFW
2002
IEEE
14 years 4 months ago
Secrecy in Multiagent Systems
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
Joseph Y. Halpern, Kevin R. O'Neill
IPPS
2003
IEEE
14 years 4 months ago
A General Framework for Searching in Distributed Data Repositories
This paper proposes a general framework for searching large distributed repositories. Examples of such repositories include sites with music/video content, distributed digital lib...
Spiridon Bakiras, Panos Kalnis, Thanasis Loukopoul...
STACS
2004
Springer
14 years 4 months ago
Topology Matters: Smoothed Competitiveness of Metrical Task Systems
We consider metrical task systems, a general framework to model online problems. Borodin, Linial and Saks [BLS92] presented a deterministic work function algorithm (WFA) for metric...
Guido Schäfer, Naveen Sivadasan
PARA
2004
Springer
14 years 4 months ago
Structure-Preserving Model Reduction
A general framework for structure-preserving model reduction by Krylov subspace projection methods is developed. The goal is to preserve any substructures of importance in the matr...
Ren-Cang Li, Zhaojun Bai
CSLP
2004
Springer
14 years 4 months ago
Metagrammar Redux
In this paper we introduce a general framework for describing the lexicon of a lexicalised grammar by means of elementary descriptive fragments. The system described hereafter cons...
Benoît Crabbé, Denys Duchier
IH
2005
Springer
14 years 5 months ago
A General Framework for Structural Steganalysis of LSB Replacement
There are many detectors for simple Least Significant Bit (LSB) steganography in digital images, the most sensitive of which make use of structural or combinatorial properties of ...
Andrew D. Ker