Sciweavers

847 search results - page 77 / 170
» An Algebra for Features and Feature Composition
Sort
View
CN
2006
117views more  CN 2006»
13 years 7 months ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance
MICCAI
2003
Springer
14 years 8 months ago
Tensor Splats: Visualising Tensor Fields by Texture Mapped Volume Rendering
Abstract. We describe a new method for visualising tensor fields using a textured mapped volume rendering approach, tensor-splatting. We use an image order method to calculate the ...
Abhir Bhalerao, Carl-Fredrik Westin
HAPTICS
2009
IEEE
14 years 2 months ago
Graphical authoring tools for vibrotactile patterns
This paper presents two graphical authoring tools, posVibEditor and VibScoreEditor, developed for the intuitive and convenient design of vibrotactile patterns. The posVibEditor is...
Jaebong Lee, Jonghyun Ryu, Seungmoon Choi
DSN
2008
IEEE
14 years 2 months ago
Architectural dependability evaluation with Arcade
This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine ...
Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haver...
FBIT
2007
IEEE
14 years 2 months ago
Classification of Cell Membrane Proteins
Membrane proteins are an important class of proteins that serve as channels, receptors, and energy transducers in a cell membrane. Knowledge of a given type of cell membrane prote...
Seyed Koosha Golmohammadi, Lukasz A. Kurgan, Brend...