Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

18 résultats
Page :
triés par
Image document

TLA+ Proofs

 Denis Cousineau , Damien Doligez , Leslie Lamport , Stephan Merz , Daniel Ricketts , et al.
18th International Symposium On Formal Methods - FM 2012, Aug 2012, Paris, France. pp.147-154, ⟨10.1007/978-3-642-32759-9_14⟩
Communication dans un congrès hal-00726631v1
Image document

Robust Performance Control for Web Applications in the Cloud

 Hector Fernandez , Corina Stratan , Guillaume Pierre
4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelona, Spain
Communication dans un congrès hal-01006607v1
Image document

Visualization According To Research Paper Keywords

 Petra Isenberg , Tobias Isenberg , Michael Sedlmair , Jian Chen , Torsten Möller
Posters at the IEEE Conference on Visualization (VIS), 2014, Los Alamitos, United States
Communication dans un congrès hal-01061912v1

Designing Portable Solutions to Support Collaborative Workflow in Long-Term Care: a Five Point Strategy

 Bhuvaneswari Kathir , Sara Diamond , Steve Szigeti , Fanny Chevalier , Anne Stevens , et al.
IEEE 18th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2014), May 2014, Hsinchu, Taïwan, Taiwan
Communication dans un congrès hal-01054394v1

PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems

 Robert Davis , Tullio Vardanega , Jan Alexanderson , Francis Vatrinet , Mark Pearce , et al.
Ada User Journal, 2014, 2, pp.118-122
Article dans une revue hal-01094390v1

On the Planar Split Thickness of Graphs

 David Eppstein , Philipp Kindermann , Stephen G. Kobourov , Giuseppe Liotta , Anna Lubiw , et al.
LATIN 2016: Theoretical Informatics: 12th Latin American Symposium, Apr 2016, Ensenada, Mexico. pp.403-415, ⟨10.1007/978-3-662-49529-2_30⟩
Communication dans un congrès hal-01326779v1
Image document

Cohesion-Driven Decomposition of Service Interfaces without Access to Source Code

 Dionysis Athanasopoulos , George Miskos , Valerie Issarny , Panos Vassiliadis
IEEE Transactions on Services Computing, 2015, 8 (4), pp.550 - 562. ⟨10.1109/TSC.2014.2310195⟩
Article dans une revue hal-01274709v1
Image document

Schedulability Analysis of CAN with Non-abortable Transmission Requests

 Dawood Khan , Robert Davis , Nicolas Navet
16th IEEE ETFA 2011, Sep 2011, Toulouse, France
Communication dans un congrès hal-00644298v1
Image document

Toward a deeper understanding of Visualization through keyword analysis

 Petra Isenberg , Tobias Isenberg , Michael Sedlmair , Jian Chen , Torsten Möller
[Research Report] RR-8580, INRIA. 2014
Rapport hal-01055309v1
Image document

Editorial for the Special Issue on Automated Design and Assessment of Heuristic Search Methods

 Gabriela Ochoa , Mike Preuss , Thomas Bartz-Beielstein , Marc Schoenauer
Evolutionary Computation, 2012, 20 (2), pp.161-163
Article dans une revue hal-01160793v1

Proceedings of Drawing Graphs and Maps with Curves (Dagstuhl Seminar 13151)

 Stephen G. Kobourov , Martin Nöllenburg , Monique Teillaud
Stephen Kobourov and Martin Nöllenburg and Monique Teillaud. Dagstuhl Reports, 3 Nr 4 (4), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp.34--68, 2013, Dagstuhl Reports, ⟨10.4230/DagRep.3.4.34⟩
N°spécial de revue/special issue hal-00877253v1
Image document

Cohesion-Driven Decomposition of Service Interfaces Without Access to Source Code

 Dionysis Athanasopoulos , Apostolos Zarras , George Miskos , Valérie Issarny , Panos Vassiliadis
2013
Pré-publication, Document de travail hal-00866222v1

TLA+ Proofs

 Denis Cousineau , Damien Doligez , Leslie Lamport , Stephan Merz , Daniel Ricketts , et al.
AI meets Formal Software Development, Jul 2012, Dagstuhl, Germany. 16 p
Communication dans un congrès hal-00726632v1

On the Planar Split Thickness of Graphs

 David Eppstein , Philipp Kindermann , Stephen G. Kobourov , Giuseppe Liotta , Anna Lubiw , et al.
Algorithmica, 2018, 80 (3), pp.977 - 994. ⟨10.1007/s00453-017-0328-y⟩
Article dans une revue hal-01819362v1
Image document

Empirical Studies in Information Visualization: Seven Scenarios

 Heidi Lam , Enrico Bertini , Petra Isenberg , Catherine Plaisant , Sheelagh Carpendale
IEEE Transactions on Visualization and Computer Graphics, 2012, 18 (9), pp.1520--1536. ⟨10.1109/TVCG.2011.279⟩
Article dans une revue hal-00932606v1
Image document

Seven Guiding Scenarios for Information Visualization Evaluation

 Heidi Lam , Enrico Bertini , Petra Isenberg , Catherine Plaisant , Sheelagh Carpendale
[Research Report] 2011-992-04, 2011
Rapport hal-00723057v1

Blending Art Events and HCI Research

 Derek Reilly , Fanny Chevalier , Dustin Freeman
Candy, Linda and Ferguson, Sam. Interactive Experience in the Digital Age, Springer, pp.153-168, 2014, ⟨10.1007/978-3-319-04510-8_11⟩
Chapitre d'ouvrage hal-01003942v1

Programming with Higher-Order Logic

 Dale Miller , Nadathur Gopalan
Cambridge University Press, pp.320, 2012, 9780521879408. ⟨10.1017/CBO9781139021326⟩
Ouvrages hal-00776197v1
Page :