2701 search results - page 451 / 541 » On the form of witness terms |
167
click to vote
UIST
2006
ACM
16 years 10 days ago
2006
ACM
With the availability of affordable new desktop fabrication techniques such as 3D printing and laser cutting, physical models are used increasingly often during the architectural ...
195
click to vote
VALUETOOLS
2006
ACM
16 years 10 days ago
2006
ACM
Cache locality optimization is an efficient way for reducing the idle time of modern processors in waiting for needed data. This kind of optimization can be achieved either on the...
199
click to vote
VEE
2006
ACM
16 years 10 days ago
2006
ACM
One of the most common forms of security attacks involves exploiting a vulnerability to inject malicious code into an executing application and then cause the injected code to be ...
177
click to vote
VEE
2006
ACM
16 years 10 days ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
179
click to vote
WPES
2006
ACM
16 years 10 days ago
2006
ACM
Recent trends in Internet computing have led to the popularization of many forms of virtual organizations. Examples include supply chain management, grid computing, and collaborat...