Sciweavers

3238 search results - page 501 / 648
» Multi-return function call
Sort
View
CORR
2010
Springer
112views Education» more  CORR 2010»
14 years 10 months ago
Doubly Perfect Nonlinear Boolean Permutations
Due to implementation constraints the XOR operation is widely used in order to combine plaintext and key bit-strings in secretkey block ciphers. This choice directly induces the cl...
Laurent Poinsot
68
Voted
CORR
2008
Springer
89views Education» more  CORR 2008»
14 years 10 months ago
Disjunctive Databases for Representing Repairs
This paper addresses the problem of representing the set of repairs of a possibly inconsistent database by means of a disjunctive database. Specifically, the class of denial constr...
Cristian Molinaro, Jan Chomicki, Jerzy Marcinkowsk...
DAM
2008
123views more  DAM 2008»
14 years 10 months ago
Ultrametrics, Banach's fixed point theorem and the Riordan group
We interpret the reciprocation process in K[[x]] as a fixed point problem related to contractive functions for certain adequate ultrametric spaces. This allows us to give a dynamic...
Ana Luzón, Manuel A. Morón
ENTCS
2010
77views more  ENTCS 2010»
14 years 10 months ago
Transparent First-class Futures and Distributed Components
Futures are special kind of values that allow the synchronisation of different processes. Futures are in fact identifiers for promised results of function calls that are still awa...
Antonio Cansado, Ludovic Henrio, Eric Madelaine
IA
2006
137views more  IA 2006»
14 years 10 months ago
Automated Reasoning
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
Maria Paola Bonacina, Alberto Martelli