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
Analytical models
biblio
Fast-variable Processes Analysis Using Classical and Approximation Spectral Analysis Methods
Submitted by grigby1 on Fri, 09/09/2022 - 1:23pm
Fourier transform
frequency characteristics
fast-variable processes
classical spectral analysis
approximation
damping
smoothing methods
frequency estimation
Resiliency
Time Frequency Analysis
security
Time-frequency Analysis
Time series analysis
resilience
estimation
Scalability
Analytical models
Metrics
pubcrawl
time series
biblio
A Deep Reinforcement Learning Approach to Traffic Signal Control
Submitted by aekwall on Fri, 08/26/2022 - 11:07am
deep learning
Analytical models
Conferences
pubcrawl
Scalability
Resiliency
Roads
Reinforcement learning
Urban areas
coupled congestion control
control systems
sustainable development
traffic lights control
Traffic Management
biblio
Formal Specification and Verification of 5G Authentication and Key Agreement Protocol using mCRL2
Submitted by grigby1 on Fri, 08/26/2022 - 10:24am
Metrics
Process Algebra.
mCRL2 language
formal methods
5G-AKA Protocol
formal verification
Concurrency
algebra
3GPP
5G networks
tools
composability
Protocols
5G mobile communication
authentication
Analytical models
Resiliency
resilience
pubcrawl
security
biblio
Backwards-directed information flow analysis for concurrent programs
Submitted by grigby1 on Fri, 08/26/2022 - 10:23am
Metrics
weakest-precondition
rely-guarantee-reasoning
information-flow-security
Out of order
Concurrency
automation
Concurrent computing
cognition
security
programming
composability
Analytical models
Hardware
Resiliency
resilience
pubcrawl
biblio
A Selection Strategy for Network Security Defense Based on a Time Game Model
Submitted by grigby1 on Fri, 08/26/2022 - 10:09am
security
pubcrawl
Heuristic algorithms
Analytical models
real-time systems
network security
Games
Metrics
Nash Equilibrium
Computing Theory
numerical simulation
Infectious Disease Model
network defense
Optimal Defense Strategy
time game
biblio
Security Assessment of Enterprise Networks Based on Analytic Network Process and Evidence Theory
Submitted by grigby1 on Fri, 08/26/2022 - 9:59am
Knowledge engineering
security assessment
security
Scalability
Resiliency
resilience
Physical layer
network security
Network analyzers
pubcrawl
Human behavior
Fuses
expert systems
evidence theory
enterprise network
Analytical models
analytic network process
biblio
Toward Automated Threat Modeling of Edge Computing Systems
Submitted by grigby1 on Fri, 08/26/2022 - 9:58am
pubcrawl
Analytical models
Automated Threat Modeling
Computational modeling
Data models
Economics
edge computing security
Edge System Modeling
expert systems
Human behavior
Industries
resilience
Resiliency
Scalability
security
Systems modeling
biblio
ASAF: Android Static Analysis Framework
Submitted by aekwall on Fri, 08/12/2022 - 3:10pm
static analysis
composabiity
datasets
ASParse
APK
parsing
pubcrawl
malicious
android
security
malware
Human behavior
Resiliency
feature extraction
Analytical models
operating systems
tools
biblio
Show Why the Answer is Correct! Towards Explainable AI using Compositional Temporal Attention
Submitted by aekwall on Fri, 08/12/2022 - 2:58pm
Benchmark testing
visualization
deep learning
Predictive models
Analytical models
Knowledge Discovery
cognition
pubcrawl
Compositionality
biblio
A Computational Intelligent Analysis Scheme for Optimal Engine Behavior by Using Artificial Neural Network Learning Models and Harris Hawk Optimization
Submitted by grigby1 on Wed, 08/10/2022 - 1:45pm
Optimization methods
pubcrawl
Analytical models
Computational modeling
composability
Compositionality
Torque
Artificial Neural Networks
data analysis
learning (artificial intelligence)
computational intelligence
artificial neural network
Engine Modeling
Harris Hawks Optimization
intelligent data analysis
Nitrous Oxide Emissions
« first
‹ previous
…
6
7
8
9
10
11
12
13
14
…
next ›
last »
