4052 search results - page 638 / 811 » integration 2007 |
174
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper ...
182
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...
203
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
184
click to vote
CEAS
2007
Springer
16 years 1 months ago
2007
Springer
Email has become an integral and sometimes overwhelming part of users’ personal and professional lives. In this paper, we measure the flow and frequency of user email toward th...
233
click to vote
CEFP
2007
Springer
16 years 1 months ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...