1114 search results - page 85 / 223 » An Architecture for Peer-to-peer Reasoning |
176
click to vote
KBSE
2006
IEEE
16 years 26 days ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
202
click to vote
DSVIS
2005
Springer
16 years 12 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
170
click to vote
EUROPAR
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Simulation platforms for network processing still have difficulties in finding a good compromise between speed and accuracy. This makes it difficult to identify the caus...
188
click to vote
EWCBR
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we present an agent-based application of a wireless tourist guide that combines the Beliefs-Desires-Intentions approach with learning capabilities of Case Base Reason...
177
Voted
GCC
2003
Springer
16 years 2 days ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...