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
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
automated provers
automated theorem provers
cognition
collaboration
complex systems
composability
Compositionality
Computer languages
deductive verification approach
design automation
distributed protocols
distributed systems
first-order logic
formal logic
Formal Specification
formal verification
infinite-state systems
logical verification conditions
long standing research goal
policy-based governance
privacy
program verification
protocol verification
Protocols
pubcrawl
Safety
SMT solvers
Theorem Proving
tools
Tutorials
validity checking
verification problem
biblio
From Big Data to Knowledge: Issues of Provenance, Trust, and Scientific Computing Integrity
Submitted by
aekwall
on Mon, 10/28/2019 - 9:39am
security of data
Big Data
Conferences
data integrity
Trusted Computing
Resiliency
pubcrawl
graph theory
Computational modeling
trust
provenance graphs
cognition
Semantics
inference mechanisms
Predictive Metrics
data provenance
scientific information systems
Compositionality
cognitive systems
data science
Data validity
data-intensive science and engineering
Knowledge engineering
knowledge provenance
malicious attacks
natural environmental changes
operations mistakes
provenance-based trust reasoning
SCI failures
scientific computing integrity
scientific workflows
Variety
Veracity
Viewpoints
views
Scientific Computing Security
biblio
Semantic Interaction for Visual Analytics: Toward Coupling Cognition and Computation
Submitted by
Katie Dey
on Mon, 09/09/2019 - 2: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 - 1: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 - 10: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 - 9: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 - 9: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 - 3: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 - 3: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 - 9: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
1
2
3
next ›
last »
