6 search results - page 1 / 2 » Competitive and Deterministic Embeddings of Virtual Networks |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Network virtualization is a paradigm that allows for flexible and efficient allocation of the resources among multiple virtual networks (VNets). In this paper we deal with the p...
INFOCOM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Recently network virtualization has been proposed as a promising way to overcome the current ossification of the Internet by allowing multiple heterogeneous virtual networks (V...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
The analysis of externalities in technology-based networks continues to be of significant managerial importance in e-commerce and traditional IS operations. Competitive strategy, ...
CORR
2011
Springer
12 years 8 months ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...
IFM
2005
Springer
13 years 10 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...