2015 IEEE Symposium on Security and Privacy Effective Real-time Android Application Auditing Mingyuan Xia McGill University

Source URL: mxia.me

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Programming languages
• Static program analysis
• Software testing
• Control flow
• Static single assignment form
• Call graph
• Program analysis
• Recursion

2016 Real Time Logic LLC Copyright 2016 INTRODUCTION

Source URL: realtimelogic.com

• Computing
• Network protocols
• Information and communications technology
• Internet of things
• Web of Things
• World Wide Web
• Computer network
• USB
• Protocol stack
• Internet protocol suite

Beyond the Best: Real-Time Non-Invasive Collection of BGP Messages Stefano Vissicchio Luca Cittadini Maurizio Pizzonia Luca Vergantini Valerio Mezzapesa

Source URL: www0.cs.ucl.ac.uk

• Internet architecture
• Computing
• Internet
• Network architecture
• Routing
• Internet Standards
• Internet protocols
• Border Gateway Protocol
• Router
• Default-free zone
• IP routing
• Control plane

2016 IEEE Real-Time Systems Symposium On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge 1

Source URL: wirelesslab.sjtu.edu.cn

Integration technology Make your business more agile and competitive with near-real-time event-based integration. Integration

Source URL: www.temenos.com

• Enterprise application integration
• Computing
• Economy
• Systems engineering
• Software engineering
• Message-oriented middleware
• Software architecture
• IBM Integration Bus
• Middleware
• Digital banking
• Bank
• Enterprise service bus

DDoS Protection and Mitigation Powerful, real-time DDoS protection and mitigation DDoS attacks growing in size Distributed denial of service (DDoS) attacks are getting bigger and more disruptive. These attacks can outst

Source URL: www.fastly.com

• Denial-of-service attacks
• Computer security
• Cyberwarfare
• Computing
• Internet security
• Computer network security
• DDoS mitigation
• System administration
• Denial-of-service attack
• DNS Flood
• Fastly
• HTTP Flood

Real-time Tweet Classification in Disaster Situation Fujio Toriumi Seigo Baba The University of Tokyo

Source URL: gdac.uqam.ca

• Digital media
• Software
• World Wide Web
• Social networking services
• Microblogging
• Real-time web
• Text messaging
• Twitter
• Social media
• Twitter usage

MyBion Our service uses nanopore DNA sequencing coupled with real-time data analysis to help infectious disease patients. We offer physicians a better way to reach

Source URL: docs.wixstatic.com

• ETH Domain
• cole Polytechnique Fdrale de Lausanne
• Education in Switzerland
• Higher education

Static Analysis of Real-Time Embedded Systems with REK Arie Gurfinkel1

Source URL: arieg.bitbucket.io

• Carnegie Mellon University
• Software Engineering Institute
• Carnegie Mellon Silicon Valley
• Software engineering
• Mellon
• Pittsburgh

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

Source URL: qav.comlab.ox.ac.uk

• I0
• Invariant
• XC