Search - Archive ouverte HAL Access content directly

Filter your results

2 480 Results

The weakest failure detector for eventual consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
Distributed Computing, 2019, 32 (6), pp.479-492. ⟨10.1007/s00446-016-0292-9⟩
Journal articles hal-02413314v1

The Weakest Failure Detector for Eventual Consistency

Swan Dubois , Rachid Guerraoui , Petr Kuznetsov , Franck Petit , Pierre Sens et al.
34th Annual ACM Symposium on Principles of Distributed Computing (PODC-2015), Donostia-San Sebastián, Spain, Jul 2015, Donostia-San Sebastián, Spain. pp.375-384, ⟨10.1145/2767386.2767404⟩
Conference papers hal-01213330v1
Image document

The Value $4$ of Binary Kloosterman Sums

Jean-Pierre Flori , Sihem Mesnager , Gérard Cohen
Other publications hal-00642290v1
Image document

The Vagueness of Vagueness in Noun Phrases

Pierre-Henri Paris , Syrine El Aoud , Fabian Suchanek
International Conference on Automated Knowledge Base Construction (AKBC), 2021, online, United States
Conference papers hal-03344675v1
Image document

The StakeCube blockchain : Instantiation, Evaluation & Applications

Antoine Durand , Guillaume Hébert , Khalifa Toumi , Gérard Memmi , Emmanuelle Anceaume et al.
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
Conference papers hal-03024408v1


John Mcdonald , Hélène Decroix , Raphaël Caire , José Sanchez Torrès , Stéphanie Chollet et al.
CIRED 2013, 2013, Stockolm, Sweden
Conference papers hal-00991386v1

The simulation of conversations

Jean-Louis Dessalles
Proceedings of the Cognitiva-90 Symposium, 1990, Amsterdam, France. pp.483-492
Conference papers hal-00616441v1
Image document

The SECOQC quantum key distribution network in Vienna

M. Peev , C. Pacher , Romain Alleaume , C. Barreiro , J. Bouda et al.
New Journal of Physics, 2009, 11, pp.075001. ⟨10.1088/1367-2630/11/7/075001⟩
Journal articles hal-00559693v1

The role of the human political singularity in the emergence of language

Jean-Louis Dessalles
Int. Conf. on the Evolution of Language, Apr 2014, Vienne, Austria. pp.423-424
Conference papers hal-02286934v1

The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere Accord

Gordon Blair , Richard Bassett , Louis Bastin , L. Beevers , Maribel Borrajo Garcia et al.
Patterns, In press
Journal articles hal-03023290v1

The Role of Causality in a Formal Definition of Timing Anomalies

Benjamin Binder , Mihail Asavoae , Florian Brandner , Belgacem Ben Hedia , Mathieu Jan et al.
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.91-102, ⟨10.1109/RTCSA55878.2022.00016⟩
Conference papers hal-03867187v1

The problematic transition from specific competences to general competence - Commentary on Peter Carruthers: 'The cognitive functions of language

James R. Hurford , Jean-Louis Dessalles
Behavioral and Brain Sciences, 2002, 25 (6), pp.690-691
Journal articles hal-00616433v1
Image document

The Problem of Consistency in the Design of Fitt's Law Experiments: Consider either Target Distance and Width or Movement Form and Scale

Yves Guiard
ACM CHI (Conference on Human Factors in Computing Systems), 2009, Boston, United States. pp.1809-1818
Conference papers hal-00479791v1
Image document

The power model of Fitts' law does not encompass the logarithmic model

Olivier Rioul , Yves Guiard
Electronic Notes in Discrete Mathematics, 2013, 42, pp.65-72
Journal articles hal-02299987v1

The Possibility Problem for Probabilistic XML

Antoine Amarilli
Alberto Mendelzon International Workshop on Foundations of Data Management, Jun 2014, Carthagène des Indes, Colombia
Conference papers hal-01190712v1
Image document

The Perils of Confounding Factors: How Fitts' Law Experiments can Lead to False Conclusions

