536 search results - page 97 / 108 » Deconstructing process isolation |
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Fuel cells are clean power sources that have much higher energy densities and lifetimes compared to batteries. However, fuel cells have limited load following capabilities and can...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
WWW
2009
ACM
14 years 9 months ago
2009
ACM
We analyze knowledge production in Computer Science by means of coauthorship networks. For this, we consider 30 graduate programs of different regions of the world, being 8 progra...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We present WebPod, a portable system that enables mobile users to use the same persistent, personalized web browsing session on any Internet-enabled device. No matter what compute...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Rapid growth in the scientific literature makes it increasingly difficult for scientists to keep abreast of findings outside their own narrowing fields of expertise. To help biome...