Sciweavers

11168 search results - page 1529 / 2234
» Abstract State Processes
Sort
View
SACRYPT
2007
Springer
145views Cryptology» more  SACRYPT 2007»
16 years 23 days ago
Passive-Only Key Recovery Attacks on RC4
Abstract. We present several weaknesses in the key scheduling algorithm of RC4 when the secret key contains an initialization vector – a cryptographic scheme typically used by th...
Serge Vaudenay, Martin Vuagnoux
SAMT
2007
Springer
138views Multimedia» more  SAMT 2007»
16 years 23 days ago
A Constraint-Based Graph Visualisation Architecture for Mobile Semantic Web Interfaces
Abstract. Multimodal and dialogue-based mobile interfaces to the Semantic Web offer access to complex knowledge and information structures. We explore more fine-grained co-ordina...
Daniel Sonntag, Philipp Heim
175
Voted
SAMT
2007
Springer
108views Multimedia» more  SAMT 2007»
16 years 23 days ago
Document Layout Substructure Discovery
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...
Claudio Andreatta
SARA
2007
Springer
16 years 23 days ago
Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...
Ian P. Gent, Ian Miguel, Andrea Rendl
SAT
2007
Springer
96views Hardware» more  SAT 2007»
16 years 23 days ago
From Idempotent Generalized Boolean Assignments to Multi-bit Search
Abstract. This paper shows that idempotents in finite rings of integers can act as Generalized Boolean Assignments (GBA’s) by providing a completeness theorem. We introduce the ...
Marijn Heule, Hans van Maaren
« Prev « First page 1529 / 2234 Last » Next »