2364 search results - page 438 / 473 » An Engine for Computing Well-Founded Models |
122
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...
172
Voted
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...
121
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
160
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
With modern LiDAR technology the amount of topographic data, in the form of massive point clouds, has increased dramatically. One of the most fundamental GIS tasks is to construct...
167
Voted
EUROSYS
2010
ACM
16 years 25 days ago
2010
ACM
Cloud computing offers users the ability to access large pools of computational and storage resources on demand. Multiple commercial clouds already allow businesses to replace, or...