1742 search results - page 5 / 349 » A Framework for Network Modeling in Prolog |
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
NECO
2011
13 years 3 months ago
2011
WS
2006
ACM
14 years 2 months ago
2006
ACM
In this paper, we propose a formal notion of network security for ad hoc networks. We adopt a probabilistic security framework, that is, security is defined by a polynomially bou...
EIS
2011
13 years 3 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
EURONGI
2006
Springer
14 years 3 days ago
2006
Springer
This is a framework for resource allocation in a heterogeneous system composed of various access networks, for instance Third Generation wireless networks (3G) and WLAN, in the pre...