8655 search results - page 196 / 1731 » Challenges for Trusted Computing |
ENTCS
2006
14 years 10 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
ERCIM
2007
14 years 10 months ago
2007
t of view of the service itself. It is an abstracted version of the original service. An operating guideline of a service represents the possible communication behaviours of partne...
DGO
2011
13 years 10 months ago
2011
We consider open government (OG) within the context of egovernment and its broader implications for the future of public administration. We argue that the current US Administratio...
ATAL
2009
Springer
15 years 3 months ago
2009
Springer
Our work presents a mechanism designed for the selection of the optimal information provider in a multi-agent, heterogeneous and unsupervised monitoring system. The selfadaptation...
WMCSA
2008
IEEE
15 years 5 months ago
2008
IEEE
Virtual machine (VM) migration has been proposed as a building block for mobile computing. An important challenge for VM migration is to optimize the transfer of large amounts of ...