Search - Archive ouverte HAL Access content directly

Filter your results

99 Results
Document type : Book sections

Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

Loic Besnard , Thierry Gautier , Paul Le Guernic , Clément Guy , Jean-Pierre Talpin et al.
Cyber-Physical System Design from an Architecture Analysis Viewpoint, Springer, 2017, Cyber-Physical System Design from an Architecture Analysis Viewpoint, ⟨10.1007/978-981-10-4436-6_3⟩
Book sections hal-01615143v1

Model-Based Code Generation

Laurent Pautet , B. Zalila
Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections hal-02286688v1
Image document

Performance Evaluation and Dimensioning of WiMAX

G. Nogueira , B. Baynat , M. Maqbool , M. Coupechoux
WiMAX Networks Planning and Optimization, CRC Press, pp.405-430, 2008
Book sections hal-01499921v1
Image document

Semi-Distributed Demand Response Solutions for Smart Homes

Rim Kaddah , Daniel Kofman , Fabien Mathieu , Michal Pioro
Information Innovation Technology in Smart Cities, , pp.17 (163--179), 2017, 978-981-10-1741-4. ⟨10.1007/978-981-10-1741-4_12⟩
Book sections hal-01652582v1

Toward Reliable and Secure Data Access for Big Data Service

Ahmed Serhrouchni , Fouad Amine Guenane , Michele Nogueira , Donghyun Kim
Fei Hu. Big Data: Storage, Sharing, and Security, CRC Press, pp.227, 2016, 978-1-4987-3486-8
Book sections hal-03296928v1

Reinforcement Learning Algorithm for Load Balancing in Self‐Organizing Networks

Mohammed Shabbir Ali , Pierre Coucheney , Marceau Coupechoux
Wiley 5G Ref, 1, Wiley, 2019
Book sections hal-02917048v1

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

Open Digital Forms

Hiep Le , Thomas Rebele , Fabian Suchanek
Research and Advanced Technology for Digital Libraries - 20th International Conference on Theory and Practice of Digital Libraries, TPDL 2016, Hannover, Germany, September 5-9, 2016, Proceedings, pp.454-458, 2016, ⟨10.1007/978-3-319-43997-6_43⟩
Book sections hal-01369077v1

Pragmatics and evolution

Jean-Louis Dessalles
The Cambridge encyclopedia of the language sciences, Cambridge University Press, pp.649-651, 2011
Book sections hal-00616430v1
Image document

Altruism, status, and the origin of relevance

Jean-Louis Dessalles
Approaches to the evolution of language: Social and cognitive bases, Cambridge University Press, pp.130-147, 1998
Book sections hal-00614801v1

Algebraic geometry codes and some applications

Alain Couvreur , Hugues Randriambololona
W. Cary Huffman, Jon-Lark Kim, Patrick Solé. A Concise Encyclopedia of Coding Theory, Chapman and Hall/CRC, pp.998, 2021, A Concise Encyclopedia of Coding Theory, 9781138551992
Book sections hal-02931167v1

A Novel Security Architecture Based on Multi-level Rule Expression Language

Samih Souissi , Layth Sliman , Benoit Charroux
Hybrid Intelligent Systems, 420, Springer International Publishing, pp.259-269, 2016, Advances in Intelligent Systems and Computing, ⟨10.1007/978-3-319-27221-4_22⟩
Book sections hal-03781631v1

Documenting Contemporary Society by Preserving Relevant Information from Twitter

Thomas Risse , Wim Peters , Pierre Senellart , Diana Maynard
Twitter and Society, Peter Lang, pp.207-219, 2013
Book sections hal-02286971v1

Industrial IoT : Mobility Support and Service Discovery for Industrial Process Monitoring

Tuan Dang , Pascale Minet , Patrick Bellot , Christophe Mozzati , Erwan Livolant et al.
Internet of Things : Novel Advances and Envisioned Applications, Springer, pp. 57-85, 2016
Book sections hal-02287311v1

Wireless Software Defined Networking

