Allgemeine Geschäftsbedingungen (AGB) für Software-Projektverträge der itemis AG, Am Brambusch 15, 44536 Lünen 1. Geltung der Leistungsbedingungen

Source URL: legal.itemis.com

Reusing Software Developments Allen Goldberg  Kestrel Institute 3260 Hillview Ave. Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Computer programming
• Software engineering
• Cognitive science
• Theoretical computer science
• Generative linguistics
• Grammar frameworks
• Noam Chomsky
• Compiler construction
• Recursion
• Optimizing compiler
• TACTIC
• Transformational grammar

Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

Source URL: taktoa.me

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Programming paradigms
• Haskell
• Literate programming
• Functional programming
• OCaml
• Bachelor of Computer Science
• Conditional

XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code

Source URL: zhang-sai.github.io

• Software development
• Aspect-oriented software development
• Aspect-oriented programming
• Computing
• AspectJ
• Pointcut
• Join point
• FindBugs
• Aspect
• Aspect weaver

Contrast Security Announces Microsoft Ventures and AXA Strategic Ventures as Global Strategic Investors Investments signal criticality of securing software applications in the Cloud and DevOps Los Altos, Calif. — Decem

Source URL: www.axavp.com

• Computing
• Technology
• Software development
• AXA
• CAC 40
• DevOps
• Application security
• Microsoft
• M12
• Computer security

LinuxFest Northwest 2019 Sponsorship Prospectus LinuxFest Northwest is a free and open community event dedicated to provide and support educational activities related to Linux and Open Source software; anyone can attend

Source URL: res.cloudinary.com

• Bellingham
• Washington
• Linuxfest Northwest
• Sponsor
• Bellingham Technical College
• Raffle
• Linux user group
• Lanyard
• Textile arts
• Visual arts
• Ohio LinuxFest

«Alle brauchen IT. Unsere Web- und Mobilelösungen werden täglich mit Freude genutzt. Ganz ohne Ärger, weil sie einfach funktionieren.» Mit dieser Vision realisieren und betreiben wir zukunftsweisende Software-Lösun

Source URL: www.exanic.ch

A Wireless Software Architecture for Fast 3D Rendering of Agent-Based Multimedia Simulations on Portable Devices S. Cacciaguerra, M. Roccetti, M. Roffilli A. Lomi

Source URL: www.cs.unibo.it

• Computing
• Modeling and simulation
• Virtual reality
• Artificial intelligence
• Visual effects
• Multi-agent systems
• Simulation
• NetLogo
• Agent-based model
• 3D computer graphics
• Augmented reality
• Virtual world

IGP-as-a-Backup for Robust Software-Defined Networks Olivier Tilmans Stefano Vissicchio

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

• Network architecture
• Computing
• Emerging technologies
• Computer architecture
• Network protocols
• Configuration management
• Software-defined networking
• OpenFlow
• Ethernet
• Transmission Control Protocol
• Network switch
• Routing

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

Source URL: smt-workshop.cs.uiowa.edu

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function