Sciweavers

5184 search results - page 669 / 1037
» The digital divide of computing
Sort
View
ISSS
2002
IEEE
148views Hardware» more  ISSS 2002»
15 years 11 months ago
A Case Study of Hardware and Software Synthesis in ForSyDe
ForSyDe (FORmal SYstem DEsign) is a methodology which addresses the design of SoC applications which may contain control as well as data flow dominated parts. Starting with a for...
Ingo Sander, Axel Jantsch, Zhonghai Lu
180
Voted
NDSS
2002
IEEE
15 years 11 months ago
Advanced Client/Server Authentication in TLS
Many business transactions on the Internet occur between strangers, that is, between entities with no prior relationship and no common security domain. Traditional security approa...
Adam Hess, Jared Jacobson, Hyrum Mills, Ryan Wamsl...
PG
2002
IEEE
15 years 11 months ago
An Efficient Brush Model for Physically-Based 3D Painting
Figure 1: Calligraphy made with our system This paper presents a novel 3D brush model consisting of a skeleton and a surface, which is deformed through constrained energy minimiza...
Nelson Siu-Hang Chu, Chiew-Lan Tai
EUROCRYPT
2001
Springer
15 years 11 months ago
Evidence that XTR Is More Secure than Supersingular Elliptic Curve Cryptosystems
Abstract. We show that finding an efficiently computable injective homomorphism from the XTR subgroup into the group of points over GF(p2 ) of a particular type of supersingular e...
Eric R. Verheul
IWVF
2001
Springer
15 years 11 months ago
Grouping Character Shapes by Means of Genetic Programming
In the framework of an evolutionary approach to machine learning, this paper presents the preliminary version of a learning system that uses Genetic Programming as a tool for autom...
Claudio De Stefano, Antonio Della Cioppa, Angelo M...