402 search results - page 53 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
134
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
109
click to vote
ECTEL
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...
106
click to vote
SIGMOD
2004
ACM
16 years 1 months ago
2004
ACM
Today, the travel information services are dominantly provided by Global Distribution Systems (GDS). The Global Distribution Systems provide access to real time availability and p...
113
click to vote
SERVICES
2008
15 years 2 months ago
2008
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...
120
click to vote
PODC
2011
ACM
14 years 4 months ago
2011
ACM
We present a cryptographic framework to achieve access control, privacy of social relations, secrecy of resources, and anonymity of users in social networks. The main idea is to u...