Sciweavers

4880 search results - page 280 / 976
» Mechanism Design by Creditability
Sort
View
DAC
1998
ACM
16 years 7 months ago
Watermarking Techniques for Intellectual Property Protection
Digital system designs are the product of valuable effort and knowhow. Their embodiments, from software and HDL program down to device-level netlist and mask data, represent caref...
Andrew B. Kahng, John Lach, William H. Mangione-Sm...
HAID
2008
Springer
15 years 7 months ago
An Audio-Haptic Aesthetic Framework Influenced by Visual Theory
Sound is touch at a distance. The vibration of pressure waves in the air creates sounds that our ears hear, at close range, these pressure waves may also be felt as vibration. This...
Angela Chang, Conor O'Sullivan
POPL
2003
ACM
16 years 7 months ago
A type system for higher-order modules
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
Derek Dreyer, Karl Crary, Robert Harper
IROS
2006
IEEE
127views Robotics» more  IROS 2006»
16 years 23 days ago
Performance Optimization of All-Terrain Robots: A 2D Quasi-Static Tool
- The creation of a rover for a specific task requires designing and selecting the mechanical structure specifically for its mission. This can be done by modelling a chassis and ev...
Ambroise Krebs, Thomas Thueer, Stephane Michaud, R...
BIRTHDAY
2004
Springer
16 years 4 days ago
Incremental Reasoning for Object Oriented Systems
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
Neelam Soundarajan, Stephen Fridella