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
merging
biblio
An Empirical Assessment on Merging and Repositioning of Static Analysis Alarms
Submitted by aekwall on Thu, 02/02/2023 - 4:37pm
pubcrawl
Resiliency
Human behavior
composability
Manuals
Inspection
static analysis
codes
static code analysis
source coding
C language
empirical study
Manual inspection of alarms
merging
Repositioning of alarms
biblio
DeTRM: Decentralised Trust and Reputation Management for Blockchain-based Supply Chains
Submitted by grigby1 on Thu, 01/05/2023 - 1:29pm
IoT
Supply Chain
pubcrawl
resilience
Resiliency
blockchain
smart contracts
Physical layer
supply chains
Transmission line measurements
Fabrics
merging
supply chain management
supply chain security
Trust and reputation management
biblio
Securing the metrological chain in IoT environments: an architectural framework
Submitted by grigby1 on Tue, 05/24/2022 - 12:50pm
maintenance engineering
software architectures
RMIAS
RAMI 4.0
Metrological Chain
IHE
FHIR
merging
model checking
IoMT
Compositionality
Metrics
tools
Smart Grids
Law
composability
Information Assurance
Instruments
Resiliency
resilience
Human behavior
pubcrawl
IoT
biblio
Key-Based Enhancement of Data Encryption Standard For Text Security
Submitted by grigby1 on Thu, 05/05/2022 - 2:13pm
real-time systems
efficient encryption
Text Security
Key-Distribution Function
CBC mode
Data Encryption Standard
merging
cyber physical system security framework
cyber physical systems
encryption
Streaming media
composability
Computational modeling
Data models
Resiliency
resilience
pubcrawl
security
biblio
Towards a Secured Blockchain-based Smart Grid
Submitted by grigby1 on Tue, 03/22/2022 - 12:51pm
security
blockchain
pubcrawl
resilience
Resiliency
Conferences
Scalability
cyberattacks
Smart Grid
Smart Grids
Metrics
smart grid security
data integrity
cyberattack
merging
biblio
Framework for Creating Outdoors Augmented and Virtual Reality
Submitted by grigby1 on Tue, 01/25/2022 - 2:22pm
privacy
pubcrawl
Human behavior
resilience
Resiliency
Scalability
Information systems
Solid modeling
virtual reality
augmented reality
Three-dimensional displays
navigation
hypermedia
merging
biblio
A Rule Reordering Method via Pairing Dependent Rules
Submitted by aekwall on Tue, 04/27/2021 - 12:35pm
Scalability
Conferences
security
Resiliency
pubcrawl
optimization
Communication networks
Heuristic algorithms
Security Heuristics
predictability
merging
Information services
packet classification
Heuristics
optimal rule ordering
biblio
Merging DoDAF architectures to develop and analyze the DoD network of systems
Submitted by aekwall on Mon, 05/11/2020 - 10:28am
merging
Systems engineering and theory
system-to-system matrix
system architectures
network metrics
military communication
Joint Interoperability and Capability Development System process
DoD network of systems
DoD legacy systems
DoD leadership
DoD Information Network
DoD Architecture Framework products
Department of Defense
network accountability
computer architecture
information networks
US Department of Defense
open systems
social network analysis
interoperability
military computing
Software Architecture
Measurement
Metrics
social networking (online)
composability
pubcrawl
Resiliency
biblio
Input Elimination Transformations for Scalable Verification and Trace Reconstruction
Submitted by aekwall on Mon, 03/16/2020 - 9:38am
2QBF variant
verification scalability
verification complexity
trace reconstruction
scalable verification
netlist transformations
merging
input reparameterization
input elimination transformations
fast- lossy preprocess
Cost accounting
connectivity verification
Resiliency
model checking
formal verification
Registers
Compositionality
Predictive Metrics
Scalability
Logic gates
Complexity theory
computational complexity
pubcrawl
biblio
Model-Based Assessment for Balancing Privacy Requirements and Operational Capabilities in the Smart Grid
Submitted by grigby1 on Mon, 03/09/2020 - 1:57pm
Resiliency
optimal balancing algorithm
policy-based governance
power generation protection
power system security
privacy
Privacy Requirements
privacy-aware data processing
privacy-aware data storage
pubcrawl
resilience
operational requirement
Scalability
security
Smart Grid
Smart Grid Privacy
Smart Grids
Smart Metering
smart power grids
University of Southern California
USC microgrid
Human behavior
billing
collaboration
common high-level use case
composability
data privacy
demand response
distributed power generation
forward mapping privacy
Heterogeneous systems
approximation theory
Human Factors
Load Curtailment
Mathematical model
merging
Metrics
model-based assessment
numeric approximation
Numerical models
operational capabilities
1
2
next ›
last »
