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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
cognition
biblio
Semantic Interaction for Visual Analytics: Toward Coupling Cognition and Computation
Submitted by
Katie Dey
on Mon, 09/09/2019 - 3:29pm
cognition
data analysis
data visualisation
human computer interaction
semantic interaction
visual analytics
Computation
analytical reasoning
user interaction methodology
user analytic process
model steering functionality
human-in-the-loop system design
user evaluation
Semantics
Analytical models
Data visualization
Data models
Computational modeling
IN-SPIRE
Alex Endert
Human-computer interaction
visualization
Computer graphics
Graphics
HMT
Human Machine Teaming
Interactions
C3E 2019
biblio
Ten challenges for making automation a "team player" in joint human-agent activity
Submitted by
Katie Dey
on Mon, 09/09/2019 - 2:13pm
automation
automation components
C3E 2019
cognition
delay
Displays
Electric breakdown
HMT
human computer interaction
Human Factors
Human Machine Teaming
human-agent activity
human-centered computing
Humans
intelligent agent
Interactions
joint activity
joint human-agent activity
multi-agent systems
Systems engineering and theory
team player
team working
Teamwork
Technology management
Human Machine Teaming
Interactions
C3E 2019
biblio
Focal Visual-Text Attention for Visual Question Answering
Submitted by
aekwall
on Wed, 09/04/2019 - 11:15am
Knowledge Discovery
inference mechanisms
FVTA
Focal Visual-Text Attention network
collective reasoning
Videos
computer vision
visualization
cognition
meta data
Correlation
text analysis
neural nets
Computational modeling
composability
pubcrawl
Resiliency
Scalability
Neural networks
question answering (information retrieval)
single-image visual question answering
text metadata
visual text sequence information
Metadata Discovery Problem
biblio
A Full-Scale Security Visualization Effectiveness Measurement and Presentation Approach
Submitted by
aekwall
on Mon, 06/17/2019 - 10:27am
Web Application Security
visualization
visual clarity
user-centric visualization techniques
user response times
user cognition activators
understanding cyber-attacks
three-dimensional visualization
SvEm visualizations
SvEm framework key components
security visualization effectiveness measurement framework
Security Visualization
security insights
security incident entities
security events
real-time security visualization application
presentation approach
policy-making levels
multiuser collaboration
Mobile Security
mobile display dimension
full-scale security visualization effectiveness measurement
full-scale security visualization effectiveness framework
full-scale effectiveness approach
effectiveness metrics
Effectiveness measurement
Distortion measurement
data visualisation
cyber-attacks
cyber security
cognitive load
circular visualization designs attract
Attention span
alerts
security policies
cognition
Data visualization
network security
Correlation
computer security
Decision Making
policy-based governance
pubcrawl
security of data
biblio
Log-based Anomalies Detection of MANETs Routing with Reasoning and Verification
Submitted by
aekwall
on Mon, 06/10/2019 - 10:15am
active attacks
Ad hoc networks
Anomaly Detection
central control program
cognition
composability
Diagnostics
flow graph
flow graphs
log-based anomalies detection
MANET Attack Detection
MANETs
MANETs routing
Merkle hash tree
Metrics
mobile ad hoc networks
mobile computing
multiple malicious nodes
passive attacks
privacy
pubcrawl
reasoning rules
Resiliency
Routing
routing phases
routing procedure
routing security
security
Syslog
telecommunication network routing
telecommunication security
verification
verification phase
biblio
Exploiting Linguistic Style as a Cognitive Biometric for Continuous Verification
Submitted by
grigby1
on Fri, 02/22/2019 - 4:02pm
feature extraction
pubcrawl
Human behavior
Metrics
Training
learning (artificial intelligence)
pattern classification
biometrics (access control)
text analysis
natural language processing
formal verification
stylometry
Linguistics
authorial style
authorship
biometrics
cognition
cognitive biometric
continuous verification
Forestry
Isolation Forests
lexical levels
linguistic style
one class
one-class classification problem
semantic levels
Syntactics
biblio
A Logic-Based Attack Graph for Analyzing Network Security Risk Against Potential Attack
Submitted by
grigby1
on Fri, 02/08/2019 - 4:28pm
security of data
tools
resilience
pubcrawl
Metrics
Resiliency
composability
graph theory
Communication networks
Servers
Vulnerability
Firewalls (computing)
attack graph
attack path depth
attack path number
attacker
cognition
generation attack graph
LAPA framework
logic-based attack graph
logical language
logical property specification
logical reasoning algorithm
model checking
network risk
network security risk
network vulnerability analysis methods
potential attack
attack graphs
biblio
Symbolic execution and probabilistic reasoning
Submitted by
grigby1
on Wed, 09/05/2018 - 10:42am
Security Metrics
pubcrawl
Symbolic Execution
safety-critical software
Computational modeling
program diagnostics
Software systems
probability
inference mechanisms
Atmospheric modeling
Metrics
reliability theory
Systematics
Probabilistic logic
cognition
Computing Theory
event occurrence probability
probabilistic reasoning
program behaviors
program paths
software system safety
software system security
symbolic path conditions
systematic program analysis technique
biblio
PVad: Privacy-Preserving Verification for Secure Routing in Ad Hoc Networks
Submitted by
grigby1
on Wed, 06/20/2018 - 12:27pm
active attacks
Ad hoc networks
cognition
Compositionality
data privacy
Data Transmission
Diagnostics
distributed cooperation
dynamic topology
expected log data
expected routing paths
MANET
MANETs
Metrics
mobile ad hoc networks
mobile computing
multiple malicious nodes
passive attacks
Peer-to-peer computing
privacy
privacy-preserving verification
pubcrawl
PVad
resilience
Resiliency
Routing
routing discovery phase
routing path
routing security
security
security of data
source node
telecommunication network routing
telecommunication security
verification
biblio
How Good Is a Security Policy against Real Breaches? A HIPAA Case Study
Submitted by
grigby1
on Mon, 04/30/2018 - 3:26pm
accidental misuses
breach ontology
cognition
HHS
HIPAA
inference mechanisms
malicious misuses
Measurement
Medical services
norm violation
Ontologies
pubcrawl
security
Security and privacy breaches
security breaches
security of data
security policies
semantic reasoning
semantic similarity
semantic similarity metric
Semantics
SEMAVER
social norms
software development
software engineering
taxonomy
US Department of Health and Human Services
US Health Insurance Portability and Accountability Act
1
2
3
next ›
last »
