7918 search results - page 330 / 1584 » Model Composition Directives |
148
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
149
click to vote
SPLC
2010
15 years 6 months ago
2010
Feature-Oriented Programming (FOP) is a programming paradigm for developing programs by composing features. It is especially useful for software product line development, as each p...
134
click to vote
ICAD
2004
15 years 6 months ago
2004
For the ICAD conference 2004 in Sydney a sonification of ECG and other data was carried out to merge the boundaries between artistic sonification and scientific auditory display. ...
199
click to vote
FBT
2000
15 years 6 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
156
Voted
WSCG
2000
15 years 6 months ago
2000
Fast Oriented Line Integral Convolution (FROLIC), which is a variant of LIC, illustrates 2D vector fields by approximating a streamlet by a set of disks with varying intensity. FR...