157 search results - page 32 / 32 » Debugging formal specifications using simple counterstrategi... |
ESWS
2007
Springer
13 years 11 months ago
2007
Springer
Annotea provides an annotation protocol to support collaborative Semantic Web-based annotation of digital resources accessible through the Web. It provides a model whereby a user m...
WWW
2003
ACM
14 years 5 months ago
2003
ACM
RDF-based P2P networks have a number of advantages compared with simpler P2P networks such as Napster, Gnutella or with approaches based on distributed indices such as CAN and CHO...