Dynamic Networks of Timed Automata for collaborative systems: A network monitoring case study.
Salvatore CampanaLuca SpalazziFrancesco SpegniPublished in: CTS (2010)
Keyphrases
- dynamic networks
- network monitoring
- collaborative systems
- timed automata
- model checking
- network traffic
- network analysis
- ip networks
- network management
- streaming data
- theorem prover
- learning theory
- monitoring system
- computer networks
- dynamic behavior
- network structure
- distributed systems
- data mining
- temporal evolution
- data aggregation
- communication technologies
- first order logic
- network security
- biological networks
- communication networks
- real world networks
- social network analysis
- real world
- natural language
- web services
- machine learning