Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
AndroidLeaks: Automatically Detecting Potential Privacy Leaks in Android Applications on a Large ScaleGibler, Clint ; Crussell, Jonathan ; Erickson, Jeremy ; Chen, HaoTrust and Trustworthy Computing, p.291-307 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
CoMA: Conformance Monitoring of Java Programs by Abstract State MachinesArcaini, Paolo ; Gargantini, Angelo ; Riccobene, ElviniaRuntime Verification, Vol.7186, p.223-238 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Static Data Race Detection for Java Programs with Dynamic Class LoadingYoshiura, Noriaki ; Wei, WeiInternet and Distributed Computing Systems, p.161-173 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
T3, a Combinator-Based Random Testing Tool for Java: BenchmarkingVos, Tanja E. J ; Lakhotia, Kiran ; Bauersfeld, SebastianFuture Internet Testing, 2014, Vol.8432, p.101-110 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Programming BDI Agents with Pure JavaPokahr, Alexander ; Braubach, Lars ; Haubeck, Christopher ; Ladiges, JanMultiagent System Technologies, p.216-233 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Detecting Obfuscated Suspicious JavaScript Based on Information-Theoretic Measures and Novelty DetectionSu, Jiawei ; Yoshioka, Katsunari ; Shikata, Junji ; Matsumoto, TsutomuInformation Security and Cryptology - ICISC 2015, p.278-293 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
An Actor Based Software Framework for Scalable ApplicationsBergenti, Federico ; Poggi, Agostino ; Tomaiuolo, MicheleInternet and Distributed Computing Systems, p.26-35 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Coordination in Situated Systems: Engineering MAS Environment in TuCSoNMariani, Stefano ; Omicini, AndreaInternet and Distributed Computing Systems, p.99-110 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Practical Optional Types for ClojureBonnaire-Sergeant, Ambrose ; Davies, Rowan ; Tobin-Hochstadt, SamProgramming Languages and Systems, p.68-94 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Powerslave: Analyzing the Energy Consumption of Mobile Antivirus SoftwarePolakis, Iasonas ; Diamantaris, Michalis ; Petsas, Thanasis ; Maggi, Federico ; Ioannidis, SotirisDetection of Intrusions and Malware, and Vulnerability Assessment, p.165-184 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |