Modeling & verification of Sliding Window Protocol with data loss and intruder detection using NuSMV.
Aditya SinhaAjay RySanjay SinghPublished in: CCSEIT (2012)
Keyphrases
- sliding window
- data sets
- stream data
- streaming data
- data streams
- data analysis
- historical data
- database
- model checking
- data mining techniques
- high speed data streams
- data structure
- original data
- data distribution
- data mining algorithms
- sensor data
- high dimensional data
- software engineering
- data points
- high dimensional