1021 search results - page 140 / 205 » Concepts in Proof Planning |
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Coordination is the process of managing the possible interactions between activities and processes; a mechanism to handle such interactions is known as a coordination reg...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
This paper proposes the live demonstration of a prototype of MINERVA1 , a novel P2P Web search engine. The search engine is layered on top of a DHT-based overlay network that conn...
WWIC
2005
Springer
14 years 2 months ago
2005
Springer
The widespread use of Mobile Ad Hoc Networks (MANETs) in many fields of applications has led to the continuous development of routing protocols which can perform well when deployed...
CF
2004
ACM
14 years 2 months ago
2004
ACM
Current processor and multiprocessor architectures are almost all based on the Von Neumann paradigm. Based on this paradigm, one can build a general-purpose computer using very fe...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
Ubiquitous Computing bears a high potential in the area of aircraft maintenance. Extensive requirements regarding quality, safety, and documentation as well as high costs for havi...