974 search results - page 16 / 195 » Formal Modeling of Communication Traces |
GLOBECOM
2009
IEEE
14 years 2 months ago
2009
IEEE
—With the wide spread deployment of wireless LANs (WLANs), it is becoming necessary to conduct analysis of libraries of measurements taken from such operational networks. The ava...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
—Accurately simulating user movements in Mobile Ad hoc Networks (MANETs) is very important to the prediction of actual network and user performance. Therefore, using a realistic ...
INFOCOM
2005
IEEE
14 years 29 days ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
PODC
2003
ACM
14 years 18 days ago
2003
ACM
Traitor Tracing Schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, each decryption key is...
PCI
2001
Springer
13 years 11 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...