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