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
Software algorithms
biblio
Measuring Trust and Automatic Verification in Multi-Agent Systems
Submitted by grigby1 on Fri, 08/12/2022 - 1:25pm
collaboration
pubcrawl
Human behavior
resilience
Resiliency
composability
Runtime
model checking
Semantics
Software algorithms
multi-agent systems
trust
Computing Theory
Atmospheric measurements
Particle measurements
logic
biblio
Assessing Trustworthiness of IoT Applications Using Logic Circuits
Submitted by grigby1 on Wed, 08/03/2022 - 3:13pm
logic circuits
Internet of Things
Training
machine learning
machine learning algorithms
pubcrawl
Software
Computational modeling
composability
Software algorithms
trustworthiness
trust
computationally constrained devices
biblio
Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations
Submitted by grigby1 on Tue, 08/02/2022 - 3:20pm
Language theoretic security
Trustworthy Systems
tools
Systems architecture
Software algorithms
Software
Resiliency
resilience
pubcrawl
expert systems
Hardware
formal verification
formal synthesis
computer architecture
compiler security
Architecture modeling
privacy
biblio
A Testing Method for Object-oriented Program based on Adaptive Random Testing with Variable Probability
Submitted by aekwall on Fri, 07/29/2022 - 3:26pm
Measurement
Conferences
pubcrawl
Metrics
Resiliency
composability
Software algorithms
software quality
Costs
adaptive random testing
Object-oriented Program
Probability density function
Subspace constraints
object oriented security
biblio
Method for Increasing the Accuracy of the Synchronization of Generation Random Sequences Using Control and Correction Stations
Submitted by grigby1 on Thu, 07/14/2022 - 5:14pm
Receivers
satellite navigation system
Quantum random number generator
operational control segment
cryptographic standards
correcting stations
control information
Post-quantum cryptography
random key generation
Synchronization
Software algorithms
pubcrawl
Metrics
control systems
Cryptography
Scalability
Generators
Software
Resiliency
resilience
Human behavior
biblio
Comparative Analysis of Digital Signature and Elliptic Curve Digital Signature Algorithms for the Validation of QR Code Vulnerabilities
Submitted by aekwall on Thu, 07/14/2022 - 3:15pm
Phishing
QR codes
quick response code
QR code
DSA
digital signature
codes
Elliptic curves
Mobile handsets
Cryptography
cyber-physical systems
Software algorithms
Resiliency
pubcrawl
Protocols
Software
security
biblio
Model graph generation for naval cyber-physical systems
Submitted by grigby1 on Tue, 07/12/2022 - 2:36pm
Cybersecurity
Cyber Dependencies
rapid prototyping
naval systems dependencies
Multi-layer graph generation
navigation
Image edge detection
modeling
visualization
Software algorithms
Compositionality
pubcrawl
Metrics
cyber-physical systems
Oceans
composability
estimation
Scalability
Resiliency
resilience
Human behavior
biblio
Methods and Algorithms for Generating a Storage Key Based on Biometric Parameters
Submitted by grigby1 on Tue, 06/14/2022 - 2:15pm
neural network
Radon transform
bio key
biometrics
biometrics (access control)
Algorithm
Transforms
biometric encryption
automation
information security
Software algorithms
Metrics
Reed-Solomon codes
Access Control
Scalability
Resiliency
resilience
pubcrawl
biblio
Improved Depth Neural Network Industrial Control Security Algorithm Based On PCA Dimension Reduction
Submitted by aekwall on Thu, 06/09/2022 - 10:40am
Neural networks
deep learning
feature extraction
machine learning algorithms
pubcrawl
Scalability
Resiliency
Industrial Control Systems
Deep Neural Network
Software algorithms
industrial control
PCA
industrial control system
adagrad
dimensionality reduction
scalable systems
biblio
Research on Key Technology of Software Intellectual Property Protection
Submitted by grigby1 on Wed, 06/08/2022 - 9:19am
pubcrawl
policy-based governance
resilience
Resiliency
Heuristic algorithms
composability
Java
Software algorithms
reverse engineering
intellectual property
software protection
intellectual property security
obfuscation
codes
software intellectual property protection
SOPM
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
