Integrating the ROMIOP and ETF Specifications for Atomic Multicast in CORBA.
Daniel BoruschLau Cheuk LungAlysson Neves BessaniJoni da Silva FragaPublished in: OTM Conferences (1) (2005)
Keyphrases
- multicast routing
- lightweight
- formal specification
- neural network
- routing algorithm
- case study
- reactive systems
- specification language
- end to end
- fault tolerance
- wireless networks
- shortest path
- software engineering
- application layer
- multicast tree
- object oriented
- distributed object
- high level
- delay insensitive
- group membership