Julien Gori , Olivier Rioul , Yves Guiard , Michel Beaudouin-Lafon
CHI' 18, Apr 2018, Montréal, Canada. ⟨10.1145/3173574.3173770⟩
Conference papers hal-01690122v1

The OpenLISP control-plane architecture

Chi Dung Phung , Stefano Secci , Damien Saucez , Luigi Iannone
IEEE Network, 2014, 28 (2), pp.34-40. ⟨10.1109/MNET.2014.6786611⟩
Journal articles hal-01168802v1

The OPC UA Galaxy

Bellot Patrick , Zepeng Liu
2019 IEEE RIVF International Conference on Computing and Telecommunication Technology, Mar 2019, Danang, Vietnam
Conference papers hal-02100510v1

The notion of self-aware computing

Samuel Kounev , Peter Lewis , Kirstie Bellman , Nelly Bencomo , Javier Camara et al.
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017
Book sections hal-02287557v1
Image document

The Need to Move beyond Triples

Fabian Suchanek
International Workshop on Narrative Extraction from Texts, 2020
Other publications hal-03102910v1
Image document

The multi-source model for dimensioning data networks

Thomas Bonald , Céline Comte
Computer Networks, 2016, ⟨10.1016/j.comnet.2016.03.019⟩
Journal articles hal-01314992v1

The Map-and-Encap Locator/Identifier separation paradigm: a Security Analysis

Damien Saucez , Luigi Iannone , Olivier Bonaventure
Mohamed Boucadair and David Binet. Solutions for Sustaining Scalability in Internet Growth, IGI Global, pp.148-163, 2013, ⟨10.4018/978-1-4666-4305-5.ch008⟩
Book sections hal-00922774v2
Image document

The interplay of desire and necessity in dialogue

Jean-Louis Dessalles
Proccedings of the Workshop on Formal Semantics and Pragmatics of Dialogue (TWENDIAL-98) - Twente Workshop on Language Technology (TWLT-13), 1998, Enschede, Netherlands. pp.89-97
Conference papers hal-00614802v1

The INCO-Trust Final Recommendations Report

Michel Riguidel
[Contract] 216867, Télécom ParisTech. 2010
Reports hal-02286241v1

The impact of uTP on BitTorrent completion time

Claudio Testa , D. Rossi
IEEE Peer to Peer (P2P'11), Sep 2011, Kyoto, Japan
Conference papers hal-02288311v1
Image document

The Hidden Web, XML and Semantic Web: A Scientific Data Management Perspective

Fabian Suchanek , Aparna Varde , Richi Nayak , Pierre Senellart
EDBT - Tutorial, 2011, Uppsala, Sweden
Conference papers inria-00591776v1

The Green-Game: Striking a Balance between QoS and Energy Saving

A. P. Bianzino , Claude Chaudet , Dario Rossi , Jean-Louis Rougier , Stefano Moretti et al.
23rd International Teletraffic Congress (ITC), Sep 2011, San Francisco, CA, United States
Conference papers hal-02288306v1

The Green-Game: accounting for device criticality in resource consolidation for backbone IP networks

Aruna Prem Bianzino , Jean Louis Rougier , Claude Chaudet , D. Rossi
Strategic Behavior and the Environment, 2014, Special issue on ICT-based strategies for environmental conflicts, 4 (2)
Journal articles hal-01294891v1
Image document

The General Index of Software Engineering Papers

Zeinab Abou Khalil , Stefano Zacchiroli
MSR 2022 - The 2022 Mining Software Repositories Conference, May 2022, Pittsburgh, Pennsylvania, United States. ⟨10.1145/3524842.3528494⟩
Conference papers hal-03623109v1

The G-Game: A Cooperative Game Approach for Resource Consolidation in Network Dimensioning

Aruna Prem Bianzino , Jean-Louis Roujean , D. Rossi , Stefano Moretti
24th European Conference on Operational Research (EUROXXIV), Jul 2010, Lisbon, Portugal
Conference papers hal-00573052v1