Sciweavers

847 search results - page 47 / 170
» An Algebra for Features and Feature Composition
Sort
View
FSE
2005
Springer
107views Cryptology» more  FSE 2005»
14 years 1 months ago
Small Scale Variants of the AES
In this paper we define small scale variants of the AES. These variants inherit the design features of the AES and provide a suitable framework for comparing different cryptanaly...
Carlos Cid, Sean Murphy, Matthew J. B. Robshaw
SIGSOFT
2004
ACM
14 years 1 months ago
A type system for object models
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...
Jonathan Edwards, Daniel Jackson, Emina Torlak
AADEBUG
1993
Springer
13 years 11 months ago
Animators for Generated Programming Environments
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
Frank Tip
ENTCS
2010
119views more  ENTCS 2010»
13 years 7 months ago
Bio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
Federica Ciocchetta, Jane Hillston
ICIP
1998
IEEE
14 years 9 months ago
EXM Eigen Templates for Detecting and Classifying Arbitrary Junctions
A novel method for extracting parametric junction and corner features in images is presented. By treating each complex feature as a combination of elementary line and edge feature...
Dibyendu Nandy, Jezekiel Ben-Arie