Sciweavers

2949 search results - page 353 / 590
» Universal Sparse Modeling
Sort
View
99
Voted
ASM
2004
ASM
15 years 6 months ago
The Cryptographic Abstract Machine
tographic Abstract Machine Dean Rosenzweig and Davor Runje University of Zagreb The Cryptographic Abstract Machine is an executional model of cryptographic actions, independent of ...
Dean Rosenzweig, Davor Runje
EUROGP
2004
Springer
109views Optimization» more  EUROGP 2004»
15 years 6 months ago
Extending Grammatical Evolution to Evolve Digital Surfaces with Genr8
Abstract. Genr8 is a surface design tool for architects. It uses a grammarbased generative growth model that produces surfaces with an organic quality. Grammatical Evolution is use...
Martin Hemberg, Una-May O'Reilly
95
Voted
CIE
2010
Springer
15 years 5 months ago
Approximate Self-assembly of the Sierpinski Triangle
The Tile Assembly Model is a Turing universal model that Winfree introduced in order to study the nanoscale self-assembly of complex (typically aperiodic) DNA crystals. Winfree ex...
Jack H. Lutz, Brad Shutters
ISW
2001
Springer
15 years 5 months ago
Suitability of a Classical Analysis Method for E-commerce Protocols
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
Sigrid Gürgens, Javier Lopez
LICS
1997
IEEE
15 years 4 months ago
Full Abstraction for Functional Languages with Control
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
James Laird