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
My Groups
Join a Group
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
»
2012
National HCSS Conference 2012
file
CPS PI Meeting 2012: Welcome
Submitted by Anonymous on Wed, 10/03/2012 - 9:39am. Contributor:
Farnam Jahanian
10.04 MB
0 views
166 downloads
Download
National HCSS Conference 2012
National CPS PI Meeting 2012
Presentation
NSF
Plenary
file
Co-Design of Multimodal CPS Architectures and Adaptive Controllers
Submitted by
ancs-cps11
on Tue, 09/18/2012 - 11:56am. Contributor:
Anuradha Annaswamy
ABSTRACT
2.24 MB
0 views
94 downloads
Download
National HCSS Conference 2012
Poster
Academia
CPS PI MTG 12 Posters
file
Synthesizing Architectural Models of Cyber-Physical Systems
Submitted by
Katie Dey
on Mon, 07/30/2012 - 9:42am. Contributors:
Pete Manolios
Vasilis Papavaseiliou
Abstract:
122.73 MB
0 views
50 downloads
Download
Architectures
Modeling
Northeastern University
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Formal Synthesis
file
The CPS Virtual Organization
Submitted by
Katie Dey
on Tue, 07/10/2012 - 10:36am. Contributor:
Chris vanBuskirk
Abstract:
3.35 MB
0 views
54 downloads
Download
CPS Domains
Energy
Health Care
Transportation
Science of Security
National HCSS Conference 2012
Poster
Academia
Posters
HCSS'12 Poster Session
file
Designed-In Security in Context
Submitted by
Katie Dey
on Fri, 07/06/2012 - 8:01am. Contributor:
Carl Landwehr
1.47 MB
0 views
84 downloads
Download
Science of Security
National HCSS Conference 2012
Presentation
HCSS'12 Theme: Designed-In Security
file
Designed-In Security for Mobile Applications
Submitted by
Katie Dey
on Thu, 07/05/2012 - 12:00pm. Contributors:
Jonathan Aldrich
Marwan Abi-Antoun
Ciera Jaspan
Michael Maass
Cyrus Omar
Joshua Sunshine
788.5 KB
0 views
57 downloads
Download
Architectures
Science of Security
Carnegie Mellon University
Mobile Applications
National HCSS Conference 2012
Presentation
Academia
HCSS'12 Theme: Designed-In Security
file
Temporal Logic Verification for Programs
Submitted by
Katie Dey
on Thu, 06/28/2012 - 10:04am. Contributor:
Byron Cook
15.39 MB
0 views
51 downloads
Download
Microsoft Research
University College London
National HCSS Conference 2012
Presentation
Academia
Industry
HCSS'12 Theme: Compositional Reasoning
file
Designing for the Human Element in Security
Submitted by
Katie Dey
on Thu, 06/28/2012 - 9:41am. Contributor:
Angela Sasse
2.39 MB
0 views
76 downloads
Download
National HCSS Conference 2012
Presentation
United Kingdom
HCSS'12 Theme: Designed-In Security
file
Science of Security
Submitted by
Katie Dey
on Fri, 05/11/2012 - 7:36am. Contributors:
Heather Lucas
Robert Meushaw
Abstract:
4.92 MB
0 views
44 downloads
Download
Science of Security
National HCSS Conference 2012
Poster
NSA
HCSS'12 Poster Session
file
Quest-V: A Virtualized Multikernel for High-Confidence Systems
Submitted by
Katie Dey
on Fri, 05/11/2012 - 7:32am. Contributors:
Richard West
Ye Li
Eric Missimer
Abstract:
1.8 MB
0 views
31 downloads
Download
Boston University
National HCSS Conference 2012
Poster
Academia
HCSS'12 Poster Session
1
2
3
4
5
6
next ›
last »
