Formal specification of QoS parameters by hierarchical tree structure.
Drago ZagarPublished in: ICECS (2002)
Keyphrases
- tree structure
- formal specification
- hierarchical structure
- qos parameters
- tree representation
- model checking
- quality of service
- tree structures
- data structure
- xml documents
- process algebra
- reverse engineering
- formal methods
- frequent patterns
- index structure
- communication networks
- management system
- database
- data mining
- binary tree
- routing algorithm
- software components
- data sources