Georgios Fainekos School of Computing, Informatics and Decision Systems Engineering, Arizona State University. Office address: 660 W 6th St, STE, Tempe, AZweb: http://www.public.asu.edu/~gfaineko/, email: f

Source URL: www.public.asu.edu

Tachyon: Reliable, Memory Speed Storage for Cluster Computing Frameworks Haoyuan Li Ali Ghodsi

Source URL: people.csail.mit.edu

• Computing
• Concurrent computing
• Information and communications technology
• Fault-tolerant computer systems
• Parallel computing
• Apache Software Foundation
• Hadoop
• Cluster computing
• Application checkpointing
• Apache Hadoop
• Data-intensive computing
• Apache Spark

InsFtute
of
Molecular
Systems
Biology

 Accelerating 3D Protein Modeling Using Cloud Computing 
 Lars
Malmström,
Ruedi
Aebersold
–
ETH
Zürich,
IMSB
h?p://www.imsb.ethz.ch
 Wibke
Sud

Source URL: cloudbroker.com

• Cloud infrastructure
• IBM cloud computing
• Computing
• Cloud computing

Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment Maryam Mehrnezhad, Feng Hao, and Siamak F. Shahandashti School of Computing Science, Newcastle University, Newcastle upon Tyne, United Kingdom {m.mehrnezh

Source URL: homepages.cs.ncl.ac.uk

• Economy
• Money
• Finance
• Mobile payments
• Payment systems
• ISO standards
• Mobile telecommunications
• Online payments
• Near-field communication
• EMV
• Apple Pay
• Payment terminal

An executable formal semantics of PHP Daniele Filaretti and Sergio Maffeis Department of Computing, Imperial College London {d.filaretti11,sergio.maffeis}@imperial.ac.uk tifact

Source URL: www.doc.ic.ac.uk

• Software engineering
• Computing
• Computer programming
• Data types
• Cross-platform software
• Object-oriented programming languages
• Programming languages
• Scripting languages
• PHP
• Array data type
• Foreach loop
• Iterator

Computing Science Group ABSTRACTION FRAMEWORK FOR MARKOV DECISION PROCESSES AND PCTL VIA GAMES Mark Kattenbelt Michael Huth

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

• Mathematics
• Temporal logic
• Computation tree logic
• Logic in computer science
• Distribution
• Model theory
• Linear temporal logic
• Indescribable cardinal

Recommending and Planning Trip Itineraries for Individual Travellers and Groups of Tourists Kwan Hui Lim*† * Department of Computing and Information Systems, The University of Melbourne, Australia

Source URL: icaps16.icaps-conference.org

• Information science
• Mathematics
• Information retrieval
• Poi
• Recommender system
• Tourism
• Personalization
• Travelling salesman problem

London July, 19th 2013 CloudSME project brings SMEs closer to cloud computing Computer simulation can significantly improve the competitive position of manufacturing and engineering companies by helping to achieve effici

Source URL: www.cloudbroker.com

• Cloud computing
• Computing
• Cloud infrastructure
• Software
• Computational science
• Scientific modeling
• Virtual reality
• Simulation software
• Software as a service
• Simulation
• Computer simulation
• Business process management

Proposal for EU legislation Mandatory anonymised, authenticated and endto-end encrypted communications in all telephony and computing devices sold after 201x. Status: DRAFT 0.13 Summary We suggest legislation to transiti

Source URL: youbroketheinternet.org

• Cryptography
• Privacy of telecommunications
• Privacy
• End-to-end encryption
• Telecommunications
• Information and communications technology
• Computer network
• Encryption
• Secrecy of correspondence
• Voice over IP
• Technology
• Electronics

QUICK REFERENCE GUIDE POWEREDGE C SERIES Data centers are undergoing a transformation to meet the demands of the digital economy. Built for scale-out workloads like high performance computing, deep learning and data ana

Source URL: i.dell.com

• Computing
• Computer hardware
• Server hardware
• EMC Corporation
• Dell PowerEdge
• OpenManage
• Dell
• NVM Express
• Texas Advanced Computing Center
• Dell M1000e