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
multiobjective optimization problem
biblio
Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems
Submitted by aekwall on Mon, 07/06/2020 - 10:14am
resilience
Monitoring
multiobjective optimization problem
nonfunctional properties
numerous contracts
object-oriented programming
operating conditions
optimisation
power system stability
pubcrawl
rapid fault detection
Metrics
Resilience Decentralized Algorithms
Resiliency
root contract
Scalability
Silicon
system design
System Level
System performance
web services
Cyber Dependencies
cyber physical systems
Automatic Contract Generation
automatic contract refinement
automatic generation
communication overhead
Compositionality
Contract Synthesis
contracts
core issue
CPS resilience
cyber-physical systems
fault diagnosis
growing scale
hierarchical contract-based resilience framework
hierarchical contracts generation
Human Factors
large-scale CPS
lower-level contract
manufacturing domain
biblio
Dummy Location Selection Scheme for K-Anonymity in Location Based Services
Submitted by grigby1 on Mon, 04/02/2018 - 12:31pm
mobile computing
Servers
security of data
Security analysis
security
Resiliency
resilience
query processing
query probability
pubcrawl
probability
privacy concerns
privacy
optimization
optimisation
multiobjective optimization problem
anonymity
Metrics
low complexity dummy location selection scheme
location based services
localization information
LBS
k-anonymity
K-1 dummy locations
Human behavior
Geometry
dummy location
data privacy
composability
Complexity theory
cloaking area based algorithm
Artificial Intelligence