Claude Chaudet , Yoram Haddad
Software Defined Mobile Networks (SDMN): Beyond LTE Network Architecture, Wiley, 2015
Book sections hal-02287054v1

Compressed Σ-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures

Thomas Attema , Ronald Cramer , Matthieu Rambaud
Advances in Cryptology – ASIACRYPT 2021, 13093, Springer International Publishing, pp.526-556, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-92068-5_18⟩
Book sections hal-03800630v1

Direct Sum Masking as a Countermeasure to Side-Channel and Fault Injection Attacks

Sihem Mesnager , Claude Carlet , Sylvain Guilley
Security and Privacy in the Internet of Things, 2019
Book sections hal-03025857v1

Une anomalie de l'évolution : le langage

Jean-Louis Dessalles
Les mondes darwiniens - L'évolution de l'évolution, Editions Syllepse, pp.863-882, 2009
Book sections hal-00616425v1

Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ

Mark Abspoel , Ronald Cramer , Ivan Damgård , Daniel Escudero , Matthieu Rambaud et al.
Advances in Cryptology – ASIACRYPT 2020, 12493, Springer International Publishing, pp.151-180, 2020, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-64840-4_6⟩
Book sections hal-03800662v1

Entanglement, Flow and Classical Simulatability in Measurement Based Quantum Computation

Damian Markham , Elham Kashefi
Horizons of the Mind. A Tribute to Prakash Panangaden, Springer, pp.427-453, 2014
Book sections hal-02287802v1

Tabu search heuristic for competitive base station location problem

Marceau Coupechoux , Ivan Davydov , Stefano Iellamo
Operations Research Proceedings 2015, Springer, pp.325-330, 2017
Book sections hal-02287318v1

Towards a framework for the levels and aspects of selfaware computing systems

Peter Lewis , Kirstie Bellman , Chris Landauer , Lukas Esterle , Kyrre Glette et al.
Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017
Book sections hal-02287558v1

Goal-oriented Holonic Systems

Ada Diaconescu
Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017
Book sections hal-02287627v1

Energy Consumption in the Internet Core: a Sensitivity Analysis

A. P. Bianzino , Anand Raju , D. Rossi
Sustainable Green Computing: Practices, Methodologies and Technologies, IGI Global, 2011
Book sections hal-02278645v1

Natural Strategic Abilities in Voting Protocols

Wojciech Jamroga , Damian Kurpiewski , Vadim Malvone
Socio-Technical Aspects in Security and Trust, 12812, Springer International Publishing, pp.45-62, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79318-0_3⟩
Book sections hal-03779036v1

Descent with Mutations Applied to the Linear Ordering Problem

Olivier Hudry
Combinatorial optimization - Springer LNCS 10856, pp.253-264, 2018
Book sections hal-02264946v1

Security Incident Response: Towards a Novel Decision-Making System

Samih Souissi , Ahmed Serhrouchni , Layth Sliman , Benoit Charroux
Intelligent Systems Design and Applications, 557, Springer International Publishing, pp.667-676, 2017, Advances in Intelligent Systems and Computing, ⟨10.1007/978-3-319-53480-0_66⟩
Book sections hal-03781614v1

Unexpectedness and Bayes’ Rule

Giovanni Sileno , Jean-Louis Dessalles
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 13230, Springer International Publishing, pp.107-116, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-12429-7_8⟩
Book sections hal-03813979v1

AADL: A Language to Specify the Architecture of Cyber-Physical Systems

Dominique Blouin , Etienne Borde
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections hal-03022808v1

Construction of Efficient Codes for High-Order Direct Sum Masking

Sihem Mesnager , Claude Carlet , Sylvain Guilley , Cem Guneri , Ferruh Özbudak et al.
Security and Privacy in the Internet of Things: Challenges and Solutions, 27, IOS Press, pp.108-128, 2019, Ambient Intelligence and Smart Environments Series, 978-1-64368-052-1 (print) | 978-1-64368-053-8 (online)
Book sections hal-03025841v1