Sciweavers

222 search results - page 13 / 45
» Graphically explaining norms
Sort
View
TOSEM
2002
93views more  TOSEM 2002»
14 years 9 months ago
Alloy: a lightweight object modelling notation
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
Daniel Jackson
ICIDS
2010
Springer
14 years 8 months ago
The Haiti Earthquake Experience: A Case Study
The author summarizes his experience creating a story-based simulation from raw documentary footage taken in the aftermath of the 2010 earthquake in Haiti. The use of Propp’s typ...
Michael Gibson, President Zapdramatic
91
Voted
DCC
2011
IEEE
14 years 5 months ago
Quaternary Golay sequence pairs I: even length
The origin of all 4-phase Golay sequences and Golay sequence pairs of even length at most 26 is explained. The principal techniques are the three-stage construction of Fiedler, Je...
Richard G. Gibson, Jonathan Jedwab
RT
1999
Springer
15 years 2 months ago
Real-Time Rendering of Real World Environments
: One of the most important goals of interactive computer graphics is to allow a user to freely walk around a virtual recreation of a real environment that looks as real as the wor...
David K. McAllister, Lars S. Nyland, Voicu Popescu...
FSE
2010
Springer
180views Cryptology» more  FSE 2010»
15 years 2 months ago
Fast Software AES Encryption
This paper presents new software speed records for AES-128 encryption for architectures at both ends of the performance spectrum. On the one side we target the low-end 8-bit AVR mi...
Dag Arne Osvik, Joppe W. Bos, Deian Stefan, David ...