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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Human behavior
biblio
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
Submitted by
aekwall
on Mon, 12/09/2019 - 11:11am
Human behavior
pubcrawl
Human Factors
dependent refinement types
dependent temporal effects
fixpoint logic
higher-order programs
temporal verification
Computing Theory and Compositionality
biblio
Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
Submitted by
aekwall
on Mon, 12/09/2019 - 11:11am
Human behavior
pubcrawl
Human Factors
(max
+) algebra
compositions
scenario-aware dataflow
Computing Theory and Compositionality
biblio
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes
Submitted by
aekwall
on Mon, 12/09/2019 - 11:11am
Human behavior
pubcrawl
Human Factors
Compositionality
Dissipativity Theory
Finite Markov Decision Processes
Interconnected Stochastic Control Systems
Computing Theory and Compositionality
biblio
Concurrency and Probability: Removing Confusion, Compositionally
Submitted by
aekwall
on Mon, 12/09/2019 - 11:11am
Computing Theory and Compositionality
Confusion
dynamic nets
Human behavior
Human Factors
OR causality
persistent places
Petri nets
pubcrawl
biblio
Constructing Control System Abstractions from Modular Components
Submitted by
aekwall
on Mon, 12/09/2019 - 11:10am
Human behavior
pubcrawl
Human Factors
Compositionality
Finite abstractions
Interconnected Systems
Computing Theory and Compositionality
biblio
EL-SEC: ELastic Management of Security Applications on Virtualized Infrastructure
Submitted by
grigby1
on Thu, 12/05/2019 - 9:53am
Attack Analyzer
autonomic VNF instances scaling
clean slate
Cloud Computing
cloud infrastructure
collaboration
computer network security
Control Theory
EL-SEC framework
elastic management of security applications
Elastic Manager
GENI testbed
Human behavior
Human Factors
internetworking
Intrusion Detection
Load management
Metrics
Monitoring
Noise measurement
PI control
PI controllers
PID controllers
Policy
Policy Based Governance
policy governance
proportional integral derivative controllers
pubcrawl
Recursive InterNetwork Architecture
resilience
Resiliency
RINA
SDN
Snort intrusion detection system
software defined networking
three-term control
virtual machines
virtualisation
virtualized infrastructure
virtualized network functions
virtualized security NFs
VNF Snort instances
biblio
Securing Named Data Networks: Challenges and the Way Forward
Submitted by
grigby1
on Thu, 12/05/2019 - 9:53am
Access Control
clean slate
collaboration
confidentiality
edge computing
Human behavior
Human Factors
integrity
Metrics
named data networks
Policy
Policy Based Governance
policy governance
privacy
pubcrawl
resilience
Resiliency
security
biblio
A Survey of End-System Optimizations for High-Speed Networks
Submitted by
grigby1
on Thu, 12/05/2019 - 9:53am
clean slate
collaboration
end-system bottleneck
experimental analysis
flow control
high-speed networks
Human behavior
Human Factors
Metrics
Policy
Policy Based Governance
policy governance
pubcrawl
queueing model
rate-based protocol
resilience
Resiliency
biblio
VerifiedFT: A Verified, High-Performance Precise Dynamic Race Detector
Submitted by
grigby1
on Thu, 12/05/2019 - 9:52am
clean slate
collaboration
Concurrency
Data Races
dynamic analysis
Human behavior
Human Factors
Metrics
Policy
Policy Based Governance
policy governance
pubcrawl
resilience
Resiliency
biblio
Software Defined Infrastructure: Rethinking Cybersecurity with a More Capable Toolset
Submitted by
grigby1
on Thu, 12/05/2019 - 9:52am
clean slate
collaboration
Cybersecurity
Human behavior
Human Factors
Metrics
Policy
Policy Based Governance
policy governance
pubcrawl
resilience
Resiliency
SDI
security
software defined
software defined infrastructure
Virtualization
1
2
3
4
5
6
7
8
9
…
next ›
last »