1833 search results - page 216 / 367 » Mechanized Verification with Sharing |
138
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Decentralized case-based reasoning (DzCBR) is a reasoning framework that addresses the problem of adaptive reasoning in a multi-ontology environment. It is a case-based r...
169
click to vote
ADHOCNOW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Service Location Protocol (SLP) is a standard service discovery protocol proposed by IETF. SLP provides a flexible and scalable service discovery framework over IP netwo...
190
click to vote
AP2PC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
161
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Collaborative work requires, more than ever, access to data located on multiple autonomous and heterogeneous data sources. The development of these novel information platforms, ref...
190
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...