DYNALLOY: AN EXTENSION OF ALLOY FOR WRITING AND ANALYZING BEHAVIOURAL MODELS Germán Regis | César Cornejo | Simón Gutiérrez Brida | Mariano Politano | Fernando Raverta | Pablo Ponzio | Nazareno Aguirre | Juan Pablo G

Source URL: alloytools.org

• Formal methods
• Logic puzzles
• River crossing puzzle
• CH
• Alloy
• Software engineering
• Theoretical computer science

1 “I Can’t Get No Satisfaction”: Helping Autonomous Systems Identify Their Unsatisfied Inter-domain Interests Juan Camilo Cardona, Stefano Vissicchio, Paolo Lucente, and Pierre Francois

Source URL: inl.info.ucl.ac.be

A Lustrum of Malware Network Communication: Evolution and Insights Chaz Lever† , Platon Kotzias∗ , Davide Balzarotti∓ , Juan Caballero∗ , Manos Antonakakis‡ {chazlever,manos}@gatech.edu, davide.balzarotti@eurec

Source URL: www.ieee-security.org

• Cybercrime
• Computer network security
• Cyberwarfare
• Computing
• Spamming
• Malware
• Domain generation algorithm
• Botnet
• Web threat
• Blacklist

Connected Lives: The Project1 Barry Wellman and Bernie Hogan and Kristen Berg, Jeffrey Boase, Juan-Antonio Carrasco, Rochelle Côté, Jennifer Kayahara, Tracy L. M. Kennedy and Phuoc Tran Chapter 8 in Networked Neighbour

Source URL: individual.utoronto.ca

• Social systems
• Sociology
• Metaphysics
• Culture
• Community building
• Barry Wellman
• Social information processing
• Networked individualism
• Virtual communities
• Self-organization
• Keith Hampton
• Group

Measuring Pay-per-Install: The Commoditization of Malware Distribution Juan Caballero† , Chris Grier∗‡ , Christian Kreibich∗‡ , Vern Paxson∗‡ † IMDEA Software Institute ∗ UC Berkeley ‡ ICSI juan.cabal

Source URL: www.usenix.org

• Security
• Security breaches
• Malware
• Computer network security
• Cybercrime
• Multi-agent systems
• Spamming
• Rogue software
• Botnet
• Antivirus software
• Rogue security software
• Computer virus

Finding “It”: Weakly-Supervised Reference-Aware Visual Grounding in Instructional Videos De-An Huang*, Shyamal Buch*, Lucio Dery, Animesh Garg, Li Fei-Fei, Juan Carlos Niebles Stanford University {dahuang, shyamal, l

Source URL: fiver.eecs.umich.edu

Aalborg Universitet DC-Link Protection and Control in Modular Uninterruptible Power Supply Lu, Jinghang; Savaghebi, Mehdi; Guan, Yajuan; Golestan, Saeed; Quintero, Juan Carlos Vasquez; Guerrero, Josep M.; Marzabal, Albe

Source URL: vbn.aau.dk

CONSTRUYENDO COMUNIDADES RESILIENTES Un proyecto de asistencia técnica para la comunidad de Juan Asencio auspiciado por la Universidad de Puerto Rico y la Agencia de Protección Ambiental de Estados Unidos (EPA)

Source URL: construyendocomunidades.weebly.com

Microsoft Word - FOR IMMEDIATE RELEASE - Navajo Nation Council congratulates Navajo scholarship recipients from San Juan College.docx

Source URL: www.navajonationcouncil.org

BIBLIOTECA NACIONAL DE PORTUGAL | Auditório Programa 09h45 Abertura 09h50 Conferência inaugural: El ordenado laberinto de los principios | Juan A. Nicolás Debate

Source URL: www.leibniz.es