12981 search results - page 2466 / 2597 » Model Checking and Abstraction |
113
click to vote
ICSNW
2004
Springer
15 years 7 months ago
2004
Springer
Peer-to-Peer systems have proven to be an effective way of sharing data. Modern protocols are able to efficiently route a message to a given peer. However, determining the destin...
120
click to vote
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
114
click to vote
MFCS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
120
click to vote
MMAS
2004
Springer
15 years 6 months ago
2004
Springer
d to submit first an abstract (to signal your interest and contribution) and then a full paper (for review) to the workshop. All accepted papers will be published as a volume from ...
149
click to vote
PKDD
2004
Springer
15 years 6 months ago
2004
Springer
The next wave in search technology will be driven by the identification, extraction, and exploitation of real-world entities represented in unstructured textual sources. Search sy...