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
programming languages
file
What is (Not) a System Science for CPS?
Submitted by Ethan Jackson on Mon, 05/16/2016 - 12:47pm
Modeling
Foundations
abstraction
Cloud Computing
Microsoft Research
programming languages
testbed
Industry
Presentation
Presentations
biblio
Ethos' Deeply Integrated Distributed Types
Submitted by BrandonB on Tue, 05/05/2015 - 9:55am
Robustness
type system
type safety
type constraints
Trusted Computing
Semantics
security-sensitive bugs
security
safety-critical software
Safety
runtime-agnostic Ethos
Runtime
deeply integrated distributed types
Protocols
programming languages
program debugging
operating systems (computers)
operating system approach
operating system
multilingual Ethos
Language-theoretic security
language runtime
Kernel
Ethos operating system
biblio
Bluetooth technology: ApXLglevel end-to-end security
Submitted by BrandonB on Mon, 05/04/2015 - 1:22pm
NIST Guide
encryption
file transfer
framework compatibility
framework reliability
Indexes
Java
Java language
Mobile communication
mobile phone
MS-Windows 7 operating system
music streaming
embedded appliances
operating system
operating systems (computers)
PAN
personal area network
personal area networks
privacy concern
programming languages
Satellites
security concern
smart phones
strong mutual authentication
communication technologies
ANSI C language
application-layer framework
ApXLglevel end-to-end security
audio streaming
authentication
authorisation
Binary Payload
Bluetooth
Bluetooth security specification
Bluetooth technology
C language
Android operating system
computer network reliability
computer network security
computing technologies
confidentiality
configurable add-on devices
cryptographic service providers
Cryptography
customizable add-on devices
data confidentiality
data integrity
biblio
Authenticated Data Structures, Generically
Submitted by BrandonB on Thu, 04/30/2015 - 2:31pm
authenticated data structures
Cryptography
programming languages
security
file
Systems-level Programming Environments for Robotics
Submitted by KNEW on Wed, 02/12/2014 - 4:59pm. Contributor:
Scott C. Livingston
CPS Domains
Robotics
CPS Technologies
Foundations
CalTech
experiment methods
programming languages
robotics
2014 CPS-ECP
2014
Academia
Position Paper
Publications
CFP Paper Submissions
CFP Submissions
« first
‹ previous
1
2
