-
Exploring the Role of Objects in the Transformation of Logics: A Practice Per...
This dataset has no description
-
On the Nonrelativistic Origin of Redskewed Iron Lines in CV, Neutron Stars an...
ISBN: 978-0-7354-0582-0 -
Compositional Verification using CADP of the ScalAgent Deployment Protocol fo...
In this report, we present the application of the CADP verification toolbox to check the correctness of an industrial protocol for deploying and configuring... -
The Recursive Record Semantics of Objects Revisited
In a call-by-value language, representing objects as recursive records requires using an unsafe fixpoint. We design, for a core language including extensible records,... -
Reactive Objects
In the reactive approach, system components are not supposed to execute at their own rate, but are instead driven by a logical common clock, defining global instants.... -
Two Semantics for a Language of Reactive Objects
We are studying semantics of a small object-based language, with the following main characteristics: parallelism, dynamicity, high order parameters, notion of a global... -
Individual atmospheres - A pedagogic experience of design and communication
International audience -
The Dickensian object, from profusion to void : Analysis of the objet in Davi...
Caught in the machinery of the Industrial Revolution, the Dickensian object is synonymous of abundance. This profusion of objects – be they tangible or diegetic –... -
Shaver's Razor : Social Values, Visual Glory, and Ordinary Objects
texte principal de The Quilt and the Truck, livre présentant l'oeuvre de l'artiste américaine Nancy Shaver, publié par Publication Studio, Portland (Oregon), 2011. -
Valeurs sociales et gloire visuelle : les objets du commun de Nancy Shaver
International audience -
Featherweight-Trait Java : A Trait-based Extension for FJ
In the context of statically typed class-based languages, we investigate classes which might extend upon trait composition. Building classes by composing... -
Ce que disent les objets. Sens, affordance, cognition
International audience -
The speed of visual recognition memory
International audience -
Le stylo, le panneau, l'ordinateur et les clés : Introduction d'un outil info...
numéro coordonné par Marie-Anne Paveau et Fred Dervin, intitulé "Quelle place pour les objets dans les sciences du langage et les sciences de la communication? -
A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
This paper presents a compositional escape analysis adapted for use in resource limited embedded systems. This analysis covers the full Java language, including... -
Pour une typologie des objets de l'exil
Studies related to migratory movements have until now given little attention to objects despite the fact they are the only tangible traces of contemporary intense... -
Découverte et exploitation d'objets visuels fréquents dans des collections mu...
Automatically linking multimedia documents that contain one or several instances of the same visual object has many applications including: salient events detection,... -
La religion racontée par les objets
This dataset has no description
-
Fair Objects
Colloque avec actes et comité de lecture.
