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
Probabilistic logic
biblio
Defense Against SYN Flood DoS Attacks Using Network-based Mitigation Techniques
Submitted by grigby1 on Wed, 04/13/2022 - 9:29am
ddos mitigation
Throughput
TCP SYN flood
TCP SYN Authentication
TCP Handshaker
SYN Drop
security
RST Cookies
composability
DDoS attack mitigation
Resiliency
Human behavior
internet
Memory management
Metrics
operating systems
performance evaluation
Probabilistic logic
pubcrawl
resilience
biblio
Formal Impact Metrics for Cyber-physical Attacks
Submitted by grigby1 on Fri, 04/01/2022 - 1:48pm
Intrusion Detection
pubcrawl
Computational modeling
computer security
cyber-physical systems
Metrics
Measurement
Probabilistic logic
Security Metrics
Cyberspace
Cyber-physical attacks
impact metrics
timed and hybrid models
biblio
DBMS-Friendly Searchable Symmetric Encryption: Constructing Index Generation Suitable for Database Management Systems
Submitted by grigby1 on Fri, 04/01/2022 - 12:08pm
Probabilistic logic
tag-based scheme
security definition
index generation
dynamic searchable symmetric encryption
database management system
Keyword search
searchable encryption
Hash functions
encryption
composability
Indexes
Software
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
Design of nearest neighbor search for dynamic interaction points
Submitted by grigby1 on Tue, 03/08/2022 - 1:51pm
pubcrawl
Heuristic algorithms
optimization
Big Data
Metrics
Probabilistic logic
nearest neighbor search
Measurement
education
Sensitivity
Nearest neighbor methods
Continuous k-nearest neighbor
Distance discrimination
HMI
biblio
Porting Caching Functions to Named Data Networking Forwarding Daemon (NFD)
Submitted by aekwall on Tue, 03/08/2022 - 1:43pm
computer architecture
Protocols
Scalability
Conferences
pubcrawl
Resiliency
Human behavior
Probabilistic logic
Computers
information-centric networking
named data networking
Ports (Computers)
cache strategy
NDN forwarding daemon
porting
biblio
Decoding of Interleaved Linearized Reed-Solomon Codes with Applications to Network Coding
Submitted by aekwall on Tue, 03/01/2022 - 3:26pm
simulation
pubcrawl
Resiliency
composability
Probabilistic logic
cyber-physical systems
Decoding
Predictive Metrics
Reed-Solomon codes
Upper bound
network coding
error correction
multishot network coding
multishot operator channel
subspace codes
sum-rank metric
biblio
Social Visibility Optimization in OSNs with Anonymity Guarantees: Modeling, Algorithms and Applications
Submitted by grigby1 on Wed, 02/09/2022 - 1:48pm
KMV sketch
anonymity
Approximation algorithms
composability
Computational modeling
Conferences
Data engineering
data structures
Human behavior
Social visibility
Metrics
Probabilistic logic
pubcrawl
resilience
Resiliency
social networking (online)
social networks analysis
biblio
Relationship Anonymity Evaluation Model Based on Markov Chain
Submitted by grigby1 on Wed, 02/09/2022 - 1:46pm
markov chain
anonymity
Anonymous assessment
attack model
Communication networks
composability
Computational modeling
Computers
Human behavior
Resiliency
Markov processes
Metrics
Probabilistic logic
Probability distribution
pubcrawl
Receivers
Relationship anonymity
resilience
biblio
A Lightweight Integrity Authentication Approach for RFID-enabled Supply Chains
Submitted by grigby1 on Fri, 02/04/2022 - 1:51pm
radio frequency identification
RFIDs
Tag Detection
Authentication Chain
human behaviors
Writing
supply chains
RFID
Sociology
pubcrawl
Probabilistic logic
Prototypes
authentication
performance evaluation
Resiliency
resilience
Human behavior
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »