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
Adaptation models
biblio
Simulation Testing of Fault-Tolerant CPS Based on Hierarchical Adaptive Policies
Submitted by
grigby1
on Thu, 07/16/2020 - 11:56am
Adaptation models
adaptive allocation
collaborative simulation time sequence push strategy
composability
Computational modeling
Control Strategy
CPS modeling
Cyber Physical System
cyber-physical systems
fault tolerance
fault tolerance policies
fault tolerant computing
Fault tolerant systems
Fault-Tolerant CPS
fault-tolerant CPS simulation platform
Hardware
hardware redundancy technology physical backup
hierarchical adaptive policies
hierarchical model
inter-layer message transmission mechanism
message passing
Metrics
Nickel
node activity test mechanism
physical backup
pubcrawl
Redundancy
resilience
Resiliency
resource allocation
safety-critical key infrastructures
simulation test
simulation testing
simulations
SPB-CPS simulation test efficiency
test resources
biblio
A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by
grigby1
on Thu, 07/16/2020 - 11:44am
Adaptation models
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
formal verification
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
model-centric way
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
service-oriented architecture
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
biblio
Self-Improving Autonomic Systems for Antifragile Cyber Defence: Challenges and Opportunities
Submitted by
aekwall
on Mon, 06/01/2020 - 10:54am
Adaptation models
Analytical models
antifragile cyber defence
antifragile systems
antifragility
autonomic cyber defence systems
Autonomic systems
composability
contested military environments
Cyber defence
data analysis
Decision Making
desirable property
distributed self-improvement
human computer interaction
Human Factors
learning
middleware
middleware frameworks
middleware security
policy-based governance
pubcrawl
resilience
Resiliency
security of data
self improvement
self-improving autonomic systems
Stress
uncertainty
unknown situations
biblio
Research on Anomaly Intrusion Detection Technology in Wireless Network
Submitted by
aekwall
on Mon, 05/11/2020 - 11:12am
Intrusion Detection
computer network security
Adaptation models
network security
feature extraction
Resiliency
pubcrawl
composability
Metrics
network intrusion detection
Analytical models
statistical analysis
SNR
Time-frequency Analysis
wireless networks
signal-to-noise ratio
adaptive correlation spectrum analysis method
adaptive time-frequency feature decomposition
anomaly intrusion detection algorithm
correlation matching filter
matched filters
network intrusion signal model
signal fitting method
traffic statistical analysis model
wireless network
wireless network intrusion detection
biblio
Tracking location privacy leakage of mobile ad networks at scale
Submitted by
aekwall
on Mon, 04/20/2020 - 10:23am
security of data
data privacy
Adaptation models
mobile computing
pubcrawl
Google
privacy
Metrics
Ecosystems
location data
adaptive location obfuscation mechanism
advertising
advertising data processing
extensive threat measurements
large-scale measurement study
location-based mobile advertising services
massive data collection
mobile ad businesses privacy leakage behaviors
mobile ad ecosystem
mobile ad networks
mobile ads
online advertising ecosystem
potential privacy leakage
privacy leakage threats
targeted ad deliveries
privacy models and measurement
biblio
Tracking location privacy leakage of mobile ad networks at scale
Submitted by
aekwall
on Mon, 04/20/2020 - 10:23am
security of data
data privacy
Adaptation models
mobile computing
pubcrawl
Google
privacy
Metrics
Ecosystems
location data
adaptive location obfuscation mechanism
advertising
advertising data processing
extensive threat measurements
large-scale measurement study
location-based mobile advertising services
massive data collection
mobile ad businesses privacy leakage behaviors
mobile ad ecosystem
mobile ad networks
mobile ads
online advertising ecosystem
potential privacy leakage
privacy leakage threats
targeted ad deliveries
privacy models and measurement
biblio
Principles of Physical and Information Model Integration for Cybersecurity Provision to a Nuclear Power Plant
Submitted by
grigby1
on Wed, 03/18/2020 - 11:50am
security of data
risk management
Scalability
Adaptation models
complex technical objects
Computational modeling
computer security
cyber threats
Cybersecurity
cybersecurity problems
cybersecurity provision
cybersecurity risk assessment
Data models
hybrid model
information model integration
information properties
instrumentation and control system
Mathematical model
modelling
nuclear engineering computing
nuclear power plant
nuclear power stations
Numerical models
physical models
simulations
pubcrawl
composability
collaboration
Policy-Governed Secure Collaboration
Metrics
Resiliency
resilience
Human behavior
Science of Security
biblio
Modeling Virtual Machine Migration as a Security Mechanism by using Continuous-Time Markov Chain Model
Submitted by
grigby1
on Mon, 03/09/2020 - 1:26pm
VM migration
Virtual machining
virtual machines
virtual machine security
virtual machine migration modeling
static security measures
sophisticated methods
Servers
security of data
security mechanism
security
pubcrawl
probability
network topology
model migration
Migration
Markov processes
intrusion
dynamic security measure
dynamic security
dynamic attack surface
destination server parameters
Destination Server
continuous-time Markov Chain model
Computational modeling
complex networks
complex network
cloud environment
cloud computing environment
Cloud Computing
Adaptation models
biblio
Insider Threat Detection Based on Adaptive Optimization DBN by Grid Search
Submitted by
grigby1
on Tue, 01/21/2020 - 11:25am
two-dimensional grid
Training
threat detection rate
security of data
search problems
Resiliency
resilience
pubcrawl
policy-based governance
optimization parameters
Optimization methods
one-dimensional parameter optimization
network structure
Metrics
learning rate
learning (artificial intelligence)
insider threat detection method
insider threat
Human behavior
grid search
deep learning model
deep learning
deep belief net
collaboration
belief networks
adaptive systems
adaptive optimization DBN
adaptive optimization
Adaptation models
biblio
Info-Trust: A Multi-Criteria and Adaptive Trustworthiness Calculation Mechanism for Information Sources
Submitted by
aekwall
on Mon, 12/09/2019 - 12:23pm
security of data
History
Trusted Computing
Adaptation models
pubcrawl
composability
resource management
Social network services
Computational modeling
social networking (online)
Decision Making
Data mining
social computing
social media
information sources
Complexity theory
Compositionality
trust calculation mechanism
adaptive trustworthiness calculation mechanism
adaptive weight
behavior-based trust
fake information sources
identity-based trust
Info-Trust
Multi-criteria
multicriteria properties
multicriteria trustworthiness calculation mechanism
network information
ordered weighted averaging and weighted moving average combination algorithm
relation-based trust
Sina Weibo
trust calculation technology
trust factors
trust relationships
trustworthiness identification
trustworthy social media system
untrustworthy information sources
Computing Theory and Trust
1
2
3
4
5
6
7
next ›
last »
