On Formal Modeling and Validation of Signaling Protocols for Web Real-Time Communications using SDL.
Asma El HamzaouiAbdeslam En-NouaaryHicham BensaidPublished in: ANT/SEIT (2018)
Keyphrases
- real time
- web applications
- website
- model validation
- web pages
- web content
- group communication
- information sources
- web mining
- information extraction
- low latency
- web technologies
- web resources
- web documents
- semantic web
- high speed
- low cost
- real time systems
- web communities
- communication protocol
- formal models
- knowledge base
- database