Reasoning About Past Events in Context-Aware Middleware Eline Philips, Christophe Scholliers,Charlotte Herzeel and Stijn Mostinckx {ephilips, cfscholl, caherzee, smostinc}@vub.ac.be Programming Technology Lab Vrije Unive

Source URL: soft.vub.ac.be

• Context-aware pervasive systems
• Ubiquitous computing
• Temporal logic
• Aspect-oriented software development
• Framing

GlSurf 3.3 Documentation Christophe Raffalli June 4, 2016 Contents 1 Introduction.

Source URL: lama.univ-savoie.fr

• 3D printing
• Wavefront .obj file
• Parameter
• OpenGL
• Vertex
• IBM i Control Language
• Subroutine
• Differential geometry of surfaces

École Normale Supérieure Langages de programmation et compilation examen 20112012 Jean-Christophe Filliâtre 19 janvier 2012

Source URL: www.lri.fr

ROMANTICS ON THE MOUNTAIN TOP (Revised SeptemberThis packet provides several primary documents in which well-known nineteenth-century writers and artists describe their experiences with sublime mountain landscapes

Source URL: www.williamcronon.net

• Walking
• Sublime
• Landscape
• British poetry
• Eugne Christophe
• Letters Written in Sweden
• Norway
• and Denmark

Chapter 3 Current Trends in Vector-Based Internet Mapping: A Technical Review Christophe Lienert, Bernhard Jenny, Olaf Schnabel, and Lorenz Hurni

Source URL: cartography.oregonstate.edu

• Cross-platform software
• Adobe Flash
• Graphics file formats
• GIS software
• Adobe software
• Web mapping
• Rich Internet application
• JavaFX
• SWF
• MapServer
• WebGL
• Web Map Service

A bill to subsidize and promote tickets sales to graduate students for a major Spring Quarter concert in Frost Amphitheater GSC-S2015-1 
 Authors: Christophe Auber (Frost and SCN Director), Pau Guinart (GSC Humanities

Source URL: gsc.stanford.edu

• Stanford University
• Buffer

VirtDbg Damien Aumaitre Christophe Devine Introduction Impl´

Source URL: esec-lab.sogeti.com

LEMA: Towards a Language for Reliable Arithmetic Philippe Th´eveny. Joint work with Vincent Lef`evre, Florent de Dinechin, Claude-Pierre Jeannerod, Christophe Mouilleron, David Pfannholzer, Nathalie Revol PLMMS 2010, 8

Source URL: perso.ens-lyon.fr

The Why3 platform Version 0.82, December 2013 François Bobot1,2 Jean-Christophe Filliâtre1,2

Source URL: why3.lri.fr

• Proof assistants
• Formal methods
• Logic in computer science
• Alt-Ergo
• Frama-C
• Theoretical computer science
• Coq
• Formal verification
• KeY
• IP

Introduction au langage et aux probl´ematiques math´ematiques par la g´eom´etrie classique Christophe Hohlweg 29 juin 2011 2

Source URL: www.math.uqam.ca