Sciweavers

10819 search results - page 407 / 2164
» Addition and multiplication of sets
Sort
View
IEEEARES
2006
IEEE
16 years 26 days ago
Making Web Services Dependable
Web Services offer great promise for integrating and automating software applications within and between enterprises over the Internet. However, ensuring that Web Services are dep...
Louise E. Moser, P. M. Melliar-Smith, Wenbing Zhao
CHES
2004
Springer
155views Cryptology» more  CHES 2004»
16 years 6 days ago
A Low-Cost ECC Coprocessor for Smartcards
Abstract. In this article we present a low-cost coprocessor for smartcards which supports all necessary mathematical operations for a fast calculation of the Elliptic Curve Digital...
Harald Aigner, Holger Bock, Markus Hütter, Jo...
ICSM
2002
IEEE
15 years 11 months ago
Pretty-Printing for Software Reengineering
Automatic software reengineerings change or repair existing software systems. They are usually tailor-made for a specific customer and language dependent. Maintaining similar ree...
Merijn de Jonge
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 10 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
MCS
2000
Springer
15 years 10 months ago
Analysis of a Fusion Method for Combining Marginal Classifiers
The use of multiple features by a classifier often leads to a reduced probability of error, but the design of an optimal Bayesian classifier for multiple features is dependent on t...
Mark D. Happel, Peter Bock