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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Connectors
biblio
D-XMAN: A Platform For Total Compositionality in Service-Oriented Architectures
Submitted by
grigby1
on Thu, 08/23/2018 - 11:49am
choreography
Complexity theory
composability
Compositionality
Computing Theory
Connectors
DX-MAN
Electronic mail
exogenous connectors
Java
microservices
MusicCorp
orchestration
partial compositionality
platform
pubcrawl
Scalability
service composition
service-oriented architecture
service-oriented architectures
SOA development
total compositionality
biblio
Formal Modeling and Verification of a Wireless Body Area Network (WBAN) Protocol: S-TDMA Protocol
Submitted by
grigby1
on Wed, 05/09/2018 - 2:47pm
access protocols
body area networks
body sensor networks
Compositionality
Connectors
formal validation
formal verification
implanted devices
information processing systems
MAC protocol
MAC protocols
Media Access Protocol
Medium Access Control
Metrics
model checking
pubcrawl
real-time model checker
resilience
Resiliency
S-TDMA protocol
Scalability
scalable verification
TDMA
TDMA bus arbitration
temporal aspect modeling
time division multiple access
timed automata
WBAN
Wearable devices
wireless body area network protocol
Wireless communication
wireless sensor networks
WSN
biblio
Exogenous Connectors for Hierarchical Service Composition
Submitted by
K_Hooper
on Wed, 02/28/2018 - 11:31am
choreography
Compositionality
Connectors
Distributed databases
exogenous connectors
explicit control flow
hierarchical service composition
message passing
microservices
MusicCorp
orchestration
Proposals
pubcrawl
Scalability
Sequential analysis
service-oriented architecture
service-oriented systems
Software Architecture
total compositionality
visualization
web services
biblio
The Blockchain as a Software Connector
Submitted by
grigby1
on Fri, 11/03/2017 - 11:33am
architectural decision
Architecture connector
Australia
blockchain
blockchain security
Connectors
contracts
Cryptography
data handling
decentralized blockchain
decentralized data sharing
design
design trade-offs
distributed processing
distributed software architectures
Online banking
Peer-to-peer computing
pubcrawl
quality attributes
Resiliency
Scalability
Software
Software Architecture
software connector
software quality
Trade-off
transactional data sharing
untrusted participants
