1723 search results - page 206 / 345 » Generalized file system dependencies |
138
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
We describe a short signature scheme that is strongly existentially unforgeable under an adaptive chosen message attack in the standard security model. Our construction works in g...
138
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
A new sub-optimal subset search method for feature selection is introduced. As opposed to other till now known subset selection methods the oscillating search is not dependent on ...
131
Voted
ECSQARU
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
138
click to vote
TACAS
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We have argued previously that the e ectiveness of a veri cation system derives not only from the power of its individual features for expression and deduction, but from ...
139
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
Parallel closed-chainmechanical architectures allow for redundant actuation in the force domain. Antagonistic actuation, afforded by this input force redundancy, in conjunction wi...