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
Component-Based Software
biblio
The Trustworthiness Measurement Model of Component-based Software Based on the Subjective and Objective Weight Allocation Method
Submitted by grigby1 on Wed, 08/03/2022 - 4:13pm
pubcrawl
Conferences
Software
Correlation
composability
Component-Based Software
software reliability
Measurement
trustworthiness
software quality
analytic hierarchy process
Weight measurement
weight
biblio
Parallel Verification of Software Architecture Design
Submitted by aekwall on Mon, 03/16/2020 - 10:39am
object-oriented programming
software architecture verification
software architecture design
parallel verification
multithreaded environment
multi-threading
monolithic architecture
large-scale complex software systems
component-based software system
Component-Based Software
Circular Dependency
Bottleneck
scalable verification
computer architecture
Compositionality
Predictive Metrics
Scalability
program verification
model checking
Software Architecture
Unified modeling language
Software systems
Production
pubcrawl
Resiliency
biblio
Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition
Submitted by K_Hooper on Wed, 02/28/2018 - 11:31am
noninterference
Theorem Proving
Software systems
security of data
security
secure interface composition
refinement-based security properties
Refinement
pubcrawl
object-oriented programming
Artificial Intelligence
Lattices
interface automata
information flow security
generalized refinement-based noninterference
Compositionality
compositional enforcement
Component-Based Software
Component architectures
automata
file
Sadeghi_Ensuring_Consistency_DG.pdf
Submitted by Jamie Presken on Tue, 07/11/2017 - 2:43pm
Adaptive software
August'17
CMU
Component-Based Software
Scalability and Composability
Science of Secure Frameworks
update criteria
biblio
Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency Analysis
Submitted by Jamie Presken on Tue, 07/11/2017 - 2:43pm
Adaptive software
August'17
CMU
Component-Based Software
Scalability and Composability
Science of Secure Frameworks
update criteria
Scalability and Composability
CMU
Science of Secure Frameworks
August'17
file
Yuan_Automated_Mining.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:05pm
CMU
Component-Based Software
Data mining
July'14
Science of Secure Frameworks
Secure Composition of Systems and Policies
Self-Adaptation
biblio
Automated Mining of Software Component Interactions for Self-Adaptation
Submitted by Jamie Presken on Mon, 12/05/2016 - 1:05pm
CMU
Component-Based Software
Data mining
July'14
Science of Secure Frameworks
Secure Composition of Systems and Policies
Self-Adaptation
CMU
Science of Secure Frameworks
Secure Composition of Systems and Policies
July'14
