28962 search results - page 323 / 5793 » Computational Mechanism Design |
160
click to vote
ACSAC
2005
IEEE
16 years 9 days ago
2005
IEEE
An increasing variety of malware, such as worms, spyware and adware, threatens both personal and business computing. Remotely controlled bot networks of compromised systems are gr...
136
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
The Fast Ocean Atmosphere Model (FOAM) is a climate system model intended for application to climate science questions that require long simulations. FOAM is a distributed-memory p...
165
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...
160
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
This paper introduces a novel interface for digitallyaugmented cooperative play. We present the concept of the "athletic-tangible interface," a new class of interaction ...
157
click to vote
IPL
2007
15 years 6 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...