1280 search results - page 214 / 256 » Soft Typing with Conditional Types |
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Although distributed Group Support Systems (GSS) are getting popular, there are still some limitations. One of the limitations is few substitutions for face-to-face (FTF) interact...
GECCO
2003
Springer
14 years 2 months ago
2003
Springer
The formation of fruiting bodies by myxobacteria colonies involves altruistic suicide by many individual bacteria and is thus vulnerable to exploitation by cheating mutants. We rep...
ICS
2010
Tsinghua U.
14 years 1 months ago
2010
Tsinghua U.
Because of their tremendous computing power and remarkable cost efficiency, GPUs (graphic processing unit) have quickly emerged as an influential computing platform for a broad ...
CHI
2010
ACM
14 years 5 days ago
2010
ACM
We conducted a series of user studies to understand and clarify the fundamental characteristics of pressure in user interfaces for mobile devices. We seek to provide insight to cl...