Machine learning: neural networks, genetic algorithms, and fuzzy systems
Machine learning: neural networks, genetic algorithms, and fuzzy systems
On detecting space-time clusters
Proceedings of the tenth ACM SIGKDD international conference on Knowledge discovery and data mining
ISPAN '08 Proceedings of the The International Symposium on Parallel Architectures, Algorithms, and Networks
Statistical techniques for detecting traffic anomalies through packet header data
IEEE/ACM Transactions on Networking (TON)
Hi-index | 0.00 |
Non-repudiation service is crucial to electronic commerce. We have made some research of ATL logic method and its applications in multi-party security protocols formalized analysis. A typical multi-party non-repudiation protocol is modeled and analyzed ...