Sciweavers

9186 search results - page 1543 / 1838
» A Module System for Scheme
Sort
View
SMA
1993
ACM
107views Solid Modeling» more  SMA 1993»
15 years 7 months ago
Relaxed parametric design with probabilistic constraints
: Parametric design is an important modeling paradigm in computer aided design. Relationships (constraints) between the degrees of freedom (DOFs) of the model, instead of the DOFs ...
Yacov Hel-Or, Ari Rappoport, Michael Werman
VL
1992
IEEE
192views Visual Languages» more  VL 1992»
15 years 7 months ago
Graphic Object Layout with Interactive Genetic Algorithms
Automatic graphic objectlayout methods havelong been studied in many application areas in which graphic objects should be laid out to satisfy the constraints specific to each appl...
Toshiyuki Masui
ASPDAC
2007
ACM
116views Hardware» more  ASPDAC 2007»
15 years 7 months ago
VLSI Design of Multi Standard Turbo Decoder for 3G and Beyond
Turbo decoding architectures have greater error correcting capability than any other known code. Due to their excellent performance turbo codes have been employed in several trans...
Imran Ahmed, Tughrul Arslan
CCS
2009
ACM
15 years 7 months ago
On the difficulty of software-based attestation of embedded devices
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...
Claude Castelluccia, Aurélien Francillon, D...
ECWEB
2007
Springer
155views ECommerce» more  ECWEB 2007»
15 years 7 months ago
A Secure Payment Protocol for Restricted Connectivity Scenarios in M-Commerce
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
Jesús Téllez Isaac, José Sier...
« Prev « First page 1543 / 1838 Last » Next »