402 search results - page 55 / 81 » Verification of Distributed Knowledge in Semantic Knowledge ... |
113
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...
134
click to vote
ATAL
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Workflows represent the coordination requirements of various distributed operations in an organisation; workflows neatly capture business processes, and are particularly ...
112
click to vote
IEEEAMS
2003
IEEE
15 years 6 months ago
2003
IEEE
SHARK is a novel concept and middleware service for search in peer-to-peer (P2P) networks. Rather than flooding a network like Gnutella or imposing numerical IDs on objects like d...
112
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
102
click to vote
PDIS
1993
IEEE
15 years 5 months ago
1993
IEEE
semantic knowledge all concurrent partitionedAbstract updates to an object must be treated as conflicting, andOptimistic replication is an important technique for merged manually b...