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
Scalability
biblio
Efficient configuration of monitoring slices for cloud platform administrators
Submitted by BrandonB on Mon, 05/04/2015 - 1:41pm
Measurement
web services
Time factors
system monitoring
Servers
Scalability
monitoring server load
monitoring configuration
Monitoring
automation techniques
load balancing
infrastructure-as-a-service
Indium phosphide
IaaS
FlexACMS response time
cloud slices
cloud environments
Cloud Computing
file
NIST - Cyber-Physical Systems Program - Part 2.pdf
Submitted by Chris Greer on Wed, 04/22/2015 - 5:21pm. Contributor:
Chris Greer
CPS Domains
Concurrency and Timing
Critical Infrastructure
Foundations
NIST Public Working Group
Scalability
Smart City
test beds
timing
trustworthiness
CPS Week 2015
2015
Presentation
April 13 2015
file
NIST Cyber-Physical Systems Program.pdf
Submitted by Chris Greer on Wed, 04/22/2015 - 4:24pm. Contributor:
Chris Greer
CPS Domains
Concurrency and Timing
Critical Infrastructure
Foundations
NIST Public Working Group
Scalability
Smart City
test beds
timing
trustworthiness
CPS Week 2015
2015
Presentation
April 13 2015
group_project
Resilience and security in component-based software architectures for CPS
Submitted by gabor on Mon, 10/20/2014 - 8:21am
Abstract:
Architectures
Architectures
Resilient Systems
composability
Scalability
Resilient Architectures
Vanderbilt
file
Going Large with Formal Methods on iFACTS
Submitted by rod_chapman on Tue, 04/22/2014 - 10:44am. Contributor:
Roderick Chapman
Presented as part of the
2014 HCSS conference
.
Abstract:
Validation and Verification
air traffic control
Altran UK
Formal Specification
Scalability
static verification
National HCSS Conference 2014
Industry
Presentation
Specifications and Requirements (HCSS'14)
file
Session III: Infrastructure, Cloud-Based Systems, Green Approaches - Breakout Session II: Integration
Submitted by Nalini Venkatasub... on Wed, 01/29/2014 - 4:13pm. Contributors:
Nalini Venkatasubramanian
Wei Yu
CPS Domains
Automotive
Architectures
Avionics
Modeling
Transportation
CPS Technologies
Foundations
challenges
human in the loop
Resiliency
Scalability
security
social-behavioral factors
Breakout Session 2
Breakout Session 2
2014 National Workshop on Transportation CPS
2014
Academia
file
Workshop Summary: Addressing Challenges of Scale through Composable Modeling and Analysis
Submitted by JonathanAldrich on Fri, 11/01/2013 - 11:05am. Contributor:
Jonathan Aldrich
Composition
Science of Security
Foundations
Composable Analysis
Composable Modeling
Scalability
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Composition
NSA SoS Lablets Materials
file
Addressing Challenges of Scale through Composable Modeling and Analysis
Submitted by JonathanAldrich on Fri, 11/01/2013 - 10:57am. Contributor:
Jonathan Aldrich
Composition
Modeling
Science of Security
Foundations
Scalability
Academia
Presentation
SoS Quarterly Lablet Meeting, Sept '13 at CMU
Composition
CMU
NSA SoS Lablets Materials
« first
‹ previous
…
596
597
598
599
600
601
602
603
604
