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
Stochastic Computing Security
biblio
Probabilistic Model Checking of Perturbed MDPs with Applications to Cloud Computing
Submitted by
grigby1
on Thu, 06/07/2018 - 3:09pm
security
pubcrawl
Scalability
Cloud Computing
resilience
Resiliency
Probabilistic Model Checking
Stochastic computing
uncertainty
Markov Decision Processes
perturbation analysis
Stochastic Computing Security
biblio
Bolt-on Differential Privacy for Scalable Stochastic Gradient Descent-based Analytics
Submitted by
grigby1
on Thu, 06/07/2018 - 3:09pm
virtualization privacy
Data Sanitization
differential privacy
optimization
pubcrawl
resilience
Resiliency
Scalability
scalable data analytics
security
Stochastic computing
Stochastic Computing Security
stochastic gradient descent
biblio
A Game of Things: Strategic Allocation of Security Resources for IoT
Submitted by
grigby1
on Thu, 06/07/2018 - 3:09pm
security
pubcrawl
Scalability
resilience
Resiliency
Stochastic computing
Pareto optimization
stochastic allocation
Internet of Things
network security
Stochastic Computing Security
biblio
Towards a Stochastic Model for Integrated Detection and Filtering of DoS Attacks in Cloud Environments
Submitted by
grigby1
on Thu, 06/07/2018 - 3:09pm
security
pubcrawl
Scalability
Cloud Computing
resilience
Resiliency
Stochastic computing
DoS attacks
Performance modeling
queueing theory
Stochastic Computing Security
biblio
Network Anomaly Detection with Stochastically Improved Autoencoder Based Models
Submitted by
grigby1
on Thu, 06/07/2018 - 3:09pm
Anomaly Detection
anomaly detection models
autoencoder
Computational modeling
Data models
deep learning
denoising autoencoder
Intrusion Detection
Intrusion Detection Systems
KDDTest+ dataset
learning (artificial intelligence)
network anomaly detection
network security
noise reduction
pubcrawl
resilience
Resiliency
Scalability
security
security of data
singular anomaly detection methods
stochastic approach
Stochastic computing
Stochastic Computing Security
Stochastic processes
stochastically improved autoencoder
Training
two deep learning
Zero day attacks
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by
grigby1
on Thu, 06/07/2018 - 3:08pm
formal verification
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
probability
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
domain specific architectural language
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
probability parameters
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
biblio
Shortfall-Based Optimal Security Provisioning for Internet of Things
Submitted by
grigby1
on Thu, 06/07/2018 - 3:08pm
computer network security
continuous topology changes
Economics
Electronic mail
Internet of Things
Internet-of-Things scenarios
Investment
network security
optimisation
optimization
optimization problem
Pareto optimization
pubcrawl
resilience
Resiliency
resource allocation
resource management
risk management
risk measure
risk minimization
Scalability
security
security infrastructure
security resource allocation plan
shortfall-based optimal security provisioning
stochastic allocation
Stochastic computing
Stochastic Computing Security
telecommunication network topology
biblio
Stochastic security-constrained generation expansion planning methodology based on a generalized line outage distribution factors
Submitted by
grigby1
on Thu, 06/07/2018 - 3:08pm
electrical power systems
K-means clustering technique
line outage distribution factors
Linear distribution factors
Load flow
Load modeling
load uncertainty
LODF
N-m post-contingency analysis
optimization
partial transmission distribution factors
Planning
post-contingency constraints
post-contingency power flows
power generation
power generation planning
power system security
power systems
pre-contingency constraints
PTDF
pubcrawl
resilience
Resiliency
SC-GCEP problem
Scalability
security
security-constrained
security-constraint analysis modeling
Stochastic computing
Stochastic Computing Security
Stochastic processes
stochastic programming
stochastic security-constrained generation capacity expansion planning problem
transmission lines
two-stage multi-period framework
two-stage problem
uncertainty
biblio
A generalized stochastic N-m security-constrained generation expansion planning methodology using partial transmission distribution factors
Submitted by
grigby1
on Thu, 06/07/2018 - 3:08pm
generalized generation distribution factors
generalized stochastic N-m security-constrained generation expansion planning methodology
Generators
line outage distribution factors
Linear distribution factors
Load flow
Load modeling
load scenarios
multiple-line outages
optimisation
optimization
optimization problem
partial transmission distribution factors
Planning
post-contingency constraints
power generation dispatch
power generation planning
power generation scheduling
power markets
power system reliability
power system security
power transmission economics
pubcrawl
resilience
Resiliency
Scalability
security
security criteria
security-constrained
security-constrained analyses
Stochastic computing
Stochastic Computing Security
stochastic problem
Stochastic processes
stochastic programming
stochastic security-constrained generation capacity expansion planning problem
Transmission line matrix methods
two-stage problem
uncertainty
biblio
Game-theory based detection and prevention of DoS attacks on networking node in open stack private cloud
Submitted by
K_Hooper
on Wed, 04/04/2018 - 9:59am
cloud
Cloud Computing
Compositionality
DHCP attack
DoS attack
Game-Theory
Games
Human behavior
IP networks
Metrics
openstack
pubcrawl
Resiliency
security
Servers
Stochastic Computing Security
Stochastic game
Virtual machining
Virtualization
vulnerability detection
1
2
next ›
last »
