12023 search results - page 2134 / 2405 » The K-Rep System Architecture |
158
click to vote
CAV
2004
Springer
16 years 2 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
171
click to vote
DBISP2P
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...
190
click to vote
EAGC
2004
Springer
16 years 2 days ago
2004
Springer
AS complexity of computational applications and their environments has been increased due to the heterogeneity of resources; complexity, continuous changes of the applications as w...
199
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...
174
click to vote
HSNMC
2004
Springer
16 years 2 days ago
2004
Springer
Decentralized and unstructured peer-to-peer (P2P) networks such as Gnutella are attractive for large-scale information retrieval and search systems due to scalability, fault-tolera...