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
Hey! Preparing Humans to do Tasks in Self-adaptive Systems
Submitted by Jamie Presken on Wed, 01/12/2022 - 5:18pm
adaptive systems
cognition
cognitive science
collaboration
Probabilistic logic
Training
uncertainty
CMU
2021: July
biblio
Hey! Preparing Humans to do Tasks in Self-adaptive Systems
Submitted by Jamie Presken on Wed, 01/12/2022 - 5:18pm
Training
uncertainty
adaptive systems
collaboration
Probabilistic logic
cognition
cognitive science
biblio
Hey! Preparing Humans to do Tasks in Self-adaptive Systems
Submitted by Jamie Presken on Wed, 01/12/2022 - 5:18pm
Training
uncertainty
adaptive systems
collaboration
Probabilistic logic
cognition
cognitive science
biblio
Security Metric for Networks with Intrusion Detection Systems having Time Latency using Attack Graphs
Submitted by aekwall on Mon, 01/10/2022 - 11:51am
intrusion detection system
uncertainty
Security Metrics
Security Metric and Time Latency
Resiliency
pubcrawl
Probabilistic logic
Predictive Metrics
Measurement
Security Risk Estimation
Intrusion Detection
estimation
Computational modeling
composability
attack graphs
attack graph
Adaptation models
biblio
Analyzing Cryptographic API Usages for Android Applications Using HMM and N-Gram
Submitted by aekwall on Mon, 11/29/2021 - 1:27pm
Cryptography
Markov processes
Libraries
tools
Analytical models
pubcrawl
composability
Probabilistic logic
Compositionality
Hidden Markov models
android
API analysis
cryptographic API
hidden Markov model
N-gram
theoretical cryptography
biblio
A Stochastic Approach for an Enhanced Trust Management in a Decentralized Healthcare Environment
Submitted by grigby1 on Mon, 11/08/2021 - 12:45pm
Probabilistic logic
trusted platform modules
Trusted Platform Module
trust
Stochastic processes
smart contract
security
Resiliency
resilience
pubcrawl
Stochastic Computing Security
Permission
on-off attack
Medical services
markov chain
cyber physical systems
cyber physical security
composability
blockchain
authorization
biblio
Improving the Effectiveness of Traceability Link Recovery using Hierarchical Bayesian Networks
Submitted by grigby1 on Thu, 06/24/2021 - 10:25am
Automated Secure Software Engineering
Bayes methods
composability
information retrieval
Probabilistic logic
probabilistic modeling
Prototypes
pubcrawl
resilience
Resiliency
Software
software engineering
Software measurement
Software Traceability
biblio
Privacy-Preserving Policy Synthesis in Markov Decision Processes
Submitted by grigby1 on Wed, 06/02/2021 - 11:18am
Privacy Policies
Computing Theory
Computing Theory and Privacy
Control Theory
differential privacy
dynamic programming
Heuristic algorithms
History
Human behavior
Markov processes
privacy
Probabilistic logic
pubcrawl
resilience
Resiliency
Scalability
biblio
Privacy-Preserving Correlated Data Publication with a Noise Adding Mechanism
Submitted by grigby1 on Wed, 06/02/2021 - 11:17am
Control Theory
Correlation
Couplings
Data models
data privacy
estimation
Human behavior
privacy
Probabilistic logic
pubcrawl
resilience
Resiliency
Scalability
biblio
Properness and Consistency of Syntactico-Semantic Reasoning using PCFG and MEBN
Submitted by aekwall on Tue, 06/01/2021 - 12:18pm
pubcrawl
composability
Grammar
Probabilistic logic
cognition
Semantics
Compositionality
Nickel
Probability distribution
Random variables
MEBN
PCFG
probabilistic reasoning
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
