2209 search results - page 245 / 442 » Language Based Secure Communication |
131
Voted
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
164
click to vote
ADAEUROPE
2010
Springer
15 years 8 months ago
2010
Springer
Because multicore CPUs have become the standard with all major hardware manufacturers, it becomes increasingly important for ing languages to provide programming abstractions that ...
138
click to vote
CIA
2006
Springer
15 years 7 months ago
2006
Springer
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
166
click to vote
RULES
1993
Springer
15 years 8 months ago
1993
Springer
Objects are collected into an object base because of a presumed need for cooperation among them. In classical object bases the cooperation is based on synchronous, preplanned mess...
142
click to vote
MASCOTS
2007
15 years 5 months ago
2007
— We propose a hierarchical Connected Dominating Set (CDS) based algorithm for clustering in Mobile Ad hoc Networks (MANETs). Our algorithm is an extension of our previous Connec...