9818 search results - page 221 / 1964 » Much Support and More |
149
click to vote
ICLP
1989
Springer
1989
Springer
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
15 years 10 months ago
It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of...
157
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
This paper provides details of an in-depth investigation into how racing sailors use information displays and devices, and shows that these devices act as communication loci and i...
160
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
There has been a growing interest to develop technologies for laboratory environments. However, existing systems are underdeployed in real research labs. In order to create more s...
195
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
174
click to vote
DBSEC
2007
15 years 8 months ago
2007
In this paper, we take a closer look at the security of outsourced databases (aka Database-as-the-Service or DAS), a topic of emerging importance. DAS allows users to store sensit...