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
distributed systems
biblio
Distributed Software Infrastructure for General Purpose Services in Smart Grid
Submitted by grigby1 on Mon, 11/13/2017 - 11:50am
open systems
web services
UK distribution network
smart power grids
Smart Grid
sensors
security
Resiliency
Reliability
pubcrawl
power system security
power engineering computing
power distribution reliability
pervasive computing
peer-to-peer distributed software infrastructure
Peer-to-peer computing
Aggregation
middleware security
middleware reliability
middleware
interoperability
heterogeneous technology
hardware-independent interoperability
general purpose services
event-driven middleware
event-based middleware
distribution network
distributed systems
Demand response (DR)
composability
communication technology attacks
collaboration
biblio
A Temporal Blockchain: A Formal Analysis
Submitted by grigby1 on Fri, 11/03/2017 - 11:33am
Peer-To-Peer
temporal rolling blockchain
system monitoring
security of data
security
Scalability
Resiliency
pubcrawl
Protocols
peer-to-peer method
Peer-to-peer computing
blockchain
Online banking
Mobile communication
formal analysis
fixed-size blockchain
distributed systems
distributed storage
Cryptography
cryptocurrencies
blockchain-based systems
blockchain security
biblio
Cardinalities and Universal Quantifiers for Verifying Parameterized Systems
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
Cardinalities
collaboration
Compositionality
Concurrency
distributed systems
Parametric Systems
privacy
protocol verification
pubcrawl
verification
biblio
Planning for Change in a Formal Verification of the Raft Consensus Protocol
Submitted by grigby1 on Tue, 09/26/2017 - 12:32pm
collaboration
Compositionality
Coq
distributed systems
formal verification
privacy
proof assistants
protocol verification
pubcrawl
Raft
Verdi
biblio
Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency
Submitted by grigby1 on Mon, 05/22/2017 - 1:58pm
channel coding
collaboration
consistency
distributed systems
Human Factors
Information Flow
language-based security
Metrics
pubcrawl
Resiliency
safe coding standards
security
serializability
transactions
biblio
On Building Smart City IoT Applications: A Coordination-based Perspective
Submitted by grigby1 on Thu, 05/18/2017 - 3:03pm
collaboration
composability
Coordination Models
distributed systems
Fog computing
Human behavior
Internet of Things
Metrics
pubcrawl
Resiliency
Scalability
Smart City
biblio
Analysis of Checkpointing Overhead in Parallel State Machine Replication
Submitted by grigby1 on Tue, 05/16/2017 - 12:44pm
checkpointing
distributed systems
fault tolerance
pubcrawl
Resiliency
System recovery
profile
Eugene Vasserman
Communications Sector
Healthcare and Public Health Sector
Medical Devices
Networked Control
Communication
Embedded Software
Systems Engineering
Health Care
Resilient Systems
Education
distributed systems
distributed systems security
interoperable medical devices
network security
Kansas
biblio
Trustworthiness Management in the Social Internet of Things
Submitted by BrandonB on Wed, 05/06/2015 - 2:07pm
network traffic
trustworthiness management
Trusted Computing
social networks
social networking concepts
social networking (online)
Social network services
social IoT
Social Internet of Things
reliable system
Reliability
Peer-to-peer computing
P2P networks
Analytical models
network scalability
Internet of Things
internet
information/service discovery
General
feedback exchange
distributed systems
distributed hash table structure
Computer Systems Organization
Computational modeling
Communication/Networking and Information Technology
file
Transportation Infrastructure Performance Monitoring and Life-Cycle Management
Submitted by schirner on Thu, 02/20/2014 - 12:07pm. Contributors:
Gunar Schriner
Ralf Birken
CPS Domains
Transportation Systems Sector
Automotive
Avionics
Critical Infrastructure
Wireless Sensing and Actuation
Transportation
CPS Technologies
Foundations
Big Data
cyber physical systems
distributed systems
sensor fusion
CFP Submissions
CFP Paper Submissions
2014 National Workshop on Transportation CPS
2014
Academia
Position Paper
Publications
« first
‹ previous
1
2
3
4
5
next ›
last »