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
2020: October
biblio
Tradeoff-Focused Contrastive Explanation for MDP Planning
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:22pm
2020: October
CMU
Model-Based Explanation For Human-in-the-Loop Security
CMU
Model-Based Explanation For Human-in-the-Loop Security
2020: October
file
Sukkerd_Trade_Off_Focus_Garlan.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 3:22pm
2020: October
CMU
Model-Based Explanation For Human-in-the-Loop Security
Model-Based Explanation For Human-in-the-Loop Security
file
Coblenz_User_Centered_Design_-_Thesis_Aldrich.pdf
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:45pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
Obsidian Language for Blockchain
biblio
User-Centered Design of Principled Programming Languages
Submitted by Jamie Presken on Tue, 03/09/2021 - 2:41pm
2020: October
blockchain
CMU
Empirical studies of programmers
Immutability
Obsidian Language for Blockchain
smart contract languages
usability of programming languages
user-centered programming language design
CMU
Obsidian Language for Blockchain
2020: October
