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
tools
biblio
Software Safety Verification Framework based on Predicate Abstraction
Submitted by grigby1 on Tue, 03/15/2022 - 11:12am
Software verification
scalable verification
predicate abstraction
Explosions
CEGAR
software safety
Compositionality
model checking
Metrics
tools
Computational modeling
Scalability
Safety
Conferences
Resiliency
resilience
pubcrawl
biblio
Scalable Quantitative Verification for Deep Neural Networks
Submitted by grigby1 on Tue, 03/15/2022 - 11:11am
tools
Neural networks
pubcrawl
resilience
Resiliency
Scalability
Metrics
Compositionality
Probabilistic logic
testing
Robustness
software engineering
deep-neural-networks
probabilistic
quantitative-verification
scalable verification
biblio
A Model-Driven Framework for the Prevention of DoS Attacks in Software Defined Networking (SDN)
Submitted by aekwall on Mon, 03/14/2022 - 12:44pm
Acceleo
Router Systems Security
Sirius tool
OFP
networking
Model-To-Text
Model Driven Code Transformation
Meta-Model
MDE
Local Area Network Denial
Drag
software reliability
denial of service
Predictive Metrics
Topology
Java
Resistance
Resiliency
pubcrawl
Switches
SDN
tools
biblio
Game Theoretical Model for Cybersecurity Risk Assessment of Industrial Control Systems
Submitted by grigby1 on Mon, 03/14/2022 - 11:38am
Compositionality
Damage Assessment
Games
Human behavior
integrated circuits
Monte Carlo methods
pubcrawl
resilience
Resiliency
SCADA systems
SCADA Systems Security
Scalability
Sensor Systems
sensors
Social Agents
tools
biblio
Automatic Integration of D Code With the Linux Kernel
Submitted by grigby1 on Mon, 03/14/2022 - 11:23am
memory safety
Linux kernel
D programming language
automatic integration
codes
device drivers
Syntactics
Metrics
Policy Based Governance
Safe Coding
tools
Computer languages
Linux
Memory management
Safety
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
biblio
Advancements in the Open Data Cube and the Use of Analysis Ready Data in the Cloud
Submitted by grigby1 on Mon, 03/14/2022 - 11:16am
Satellites
Sustainable Development Goals
satellite data
Analysis Ready Data
Open Data Cube
Open Data
Earth Observation
Earth
CEOS
tools
Policy Based Governance
sandboxing
programming
composability
collaboration
pubcrawl
Engines
Cloud Computing
biblio
Generating Image Captions using Deep Learning and Natural Language Processing
Submitted by grigby1 on Thu, 03/10/2022 - 11:32am
tools
deep learning
pubcrawl
Human behavior
resilience
Resiliency
Generators
Scalability
Web sites
recurrent neural network
natural language processing
Market research
convolutional neural network
Image Processing
Image Captioning
Long Short Term Memory (LSTM)
biblio
Phrase Composing Tool using Natural Language Processing
Submitted by grigby1 on Thu, 03/10/2022 - 11:31am
Law
transformer model
Grammatical Error Correction
computational linguistics
Pipelines
natural language processing
recurrent neural network
documentation
speech-to-text
error correction
Scalability
Resiliency
resilience
Human behavior
pubcrawl
machine learning
tools
biblio
Method of Hierarchical Protection of Biometric Information
Submitted by grigby1 on Wed, 03/09/2022 - 12:40pm
Fingerprint recognition
concealment
bit.
biometrics
biometric data
biometrics (access control)
information
Steganography
Telecommunications
multifactor authentication
Metrics
tools
Data protection
information and communication technology
authentication
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
information security
biblio
Multi-Factor Authentication to Systems Login
Submitted by grigby1 on Wed, 03/09/2022 - 12:39pm
Knowledge engineering
shoulder surfing
screen capture
Retina
multi-factor authentication (MFA)
key logger
Graphical Password
a third-party authenticator (TPA)
ID
education
Keyboards
tools
Multi-factor authentication
multifactor authentication
Metrics
Hardware
Resiliency
resilience
Human Factors
Human behavior
pubcrawl
« first
‹ previous
…
9
10
11
12
13
14
15
16
17
…
next ›
last »
