285 search results - page 4 / 57 » Relating two formal models of path-vector routing |
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
Semantic preorders between processes are usually applied in practice to model approximation or implementation relationships. For interactive models these preorders depend crucially...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
COSIT
1997
Springer
15 years 1 months ago
1997
Springer
It is well-known that route distance estimates are influenced by the structure of the route. In particular, the number of features along the route (e.g. landmarks) and the structu...
BROADNETS
2006
IEEE
15 years 3 months ago
2006
IEEE
Secure routing protocols for mobile ad hoc networks have been developed recently, yet, it has been unclear what are the properties they achieve, as a formal analysis of these prot...
ICCS
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We have been witnessing an explosion of user involvement in knowledge creation, publication and access both from within and between organisations. This is partly due to t...