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
optimization
biblio
Fine-Grained Provenance for Matching ETL
Submitted by
aekwall
on Mon, 09/23/2019 - 10:40am
Task Analysis
Resiliency
Human behavior
pubcrawl
composability
Metrics
optimization
ETL
tools
data analysis
Data mining
database management systems
application program interfaces
Instruments
Semantics
algebra
arbitrary code
code versions
common ETL
data objects
data provenance tools
data science tasks
data types
data warehouses
database provenance tools
database-style provenance techniques
matching computations
matching tasks
Provenance
provenance APIs
provenance-driven troubleshooting tool
PROVision
Record linking
support optimization
track provenance
tuple-level provenance
workflow
workflow management software
workflow provenance systems
biblio
An Enhanced Threshold Based Cryptography with Secrete Sharing and Particle Swarm Optimization for Data Sending in MANET
Submitted by
grigby1
on Mon, 09/09/2019 - 10:57am
Birds
Compositionality
Cryptography
data sending process
dynamic network topology
enhanced threshold based cryptography
Fish
MANET
MANET network
MANET security
Metrics
mobile ad hoc networks
mobility features
mobility management (mobile radio)
Monitoring
new particle swarm optimization method
NPSOM technique
optimization
particle swarm optimisation
particle swarm optimization
particle swarm optimization (PSO)
pubcrawl
receiving process
resilience
Resiliency
secrete sharing
secrete sharing method
security
Servers
steady particle swarm optimizer technique
telecommunication security
wireless network
biblio
Optimization Based Adaptive Tagged Visual Cryptography
Submitted by
aekwall
on Mon, 08/26/2019 - 9:56am
visual cryptography
tagged visual cryptography
Scalability
Resiliency
pubcrawl
policy-based governance
optimization
Metrics
Human behavior
genetic algorithm
cryptology
adaptive tagged visual cryptography
biblio
Scalable Verification Framework for C Program
Submitted by
grigby1
on Fri, 06/28/2019 - 10:36am
abstraction refinement
automatic software verification framework
C language
C program verifiers
Complexity theory
Compositionality
context aware software verification
extended structural abstraction
lines-of-code
memory consumption
Metrics
model checking
optimization
program compilers
Program slicing
program verification
program verification problem
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
scalability issues
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
biblio
Energy Demand Scheduling Based on Game Theory for Microgrids
Submitted by
aekwall
on Mon, 06/24/2019 - 2:59pm
Buildings
constrained optimization problem
consumer demand management
consumers
consumption scheduling
demand side management
demand-side management systems
distributed energy demand scheduling approach
distributed power generation
electricity grids
energy consumption
game theory
Human behavior
interesting challenges
Metrics
Microgrids
minimal information exchange
minimal interactions
Minimization
modern grids
opportunity
optimisation
optimization
policy-based governance
pubcrawl
renewable energy sources
Resiliency
scheduling
Smart Grid Consumeer Privacy
smart grid consumer privacy
Smart Grids
smart power grids
Task Analysis
total energy cost
biblio
Efficient Software Implementation of ZUC Stream Cipher
Submitted by
aekwall
on Mon, 03/25/2019 - 9:58am
Resiliency
pubcrawl
composability
Metrics
optimization
information security
Mobile communication
software implementation
ZUC stream cipher
signal processing security
biblio
SELF-HEALING AND RESILIENCE IN FUTURE 5G COGNITIVE AUTONOMOUS NETWORKS
Submitted by
aekwall
on Mon, 03/25/2019 - 9:55am
learning (artificial intelligence)
machine learning
pubcrawl
composability
optimization
Reliability
Anomaly Detection
self-healing
5G mobile communication
automated anomaly detection
Case-Based Reasoning
cognitive network management
critical machine-type communication
degraded states
diagnosis function
future 5G cognitive autonomous networks
future cognitive autonomous mobile networks
future network deployments
gaussian distribution
key requirements
Long Term Evolution
managed network functions
mobile network self-healing
multidimensional statistical methods
radio access networks
resilience
self-healing functions
SON
SON self-healing
sophisticated machine learning methods
statistical analysis
telecommunication computing
ultra-high reliability
self-healing networks
profile
John Fitzgerald
Agriculture
Architectures
Hybrid Models
Certification
Design Automation Tools
Multi-models
Embedded Software
Model Integration
Testing
Platforms
Semantics
Systems Engineering
Modeling
Critical Infrastructure
Resilient Systems
Manufacturing
Transportation
Simulation
Validation and Verification
Model-based Systems Engineering
co-simulation
simulation
optimization
biblio
Trustworthiness Optimization of Industrial Cluster Network Platform Based on Blockchain
Submitted by
aekwall
on Mon, 03/11/2019 - 10:38am
Analytical models
Application Layer
blockchain
collaboration
composability
data layer
Distributed databases
Economics
industrial cluster
industrial cluster network platform
Industries
information service platform
Information services
information trustworthiness
network platform
optimisation
optimization
pubcrawl
security of data
small and medium-sized enterprises
small-to-medium enterprises
smart contracts
Trusted Computing
trustworthiness
trustworthiness optimization
biblio
Optimization Algorithm Research of Logistics Distribution Path Based on the Deep Belief Network
Submitted by
grigby1
on Wed, 03/06/2019 - 4:30pm
actual logistics distribution
ant algorithm
belief networks
collaboration
composability
Data models
Deep Belief Network
Human behavior
Logistics
Logistics distribution
Metrics
optimisation
optimization
optimization algorithm
Path optimization
policy-based governance
Prediction algorithms
pubcrawl
resilience
Resiliency
road traffic
Roads
Scalability
time-share traffic network
Traffic forecast
traffic forecast model
Training
urban traffic
vehicles
1
2
3
4
5
6
7
8
9
…
next ›
last »
