LEADER 03046nam  22005415  450 
001 9910299287403321
005 20200703154130.0
010   $a981-10-7467-4
024 7 $a10.1007/978-981-10-7467-7
035   $a(CKB)3840000000351135
035   $a(MiAaPQ)EBC5261362
035   $a(DE-He213)978-981-10-7467-7
035   $a(PPN)224636758
035   $a(EXLCZ)993840000000351135
100   $a20180201d2018      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $2rdacontent
182   $2rdamedia
183   $2rdacarrier
200 10$aMobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks /$fby Muhammad Usman, Vallipuram Muthukkumarasamy, Xin-Wen Wu, Surraya Khanum
205   $a1st ed. 2018.
210  1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2018.
215   $a1 online resource (138 pages) $cillustrations, tables
311   $a981-10-7466-6 
320   $aIncludes bibliographical references.
330   $aThis book presents the latest developments regarding a detailed mobile agent-enabled anomaly detection and verification system for resource constrained sensor networks; a number of algorithms on multi-aspect anomaly detection in sensor networks; several algorithms on mobile agent transmission optimization in resource constrained sensor networks; an algorithm on mobile agent-enabled in situ verification of anomalous sensor nodes; a detailed Petri Net-based formal modeling and analysis of the proposed system, and an algorithm on fuzzy logic-based cross-layer anomaly detection and mobile agent transmission optimization. As such, it offers a comprehensive text for interested readers from academia and industry alike.
606   $aApplication software
606   $aLogic, Symbolic and mathematical
606   $aMobile computing
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aMobile Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I29060
615  0$aApplication software.
615  0$aLogic, Symbolic and mathematical.
615  0$aMobile computing.
615 14$aInformation Systems Applications (incl. Internet).
615 24$aMathematical Logic and Formal Languages.
615 24$aMobile Computing.
676   $a006.3
700   $aUsman$b Muhammad$4aut$4http://id.loc.gov/vocabulary/relators/aut$0897569
702   $aMuthukkumarasamy$b Vallipuram$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aWu$b Xin-Wen$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aKhanum$b Surraya$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910299287403321
996   $aMobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks$92005381
997   $aUNINA