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
contracts
biblio
CloudSec: A Novel Approach to Verifying Security Conformance at the Bottom of the Cloud
Submitted by grigby1 on Tue, 02/06/2018 - 1:44pm
security
model checking
openstack
pubcrawl
quality of service
real cloud scenarios
Resiliency
Scalability
SecSLA model
Metrics
Security Conformance
security constraints
security of data
security SLA
storage management
UPPAAL
Virtual machining
CloudBeh model
big data analysis
big data security metrics
Cloud Computing
Cloud Modeling
cloud service behaviors
cloud service provider
cloud service security conformance
cloud storage service
Big Data
CloudBeh performance metrics conformance
CloudSec
Computational modeling
contracts
CSP
data analysis
Measurement
biblio
Blockchain-Assisted Information Distribution for the Internet of Things
Submitted by grigby1 on Tue, 12/12/2017 - 1:27pm
Access Control
authentication
composability
Compositionality
contracts
Human behavior
Human Factors
Identity management
internet
Metrics
Provenance
provenance verification
pubcrawl
Public key
Resiliency
sensors
biblio
The Blockchain as a Software Connector
Submitted by grigby1 on Fri, 11/03/2017 - 11:33am
distributed software architectures
untrusted participants
transactional data sharing
Trade-off
software quality
software connector
Software Architecture
Software
Scalability
Resiliency
quality attributes
pubcrawl
Peer-to-peer computing
Online banking
architectural decision
distributed processing
design trade-offs
design
decentralized data sharing
decentralized blockchain
data handling
Cryptography
contracts
Connectors
blockchain security
blockchain
Australia
Architecture connector
biblio
DoS Protection in the Cloud through the SPECS Services
Submitted by grigby1 on Wed, 03/08/2017 - 2:29pm
FP7-ICT programme project
supply chains
SPECS service
security-as-a-service
security SLA-based approach
security service level agreement
Security Metrics
pubcrawl170112
OSSEC
Monitoring
Measurement
Cloud Computing
DoS protection
DoS attacks
DoS attack
contracts
Containers
computer network security
Computer crime
cloud security monitoring
cloud environment
biblio
SLA-Based Secure Cloud Application Development: The SPECS Framework
Submitted by grigby1 on Wed, 03/08/2017 - 2:28pm
security of data
user-defined security feature
Unified modeling language
supply chains
SPECS framework
SPECS
SLA-based secure cloud application development
security-enhanced service
security-as-a-service
security SLA
security service level agreement
API
security
secure Web server
Secure Cloud Application Development
pubcrawl170112
Monitoring
contracts
Context
Cloud Computing
application program interfaces
biblio
A Quantity-Flexibility Contract in Two-Stage Decision with Supply Chain Coordination
Submitted by grigby1 on Wed, 03/08/2017 - 2:25pm
optimal replenishment strategy
wholesale price
updated inventory status
two-period dynamic programming model
supply chains
supply chain coordination
Stackelberg game
returning units
retailing
retailer
quantity-flexibility supply contract
pubcrawl170112
Pricing
buyback price
Numerical models
Mathematical model
manufacturing
manufacturer price scheme
inventory management
incremental units
game theory
fixed quantity
dynamic programming
Decision Making
contracts
biblio
A mixed discrete-continuous optimization scheme for Cyber-Physical System architecture exploration
Submitted by grigby1 on Wed, 03/08/2017 - 1:53pm
discrete systems
sizing routine
pubcrawl170110
optimization time
optimization
optimisation
mixed discrete continuous optimization scheme
Mathematical model
magnitude reduction
Libraries
Engines
aircraft control
discrete space
discrete optimization routine
discrete architecture selection engine
cyber-physical system architecture exploration
CPS
contracts
continuous sizing engine
computer architecture
Atmospheric modeling
aircraft environmental control system
biblio
The optimal contracts in continuous time under Knightian uncertainty
Submitted by grigby1 on Mon, 02/27/2017 - 12:56pm
optimal control
Yttrium
uncertainty
TV
pubcrawl170108
pubcrawl170107
principal-agent problems
optimization
optimisation
optimal control theory
continuous time system
optimal contracts
optimal contract
Knightian uncertainty
g-expectation framework
financial management
differential equations
contracts
continuous time systems
biblio
Self-establishing a Service Level Agreement within autonomic cloud networking environment
Submitted by BrandonB on Wed, 05/06/2015 - 9:58am
contracts
SLA
Service Level Agreement
security
quality of service
QoS
NaaS services
IaaS services
CSP
autonomic cloud managers
computer architecture
cloud service user
cloud service provider
cloud computing research communities
Cloud Computing
Bandwidth
Availability
autonomic cloud networking environment
video
Compositional System Modeling with Interfaces - COSMOI
Submitted by tripakis on Wed, 12/03/2014 - 12:38pm
Multi-models
Modeling
Simulation
Validation and Verification
Foundations
Compositionality
contracts
cyber-physical systems
Functional Mockup Interface
Interfaces
model-based design
University of California at Berkeley
National CPS PI Meeting 2014
2014
Academia
« first
‹ previous
1
2
3
4
5
6
7
8
9
next ›
last »
