Boase, JImplications of software-based mobile media for social research. Mobile Media & Communication, 1(1), Published version available at: http://mmc.sagepub.com/contentfull Implications of Sof

Source URL: individual.utoronto.ca

• Technology
• Computing
• Information and communications technology
• Information appliances
• Mobile computers
• New media
• Social networks
• Mobile technology
• Mobile device
• Big data
• Mobile phone
• Smartphone

OCTO CONSULTING GROUP NAMES TWO NEW VICE PRESIDENTS TO LEAD ITS CIVILIAN AND COMMERCE DIVISIONS New Octo VPs Simon Godwin and Craig Summers bring a wealth of strategic experience across software development and IT operat

Source URL: www.octoconsulting.com

• Software development
• Software development process
• Agile software development
• Software project management
• Capability Maturity Model Integration
• DevOps

Case Study Bank Of Shanghai An examination of how – through early adoption of modern core banking software and clear strategic planning – Bank of Shanghai has readied itself for, and is already exploiting, the signif

Source URL: www.temenos.com

• Financial services
• Economy
• Finance
• Banking in China
• H shares
• CNX Nifty
• Bank
• Big Four
• Industrial and Commercial Bank of China
• HSBC
• Chinabank
• Shanghai

Designing Robust Software Systems through Parametric Markov Chain Synthesis ˇ ska† , Simos Gerasimou∗ , Marta Kwiatkowska‡ and Nicola Paoletti§ Radu Calinescu∗ , Milan Ceˇ ∗ Department of Computer Science, U

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

Composition by Colimit and Formal Software Development

Source URL: www.kestrel.edu

• Category theory
• Mathematics
• Functors
• Abstract algebra
• Algebra
• Limit
• Dual
• Pushout
• Span
• Universal property
• Morphism
• Diagram

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi

Source URL: rjoshi.org

• Logic
• Mathematical logic
• Theoretical computer science
• FO
• Finite model theory
• Predicate transformer semantics
• Model theory
• Substitution

McLAREN APPLIED TECHNOLOGIES LIMITED CONDITIONS OF LICENCE OF SOFTWARE 1. Interpretation

Source URL: static-mat-cdn.mclaren.com

• Law
• Economy
• Business law
• Intellectual property law
• Business
• License
• Contract law
• Brand management
• Lease
• Trademark
• Royalty rate assessment

Account Executive Sales Engineer Software Developer Business Analyst

Source URL: info.mailgun.com

• Email
• Cyberspace
• Marketing
• Spamming
• World Wide Web
• Digital marketing
• Online advertising
• Gmail
• SendGrid
• Mailjet
• Email marketing

Software Modernization Taking full advantage of modern performance technologies Herbert Cornelius Intel

Source URL: hpcadvisorycouncil.com

• Parallel computing
• Computing
• Computer architecture
• Computer programming
• Xeon
• Intel Core
• Multi-core processor
• Intel
• SIMD
• Sandy Bridge-E
• OpenMP
• Intel C++ Compiler

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure