Sciweavers

108 search results - page 18 / 22
» On the division property of S-boxes
Sort
View
ICSE
2003
IEEE-ACM
14 years 9 months ago
The Grand Challenge of Trusted Components
Reusable components equipped with strict guarantees of quality can help reestablish software development on a stronger footing, by taking advantage of the scaling effect of reuse ...
Bertrand Meyer
WICON
2008
13 years 11 months ago
The effect of cooperation at the network protocol level
Abstract--There has been a great deal of attention on cooperative communication which exploits the spatial diversity among antennas belonging to multiple terminals. Most of the exi...
Beiyu Rong, Anthony Ephremides
ALIFE
2007
13 years 9 months ago
Synchronization Phenomena in Surface-Reaction Models of Protocells
A class of generic models of protocells is introduced, which are inspired by the “Los Alamos bug” is but which, due to their abstraction level, can be applied to a wider set o...
Roberto Serra, Timoteo Carletti, Irene Poli
BMCBI
2006
114views more  BMCBI 2006»
13 years 9 months ago
Taxonomic colouring of phylogenetic trees of protein sequences
Background: Phylogenetic analyses of protein families are used to define the evolutionary relationships between homologous proteins. The interpretation of protein-sequence phyloge...
Gareth Palidwor, Emmanuel G. Reynaud, Miguel A. An...
CADE
2009
Springer
14 years 10 months ago
Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
Martin C. Rinard