Sciweavers

222 search results - page 13 / 45
» Graphically explaining norms
Sort
View
TOSEM
2002
93views more  TOSEM 2002»
14 years 11 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 10 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
DCC
2011
IEEE
14 years 6 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 4 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 4 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 ...