Sciweavers

847 search results - page 47 / 170
» An Algebra for Features and Feature Composition
Sort
View
FSE
2005
Springer
107views Cryptology» more  FSE 2005»
15 years 3 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
15 years 3 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
15 years 1 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»
14 years 9 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
15 years 11 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