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
reasoning
biblio
Partial Decision Overrides in a Declarative Policy Framework
Submitted by grigby1 on Tue, 10/12/2021 - 2:53pm
privacy
Vocabulary
semantic technology
Semantics
Scalability
rule
reasoning
pubcrawl
Privacy Policies
privacy framework
automated reasoning
policy decision engine
Policy
Ontology
Ontologies
Information systems
Human behavior
Engines
data sharing
data privacy
biblio
A Programming Framework for Differential Privacy with Accuracy Concentration Bounds
Submitted by aekwall on Mon, 01/11/2021 - 1:42pm
Haskell
tools
Scalability
Resiliency
reasoning
pubcrawl
programming languages
programming differentially private analyses
programming
private data analyses
privacy
Human behavior
taint analysis
functional programming
differential privacy
Databases
data privacy
data analysis
data analyses results
concentration bounds
composability
cognition
accuracy concentration
Accuracy
biblio
Expiring Decisions for Stream-based Data Access in a Declarative Privacy Policy Framework
Submitted by aekwall on Mon, 11/11/2019 - 11:48am
expirations
Time
stream-based data access
semantic technology
rule
reasoning
privacy framework
policy decision engine
Policy
Scalability
data-sharing
automated reasoning
Privacy Policies
Ontology
privacy
pubcrawl
Human behavior
biblio
Reasoning About Fine-Grained Attribute Phrases Using Reference Games
Submitted by K_Hooper on Wed, 02/28/2018 - 11:32am
listener
visualization
visual descriptions
speaker
Semantics
semantic attributes
reference games
reasoning
pubcrawl
Pragmatics
Nose
Compositionality
learning (artificial intelligence)
instances
inference mechanisms
image retrieval
image representation
Image color analysis
Games
fine-grained visual differences
fine-grained attribute phrases
computer vision
biblio
Recovering Semantic Traceability Links between APIs and Security Vulnerabilities: An Ontological Modeling Approach
Submitted by K_Hooper on Wed, 12/20/2017 - 11:31am
software houses
safety-critical software
security
security knowledge
security vulnerability
semantic traceability link recovery
Semantic Web
Semantics
Software
software engineering community
Resiliency
software industry globalization
software knowledge
software products
Source code analysis
traceability improvement
trust improvement
Unified modeling language
vulnerabilities and patches
ontological modeling approach
APIs
code reuse
code sharing
Computational modeling
Databases
global software ecosystem
Information Reuse
information silos
Knowledge modeling
API
Ontologies
ontologies (artificial intelligence)
ontology-based knowledge modeling approach
project boundaries
proprietary knowledge representation
pubcrawl
reasoning
reasoning services
file
A Rewriting-Based Forwards Semantics for Maude-NPA
Submitted by Jose Meseguer on Tue, 06/03/2014 - 5:35pm. Contributors:
Santiago Escobar
Catherine Meadows
Sonia Santiago
Jose Meseguer
cryptographic protocol analysis
logical narrowing-based reachability analysis
reasoning
standard rewriting-based model checking
HotSoS 2014
Academia
Presentations
Presentation Slides
Cryptographic Protocols