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
SCTD: Smart Reasoning Based Content Threat Defense in Semantics Knowledge Enhanced ICN
Submitted by
grigby1
on Tue, 01/21/2020 - 10:27am
blacklisting
cognition
computer architecture
content semantic awareness
content threats
content-based defense mechanism
context communication content
distributed processing
edge computing
Extranets
fog computing based defense mechanism
ICN edge defense system
ICN protocols
ICN semantic features
inference mechanisms
Information Centric Network
Information Centric Networks
information-centric networking
internet
knowledge graph
pubcrawl
resilience
Resiliency
Scalability
SCTD
security knowledge-based defense mechanism
security of data
semantic obfuscation
semantic reasoning
semantic relations
Semantics
smart based defense mechanism
smart reasoning algorithms
smart reasoning based content threat defense
subscription-based naming mechanism
biblio
Research and Design of Subway BAS Intrusion Detection Expert System
Submitted by
grigby1
on Thu, 01/02/2020 - 1:45pm
Building automation system
building management systems
cognition
Engines
expert system
expert systems
Human behavior
inference engine
inference mechanisms
information security
Intrusion Detection
intrusion detection system
knowledge base
pubcrawl
Public transportation
Rails
rail traffic
rail transit system
railways
resilience
Resiliency
Scalability
security
security of data
subway BAS intrusion detection expert System
subway equipment
targeted intrusion detection expert system
the inference engine
urban rail transit system
biblio
Formal Security Verification of Concurrent Firmware in SoCs Using Instruction-Level Abstraction for Hardware*
Submitted by
grigby1
on Tue, 12/17/2019 - 11:21am
security of data
resilience
pubcrawl
Metrics
Resiliency
composability
Hardware
microprocessor chips
Frequency modulation
Access Control
cyber-physical systems
cognition
cyber-physical system
program verification
firmware
Microprogramming
system-on-chip
concurrency (computers)
Concurrency
multi-threading
architecture level
bit-precise reasoning
concurrent firmware
firmware-visible behavior
formal security verification
Instruction-Level Abstraction
intellectual property blocks
multithreaded program verification problem
Secure Boot design
SoC security verification
software verification techniques
Systems-on-Chip
Predictive Metrics
biblio
Post-Turing Computing, Hierarchical Named Networks and a New Class of Edge Computing
Submitted by
grigby1
on Mon, 12/16/2019 - 2:59pm
biological systems
cellular organisms
Church-Turing thesis
Cloud Computing
cognition
Control Theory
Cyber Physical System
cyber physical systems
Dynamic Configuration
dynamic reconfiguration
Edge Cloud
edge cloud platform
edge computing
hierarchical named network
Hierarchical named networks
Human behavior
inductive Turing machines
info-computation
IP address base networks
knowledge structures
Kubernetes
kubernetes provisioning stack
live-migration
living beings
managed process workflow
microservices
named microservice network
named service connections
Neural networks
Platina systems
post-turing computing
pubcrawl
resilience
Resiliency
Scalability
service network
Software systems
stored program control machines
structural machine framework
structural machines
Turing machine
Turing machines
virtual machine overlay
virtual machines
biblio
Engineering Trust: A Graph-Based Algorithm for Modeling, Validating, and Evaluating Trust
Submitted by
aekwall
on Mon, 12/09/2019 - 11:23am
security of data
Trusted Computing
pubcrawl
composability
graph theory
Computational modeling
Metrics
Vulnerability
systems engineering
trust
Measurement
Trust management
evaluation
Risk
modeling
psychology
cognition
Compositionality
complex intersystem trust relationships
complex multitiered system architectures
Component architectures
disparate system
engineering trust
graph-based algorithm
graph-based modeling methodology
requirements analysis
System Engineering
Systems architecture
systems engineering processes
trust modeling
Computing Theory and Trust
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
1
2
3
4
next ›
last »
