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
Requirements
biblio
Engineering Adaptive Authentication
Submitted by grigby1 on Tue, 01/25/2022 - 4:51pm
adaptive systems
security
pubcrawl
resilience
Resiliency
Conferences
authentication
Object recognition
composability
Decision Making
Context
navigation
Autonomic Security
Adaptive Authentication
authentication method
Requirements
biblio
Servicing Your Requirements: An FCA and RCA-Driven Approach for Semantic Web Services Composition
Submitted by grigby1 on Tue, 07/27/2021 - 12:14pm
quality of experience
Web services composition
web services
Semantics
semantic Web services
Semantic Web
Requirements
RCA
quality of service
composability
QoS
qoe
QoBiz
pubcrawl
FCA
Computing Theory
Computational modeling
biblio
Domain-Specific Requirements Elicitation for Socio- Technical System-of-Systems
Submitted by Katie Dey on Sun, 09/30/2018 - 11:32am
domain specific characteristics
RAM
EAM
Requirements
interoperability
system of systems
e-Navigation
energy domain
MAF
SGAM
interoperability perspectives
architecture management approaches
critical infrastructures
domain-specific aspects
standardized elicitation
system architectures
system-of-system engineering efforts
maritime domain
complex infrastructures
socio- technical system-of-systems
domain-specific requirements elicitation
smart power grids
power engineering computing
open systems
biblio
Using Formal Models to Cross Check an Implementation
Submitted by grigby1 on Tue, 09/26/2017 - 12:35pm
Compositionality
formal methods
interactive systems
Metrics
pubcrawl
Requirements
Resiliency
Scalability
scalable verification
traces
file
Slankas_Discovering_Sec_Req.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:37am
Access Control
auditing
classification
CMU
constraints
July'14
natural language parsing
objectives
Requirements
security
templates
file
Hibshi_Discovering_Dec_Making_TB.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:15pm
analysis
Apr'15
CMU
decision-making
Patterns
Requirements
security
Situation Awareness
biblio
Discovering Decision-Making Patterns for Security Novices and Experts
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:15pm
analysis
Apr'15
CMU
decision-making
Patterns
Requirements
security
Situation Awareness
CMU
Apr'15
biblio
Toward a Normative Approach for Forensicability: Extended Abstract
Submitted by ozgurkafali on Sat, 04/02/2016 - 12:51pm
Forensic logging
Requirements
security
social norms
sociotechnical systems
biblio
Discovering Security Requirements from Natural Language
Submitted by Jamie Presken on Tue, 01/13/2015 - 7:48am
Access Control
auditing
classification
CMU
constraints
July'14
natural language parsing
objectives
Requirements
security
templates
CMU
July'14
biblio
Rethinking Security Requirements in RE Research
Submitted by Katie Dey on Fri, 10/24/2014 - 12:52pm
Science of Security
CMU
Human behavior
literature survey
Metrics
privacy
Requirements
Science of Security
security
SoS Lablet
usability
CMU
1
2
next ›
last »
