Sciweavers

2493 search results - page 137 / 499
» A survey of network virtualization
Sort
View
SNPD
2008
15 years 7 months ago
Tools and Techniques for Model Checking Networked Programs
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
INFOCOM
2007
IEEE
16 years 23 days ago
An Open and Scalable Emulation Infrastructure for Large-Scale Real-Time Network Simulations
— We present a software infrastructure that embeds physical hosts in a simulated network. Aiming to create a largescale real-time virtual network testbed, our real-time interacti...
Jason Liu, Scott Mann, Nathanael Van Vorst, Keith ...
AGILE
2009
Springer
281views GIS» more  AGILE 2009»
16 years 1 months ago
3D Wayfinding Choremes: A Cognitively Motivated Representation of Route Junctions in Virtual Environments
Research in cognitive sciences suggests that orientation and navigation along routes can be improved if the graphical representation is aligned with the user’s mental concepts o...
Tassilo Glander, Denise Peters, Matthias Trapp, J&...
ECOOPW
1999
Springer
15 years 10 months ago
Security in Active Networks
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
D. Scott Alexander, William A. Arbaugh, Angelos D....
ICNSC
2008
IEEE
16 years 27 days ago
A Self-Configuring Communication Virtual Machine
Today's communication-based applications are mostly crafted in a stovepipe development paradigm, which is inflexible to be used by various domain-specific applications and cos...
Seyed Masoud Sadjadi, Selim Kalayci, Yi Deng