950 search results - page 78 / 190 » Modified global k |
DAC
1994
ACM
14 years 2 months ago
1994
ACM
Abstract - We address the problem of automatically verifying large digital designs at the logic level, against high-level specifications. In this paper, we present a methodology wh...
ACISP
2007
Springer
14 years 2 months ago
2007
Springer
Compact e-cash schemes allow a user to withdraw a wallet containing k coins in a single operation, each of which the user can spend unlinkably. One big open problem for compact e-c...
CAINE
2003
13 years 11 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
IMAGING
2001
13 years 11 months ago
2001
Recently, with the advent of printers with more than four colorants, the development of characterization and calibration techniques for these printers has been an important area o...
IVC
2006
13 years 10 months ago
2006
In recent years, the chaos based cryptographic algorithms have suggested some new and efficient ways to develop secure image encryption techniques.Inthis communication,weproposea ...