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
optimization
biblio
Swarm Intelligence Approaches for Parameter Setting of Deep Learning Neural Network: Case Study on Phishing Websites Classification
Submitted by grigby1 on Tue, 11/26/2019 - 3:48pm
Human behavior
human factor
machine learning
Neural networks
optimization
Phishing
pubcrawl
website classification
biblio
The Explicit Coding Rate Region of Symmetric Multilevel Diversity Coding
Submitted by aekwall on Mon, 11/25/2019 - 2:07pm
closed-form
uncountably many linear inequalities
symmetric multilevel diversity coding
superposition coding
robust network communication
rate tuple
linear optimization problem
explicit coding rate region
encoding
distributed data storage
Closed-form solutions
Resiliency
source coding
network coding
Indexes
channel coding
optimisation
Decoding
optimization
Metrics
composability
pubcrawl
biblio
Fine-Grained Provenance for Matching ETL
Submitted by aekwall on Mon, 09/23/2019 - 10:40am
provenance APIs
data provenance tools
data science tasks
data types
data warehouses
database provenance tools
database-style provenance techniques
matching computations
matching tasks
Provenance
data objects
provenance-driven troubleshooting tool
PROVision
Record linking
support optimization
track provenance
tuple-level provenance
workflow
workflow management software
workflow provenance systems
Data mining
Resiliency
Human behavior
pubcrawl
composability
Metrics
optimization
ETL
tools
data analysis
Task Analysis
database management systems
application program interfaces
Instruments
Semantics
algebra
arbitrary code
code versions
common ETL
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
NPSOM technique
wireless network
telecommunication security
steady particle swarm optimizer technique
Servers
security
secrete sharing method
secrete sharing
Resiliency
resilience
receiving process
pubcrawl
particle swarm optimization (PSO)
particle swarm optimization
particle swarm optimisation
optimization
Birds
new particle swarm optimization method
Monitoring
mobility management (mobile radio)
mobility features
mobile ad hoc networks
Metrics
MANET security
MANET network
MANET
Fish
enhanced threshold based cryptography
dynamic network topology
data sending process
Cryptography
Compositionality
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
scalability issues
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
program verification problem
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
abstraction refinement
program verification
Program slicing
program compilers
optimization
model checking
Metrics
memory consumption
lines-of-code
extended structural abstraction
context aware software verification
Compositionality
Complexity theory
C program verifiers
C language
automatic software verification framework
biblio
Energy Demand Scheduling Based on Game Theory for Microgrids
Submitted by aekwall on Mon, 06/24/2019 - 2:59pm
Resiliency
Minimization
modern grids
opportunity
optimisation
optimization
policy-based governance
pubcrawl
renewable energy sources
minimal interactions
scheduling
Smart Grid Consumeer Privacy
smart grid consumer privacy
Smart Grids
smart power grids
Task Analysis
total energy cost
electricity grids
constrained optimization problem
consumer demand management
consumers
consumption scheduling
demand side management
demand-side management systems
distributed energy demand scheduling approach
distributed power generation
Buildings
energy consumption
game theory
Human behavior
interesting challenges
Metrics
Microgrids
minimal information exchange
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
self-healing functions
gaussian distribution
key requirements
Long Term Evolution
managed network functions
mobile network self-healing
multidimensional statistical methods
radio access networks
resilience
future network deployments
SON
SON self-healing
sophisticated machine learning methods
statistical analysis
telecommunication computing
ultra-high reliability
self-healing networks
automated anomaly detection
machine learning
pubcrawl
composability
optimization
Reliability
Anomaly Detection
self-healing
5G mobile communication
learning (artificial intelligence)
Case-Based Reasoning
cognitive network management
critical machine-type communication
degraded states
diagnosis function
future 5G cognitive autonomous networks
future cognitive autonomous mobile networks
profile
John Fitzgerald
Certification
Architectures
Agriculture
Hybrid Models
Design Automation Tools
Multi-models
Testing
Embedded Software
Model Integration
Semantics
Platforms
Modeling
Systems Engineering
Critical Infrastructure
Resilient Systems
Manufacturing
Transportation
Simulation
Validation and Verification
Model-based Systems Engineering
co-simulation
simulation
optimization
« first
‹ previous
…
15
16
17
18
19
20
21
22
23
…
next ›
last »
