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
collaboration
biblio
Compression Optimization For Automatic Verification of Network Configuration
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
NP-C
signal processing
security
pubcrawl
protocol verification
Protocols
privacy
policy-based collaboration
Path Algebra
Paralysis
Automatic Reasoning
network compression
internet
Experimental Network Verification
computer network reliability
computer network
Computational modeling
Compositionality
composability
collaboration
biblio
Vertical Composition and Sound Payload Abstraction for Stateful Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
Protocols
vertical composition
tools
Syntactics
stateful protocols
standards
security protocols
pubcrawl
protocol verification
collaboration
privacy
policy-based collaboration
Payloads
formal methods and verification
Cryptography
computer security
Compositionality
composability
biblio
An Interactive Prover for Protocol Verification in the Computational Model
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
policy-based collaboration
tools
Solids
Semantics
security protocols
pubcrawl
protocol verification
Protocols
privacy
cognition
observational equivalence
Interactive Prover
formal methods
computational security
Computational modeling
Compositionality
composability
collaboration
biblio
Performing Security Proofs of Stateful Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
interactive-theorem-proving
tools
stateful-security-protocols
specification languages
pubcrawl
protocol verification
Protocols
privacy
policy-based collaboration
automated-verification
Computer bugs
Computational modeling
Compositionality
composability
Complexity theory
collaboration
automation
biblio
Accelerating Federated Edge Learning via Optimized Probabilistic Device Scheduling
Submitted by grigby1 on Thu, 02/24/2022 - 12:25pm
Scalability
pubcrawl
Privacy Policies
Metrics
Measurement
Image edge detection
Human behavior
collaboration
signal processing
Three-dimensional displays
Training
Wireless communication
biblio
PIDS: An Essential Personal Information Detection System for Small Business Enterprise
Submitted by grigby1 on Thu, 02/24/2022 - 12:22pm
security
Scalability
pubcrawl
Privacy Policies
Privacy Agent
personal information
mechatronics
Human behavior
Data protection
Data mining
data leakage
Costs
collaboration
Business
biblio
An Approach for Peer-to-Peer Federated Learning
Submitted by grigby1 on Tue, 02/22/2022 - 1:23pm
Neural networks
Training
Stochastic processes
security
Scalability
Resiliency
resilience
pubcrawl
privacy
peer-to-peer security
peer to peer security
Mission critical systems
Metrics
machine learning
Human Factors
federated learning
deep learning
Data protection
collaboration
biblio
Hierarchical Cooperative Intrusion Detection Method for MANETs (HCIDM)
Submitted by aekwall on Mon, 02/07/2022 - 5:09pm
MANET
MANET Attack Detection
HCIDM
Cluster Routing
CCIDM
trust
wireless networks
mobile computing
Ad hoc networks
collaboration
Compositionality
Resiliency
Metrics
pubcrawl
Routing
Intrusion Detection
Clustering algorithms
biblio
Do You Still Trust Me? Human-Robot Trust Repair Strategies
Submitted by grigby1 on Thu, 02/03/2022 - 4:17pm
collaboration
pubcrawl
resilience
Resiliency
robots
maintenance engineering
Human Factors
Robot Trust
anthropomorphism
biblio
Fleet Management System for Autonomous Mobile Robots in Secure Shop-floor Environments
Submitted by grigby1 on Thu, 02/03/2022 - 4:09pm
collaboration
security
pubcrawl
policy-based governance
resilience
Resiliency
Dynamic scheduling
Loading
Human Factors
Service robots
mobile robots
Workstations
Production facilities
robot operating systems security
« first
‹ previous
…
18
19
20
21
22
23
24
25
26
…
next ›
last »
