Filter your results
- 86
- 13
- 99
- 1421
- 622
- 87
- 55
- 54
- 30
- 28
- 28
- 10
- 5
- 1
- 1
- 1
- 80
- 15
- 13
- 7
- 6
- 5
- 2
- 1
- 5
- 12
- 6
- 8
- 4
- 12
- 9
- 9
- 6
- 9
- 2
- 3
- 5
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 88
- 11
- 90
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 16
- 9
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language StandardCyber-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 GenerationEmbedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013
Book sections
hal-02286688v1
|
|||
|
Performance Evaluation and Dimensioning of WiMAXWiMAX Networks Planning and Optimization, CRC Press, pp.405-430, 2008
Book sections
hal-01499921v1
|
||
|
Semi-Distributed Demand Response Solutions for Smart HomesInformation 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 ServiceFei 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 NetworksWiley 5G Ref, 1, Wiley, 2019
Book sections
hal-02917048v1
|
|||
The Map-and-Encap Locator/Identifier separation paradigm: a Security AnalysisMohamed 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
|
|||
|
Open Digital FormsResearch 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 evolutionThe Cambridge encyclopedia of the language sciences, Cambridge University Press, pp.649-651, 2011
Book sections
hal-00616430v1
|
|||
|
Altruism, status, and the origin of relevanceApproaches 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 applicationsW. 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 LanguageHybrid 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 TwitterTwitter and Society, Peter Lang, pp.207-219, 2013
Book sections
hal-02286971v1
|
|||
Industrial IoT : Mobility Support and Service Discovery for Industrial Process MonitoringInternet of Things : Novel Advances and Envisioned Applications, Springer, pp. 57-85, 2016
Book sections
hal-02287311v1
|
|||
Wireless Software Defined NetworkingSoftware 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 SignaturesAdvances 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 AttacksSecurity and Privacy in the Internet of Things, 2019
Book sections
hal-03025857v1
|
|||
Une anomalie de l'évolution : le langageLes 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/pkZAdvances 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 ComputationHorizons 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 problemOperations Research Proceedings 2015, Springer, pp.325-330, 2017
Book sections
hal-02287318v1
|
|||
Towards a framework for the levels and aspects of selfaware computing systemsSelf-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 SystemsOrganic 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 AnalysisSustainable Green Computing: Practices, Methodologies and Technologies, IGI Global, 2011
Book sections
hal-02278645v1
|
|||
|
Natural Strategic Abilities in Voting ProtocolsSocio-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 ProblemCombinatorial optimization - Springer LNCS 10856, pp.253-264, 2018
Book sections
hal-02264946v1
|
|||
Security Incident Response: Towards a Novel Decision-Making SystemIntelligent 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’ RuleSoftware 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 SystemsFoundations of Multi-Paradigm Modelling for Cyber-Physical Systems, 2020
Book sections
hal-03022808v1
|
|||
Construction of Efficient Codes for High-Order Direct Sum MaskingSecurity 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
|