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
Oct'14
biblio
Managing security requirements patterns using feature diagram hierarchies
Submitted by Jamie Presken on Wed, 12/07/2016 - 2:58pm
CMU
Oct'14
CMU
Oct'14
file
Slavin_Managing_Sec_Requirements_TB.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 2:58pm
CMU
Oct'14
biblio
Safely Composable Type-Specific Languages
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
CMU
Oct'14
file
Omar_Safely_Composable_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 11:25am
bidirectional typechecking
CMU
extensible languages
hygiene
Oct'14
parsing
file
Abi-Antoun_Are_Object_Graphs_Extracted.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:59pm
CMU
Oct'14
biblio
Are Object Graphs Extracted Using Abstract Interpretation Significantly Different from the Code?
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:59pm
CMU
Oct'14
CMU
Oct'14
biblio
Rely-Guarantee Protocols
Submitted by Jamie Presken on Mon, 12/05/2016 - 12:24pm
CMU
Oct'14
CMU
Oct'14
file
Aldrich_Language_Based_Arch_Control_JA.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:19am
CMU
July'14
Oct'14
software architecture; architectural control; distributed systems; capabilities; layered architectures; alias control; domain specific languages
biblio
Language-Based Architectural Control
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:19am
CMU
Oct'14
software architecture; architectural control; distributed systems; capabilities; layered architectures; alias control; domain specific languages
CMU
Oct'14
file
Camara_Impact_Models_DG.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 11:03am
CMU
Oct'14
1
2
next ›
last »