Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Internet architecture
biblio
Centaur: A evolutionary design of hybrid NDN/IP transport architecture for streaming application
Submitted by grigby1 on Thu, 04/20/2017 - 12:34pm
IP overlay
streaming application
Routing protocols
Resiliency
pubcrawl
Prototypes
Proposals
Peer-to-peer computing
NDN streaming distribution
named data networking
Metrics
load balance
IP transmission efficiency
Centaur
IP networks
IP module functions
Internet architecture
internet
hybrid NDN/IP transport architecture
Human behavior
evolutionary design
data transfer
content distribution
computer architecture
collaboration
clean slate
biblio
"Linux XIA: an interoperable meta network architecture to crowdsource the future internet"
Submitted by grigby1 on Tue, 02/21/2017 - 12:24pm
Meta network architecture
zFilter
XIA
TCP/IP
Serval
Runtime
Routing
pubcrawl170103
Protocols
open systems
network evolution
missing catalyst
broader community
Linux XIA
Linux kernel
Linux
Kernel
IP networks
interoperable meta network architecture
interoperability
Internet architecture
internet
future Internet architecture
disparate architectures
biblio
"Applying Formal Methods to Networking: Theory, Techniques, and Applications"
Submitted by grigby1 on Tue, 02/21/2017 - 12:11pm
Internet community
Tutorials
software defined networking
Software
SDN
pubcrawl170103
Protocols
networking protocols
network infrastructure
Mathematics
Internet culture
applying formal methods
Internet architecture
internet
formal verification
formal specifications
formal correctness
Computers
computer networks
Communities
clean slate Internet design
biblio
Applying Formal Methods to Networking: Theory, Techniques, and Applications
Submitted by BrandonB on Tue, 05/05/2015 - 9:53am
Internet community
Tutorials
software defined networking
Software
SDN
Protocols
networking protocols
network infrastructure
Mathematics
Internet culture
applying formal methods
Internet architecture
internet
formal verification
formal specifications
formal correctness
Computers
computer networks
Communities
clean slate Internet design
biblio
Flow-based conflict detection in OpenFlow networks using first-order logic
Submitted by BrandonB on Tue, 05/05/2015 - 9:50am
Internet architecture
unreachable flows
transport protocols
Proposals
OpenFlow network architecture
OpenFlow controller
network elements
network devices
Media Access Protocol
management plane
knowledge based systems
IP networks
centralization architecture
inference mechanisms
inference engine
Indexes
flow-based conflict detection
first-order logic
control systems
control plane
computer network management
Clean Slate initiative
centralized controller
biblio
In-Network Compute Extensions for Rate-Adaptive Content Delivery in Mobile Networks
Submitted by BrandonB on Tue, 05/05/2015 - 9:50am
rate adaptation
Mobility First project
mobility management (mobile radio)
network protocols
non-IP protocols
offloading work
pluggable compute-layer services
programmable nodes
protocol extensions
Protocols
Mobility
rate-adaptive content delivery
Servers
service providers
service-API extensions
Streaming media
trustworthiness
video streaming
video streams
video transcoding
in-network computing
Bit rate
clean slate enhancements
cloud
compute-layer extensions
computer architecture
context-awareness
data plane
en-route service-adaptation
GENI test bed
at-scale mobility
in-network services
internet
Internet architecture
Mobile communication
mobile computing
mobile devices
mobile end-user experience
mobile wireless networks
« first
‹ previous
1
2
