2989 search results - page 258 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
174
click to vote
CCS
2005
ACM
16 years 15 hour ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
155
click to vote
ICSM
2005
IEEE
16 years 2 days ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
164
click to vote
VG
2001
15 years 7 months ago
2001
The proper usage and creation of transfer functions for time-varying data sets is an often ignored problem in volume visualization. Although methods and guidelines exist for time-i...
181
click to vote
3DIM
2007
IEEE
16 years 25 days ago
2007
IEEE
In this contribution we introduce the Multiocular Contracting Curve Density algorithm (MOCCD), a novel method for fitting a 3D parametric curve. The MOCCD is integrated into a tr...
246
click to vote
ARVLSI
1995
IEEE
15 years 10 months ago
1995
IEEE
Precomputation is a recently proposed logic optimization technique which selectively disables the inputs of a sequential logic circuit, thereby reducing switching activity and pow...