402 search results - page 69 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
108
Voted
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper presents work-in-progress towards a C++ source-to-source translator that automatically seeks parallelisable code fragments and replaces them with code for a graphics...
104
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
BIRTHDAY
2010
Springer
15 years 22 days ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
WWW
2007
ACM
16 years 8 days ago
2007
ACM
The debate within the Web community over the optimal means by which to organize information often pits formalized classifications against distributed collaborative tagging systems...