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
Academia
The document was issued by academy or academy organization.
file
Mathematical Foundations for Cyber-Physical Systems
Submitted by Nancy Lynch on Tue, 08/09/2011 - 10:58am. Contributor:
Nancy Lynch
1037877
National CPS PI Meeting 2011
Session 1: CPS Foundations
Academia
Presentation
file
Security Systems Engineering
Submitted by TimTh on Sun, 08/07/2011 - 3:54pm. Contributor:
Jennifer Bayuk
Stevens Institute of Technology
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Virtual Organization for Cyber Physical Systems (CPS-VO): Goals, Plans and Actions
Submitted by Janos.Sztipanovits on Sun, 08/07/2011 - 3:49pm. Contributor:
Janos Sztipanovits
ISIS- Vanderbilt University
0931632
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Shifting the Paradigm: Twenty Cents Worth of History
Submitted by ivans on Sun, 08/07/2011 - 9:12am. Contributor:
Ivan Sutherland
Portland State University
National HCSS Conference 2010
Academia
Conference paper
HCSS '10
HCSS 2010
inbox
file
Shifting the Paradigm
Submitted by ivans on Sun, 08/07/2011 - 9:10am. Contributor:
Ivan Sutherland
Portland State University
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Formal models of ARM processors in HOL
Submitted by mjcg on Sun, 08/07/2011 - 9:02am. Contributors:
Mike Gordon
Anthony Fox
University of Cambridge
National CPS PI Meeting 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Generating Implementations of Error Correcting Codes using Kansas Lava
Submitted by TimTh on Sun, 08/07/2011 - 8:56am. Contributor:
Andy Gill
University of Kansas
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
Proof-Carrying Data Secure Computation on Untrusted Execution Platforms
Submitted by TimTh on Sun, 08/07/2011 - 8:53am. Contributor:
Eran Tromer
CSAIL
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
VAST: Visualization of Attack Surface for Targeting
Submitted by TimTh on Sun, 08/07/2011 - 8:24am. Contributor:
Ke-Thia Yao
Information Sciences Institute Viterbi School of Engineering University of Southern California
National HCSS Conference 2010
Academia
Presentation
HCSS '10
HCSS 2010
file
CYPRESS: Cyber-Physical RESilience and Sustainability- Dependability Techniques for Instrumented Cyber-Physical Spaces
Submitted by admin on Mon, 08/01/2011 - 9:25am. Contributors:
Grit Denker
Nikil Dutt
Sharad Mehrotra
Mark-Oliver Stehr
Carolyn Talcott
Nalini Venkatasubramanian
Architectures
Architectures
CPS Domains
Communication
Platforms
Modeling
Wireless Sensing and Actuation
Resilient Systems
CPS Technologies
Education
Foundations
SRI International
University of California at Irvine
National CPS PI Meeting 2011
Poster Session: Day 1
Academia
Poster
« first
‹ previous
…
207
208
209
210
211
212
213
214
215
…
next ›
last »
