2859 search results - page 397 / 572 » A Programming Environment for Bousi-Prolog |
195
click to vote
TCC
2005
Springer
15 years 12 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
167
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
164
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
191
click to vote
SDMW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
153
click to vote
ICALT
2003
IEEE
15 years 11 months ago
2003
IEEE
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...