A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications.
Hong Anh LeNinh-Thuan TruongAziz NanthaamornphongPublished in: KICSS (2015)
Keyphrases
- cost function
- detection method
- dynamic programming
- data sets
- high precision
- model checking
- management system
- computational cost
- significant improvement
- pairwise
- computational complexity
- objective function
- neural network
- information technology
- image segmentation
- feature set
- clustering method
- information systems
- database
- event detection