3239 search results - page 550 / 648 » A Logical Process Calculus |
102
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper, an efficient Montgomery multiplier is introduced for the modular exponentiation operation, which is fundamental to numerous public-key cryptosystems. Four aspects a...
125
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
93
Voted
ATS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Up to now, there has been little academic support for the challenges of IT governance/IT management. As a reaction, various best practice frameworks - like COBIT or CMMI - were de...
114
Voted
SI3D
2009
ACM
15 years 7 months ago
2009
ACM
Large amount of human motion capture data have been increasingly recorded and used in animation and gaming applications. Efficient retrieval of logically similar motions from a l...