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
Natural languages
biblio
Using quantum mechanical framework for language modeling and information retrieval
Submitted by grigby1 on Fri, 05/22/2020 - 2:44pm
Physics computing
Windows
user query
text separation
text analysis
Semantics
Scalability
Russian
Resiliency
resilience
quantum-like systems
quantum mechanical framework
Quantum entanglement
pubcrawl
Bell Test
Natural languages
natural language texts
natural language processing
language modeling
information retrieval system
information retrieval
Hyperspace Analogue Language
Human behavior
Data mining
Computer languages
Bell theorem
Bell test calculating
biblio
Assessing and extracting software security vulnerabilities in SOFL formal specifications
Submitted by grigby1 on Fri, 04/24/2020 - 4:20pm
pubcrawl
software security vulnerabilities
software requirement specifications
software development life cycle
Software
SOFL formal specifications
SOFL
Security Vulnerability Extraction
security of data
secure software product
secure distributed systems
Resiliency
resilience
Requirement Specifications
composability
password
object-oriented languages
object oriented security
Natural languages
Metrics
Input variables
highly interconnected world
formal verification
formal specifications
Formal Specification
formal languages
Formal Language
Computer bugs
biblio
A Model-Checking Approach for Enforcing Purpose-Based Privacy Policies
Submitted by grigby1 on Thu, 05/24/2018 - 12:28pm
model-checking approach
web services
user behavior monitoring
realistic policies
purpose-based privacy policies
pubcrawl
private information
privacy models
privacy management tool
privacy management system
privacy
Natural languages
complex privacy policies
model checking
Metrics
Measurement
information disclosures
formal verification
formal modeling
Electronic mail
data sharing actions
data privacy
Data models
customized privacy policies
biblio
Reinforcing Security Requirements with Multifactor Quality Measurement
Submitted by grigby1 on Thu, 02/15/2018 - 11:49am
security requirements
quantitative statistical analysis
requirements analysts
requirements elicitation
requirements engineering
resilience
Resiliency
scenarios
security of data
security quality ratings
qualitative analysis
security requirements elicitation
security requirements reinforcement
software quality
Stakeholders
statistical analysis
user study
vignettes
weak security constraints
minimal analyst expertise
authentication
Context
Databases
elicited expert preferences
Formal Specification
Human behavior
human factor
Human Factors
Metrics
Analytical models
MQM
multifactor authentication
Multifactor Quality measurement
Multifactor Quality Method
natural language scenarios
Natural languages
operating systems
pubcrawl
biblio
Intelligent system of knowledge control with the natural language user interface
Submitted by K_Hooper on Wed, 01/10/2018 - 11:14am
Semantics
natural language interfaces
natural language processing
Natural languages
natural language user interface
output machine
parallel computations
parallel method
pubcrawl
Resiliency
Scalability
semantic analysis
natural language interface methods
semantic structures
Skolem-transformation
specialized inference machines
specialized module
standard knowledge
syntactic analysis
testing
test systems
Training
training systems
user interfaces
knowledge base
control systems
deductive inference
first-order predicate calculus
Human behavior
human-computer dialogue capabilities
inference machine
inference mechanisms
intellectual subsystem
intelligence
intelligent interpreter
intelligent system
Computers
knowledge based systems
knowledge control
knowledge processing systems
Knowledge quality control
Knowledge representation
lexical processor
machine testing systems
modern control
morphological analysis
natural language interface
biblio
A Framework for Generating User-and Domain-Tailored Security Policy Editors
Submitted by grigby1 on Mon, 11/20/2017 - 12:25pm
Policy specification
Vocabulary
user-tailored security policy editors
user-friendly
Usable Security
usable policy editors
unintended data leakage
Terminology
Stakeholders
specification paradigms
security policies
security of data
security
pubcrawl
policy-based governance
collaboration
policy languages
policy authors
Policy Administration Point
Policy
Natural languages
Government
Governance
Formal Specification
Facebook
error-prone specification
domain-tailored security policy editors
customization
Conferences
biblio
Ambiguity as a Barrier to Information Security Policy Compliance: A Content Analysis
Submitted by grigby1 on Mon, 11/20/2017 - 12:25pm
Natural languages
Usable Security
text analysis
South Africa
Software
Security policy compliance
security policies
security of data
pubcrawl
policy-based governance
Policy human aspects
Policy clarity
Policy ambiguity
Policy
collaboration
institutional information resources
InfoSec policy document
Information services
information security policy compliance
information security
Guidelines
Government
Governance
Educational institutions
educational institution
education
Content analysis
biblio
Towards a framework for pattern experimentation: Understanding empirical validity in requirements engineering patterns
Submitted by Katie Dey on Fri, 10/24/2014 - 12:52pm
Science of Security
Patterns
taxonomy
software reusability
Software
security patterns
security of data
security knowledge
security
Science of Security
requirements engineering pattern
requirements engineering
psychology
abstraction
patternmining
Pattern recognition
pattern experimentation
object-oriented methods
Natural languages
knowledge reuse
information security guidelines
formal verification
documentation
cognitive psychology
CMU
CMU
« first
‹ previous
1
2
3
