13489 search results - page 612 / 2698 » Operating System |
195
click to vote
WSC
2008
15 years 9 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
227
click to vote
ACSW
2007
2007
A Privacy Enhancing Mechanism based on Pseudonyms for Identity Protection in Location-Based Services
15 years 8 months ago
Over the past years Mobile Business has gained significant progress not only because of higher transfer rates as well as advanced processing power and memory capabilities of netw...
248
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
System-level virtualization has been a research topic since the 70’s but regained popularity during the past few years because of the availability of efficient solution such as...
222
click to vote
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
217
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we present the design and implementation of Dodo, an e cient user-level system for harvesting idle memory in o -the-shelf clusters of workstations. Dodo enables dat...