Filter your results
- 247
- 97
- 2
- 207
- 76
- 25
- 13
- 10
- 4
- 4
- 3
- 2
- 2
- 338
- 30
- 8
- 5
- 4
- 2
- 1
- 1
- 1
- 1
- 29
- 39
- 30
- 42
- 29
- 40
- 23
- 37
- 24
- 21
- 10
- 5
- 6
- 5
- 3
- 1
- 1
- 330
- 16
- 308
- 22
- 9
- 8
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 49
- 49
- 44
- 38
- 35
- 21
- 21
- 20
- 17
- 17
- 16
- 13
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
346 Results
Reconfigurable Lattice Agreement and ApplicationsOPODIS, Dec 2019, Neuchatel, Switzerland
Conference papers
hal-03022570v1
|
|||
The Role of Digital Technologies in Responding to the Grand Challenges of the Natural Environment: The Windermere AccordPatterns, In press
Journal articles
hal-03023290v1
|
|||
Efficiency vs Creativity as Organising Principles of Socio-Technical SystemsIEEE Technology and Society Magazine, 2019
Journal articles
hal-03023532v1
|
|||
|
What Should I Notice? Using Algorithmic Information Theory to Evaluate the Memorability of Events in Smart HomesEntropy, 2022, 24 (3), pp.346. ⟨10.3390/e24030346⟩
Journal articles
hal-03813989v1
|
||
Publish/Subscribe for Wireless Sensor Networks (Invited paper)Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand
Conference papers
hal-02278598v1
|
|||
|
PBRE: A Rule Extraction Method from Trained Neural Networks Designed for Smart Home ServicesChristine Strauss; Alfredo Cuzzocrea; Gabriele Kotsis; A Min Tjoa; Ismail Khalil. Database and Expert Systems Applications. 33rd International Conference, DEXA 2022, Vienna, Austria, August 22–24, 2022, Proceedings, Part II, 13427, Springer International Publishing, pp.158-173, 2022, Lecture Notes in Computer Science, 978-3-031-12425-9. ⟨10.1007/978-3-031-12426-6_13⟩
Book sections
hal-03860813v1
|
||
|
On the tensor rank of multiplication in finite extensions of finite fields and related issues in algebraic geometryRussian Mathematical Surveys, 2021, 76 (1), pp.29-89. ⟨10.1070/RM9928⟩
Journal articles
hal-03661954v1
|
||
Incentive-oriented Task Assignment in Holonic Organic Systems5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers
hal-02287560v1
|
|||
The Algorithmic Governance Of Common-Pool ResourcesFrom Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014
Book sections
hal-02287022v1
|
|||
|
Co-producing industrial public goods on GitHub: Selective firm cooperation, volunteer-employee labour and participation inequalityNew Media and Society, 2022, ⟨10.1177/14614448221090474⟩
Journal articles
hal-03662850v1
|
||
Precise, efficient, and context-sensitive cache analysisReal-Time Systems, 2021, ⟨10.1007/s11241-021-09372-5⟩
Journal articles
hal-03559857v1
|
|||
Explanatory AI for Pertinent Communication in Autonomic SystemsIntelligent Systems and Applications, Sep 2019, Londres, United Kingdom. pp.212-227, ⟨10.1007/978-3-030-29516-5_16⟩
Conference papers
hal-02449644v1
|
|||
Introduction to special issue: papers from UML&FM'2009Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3
Journal articles
hal-02286673v1
|
|||
Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom
Conference papers
hal-02287875v1
|
|||
Eager Stack Cache Memory TransfersWorkshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France
Conference papers
hal-02287376v1
|
|||
Perfect Failure Detection with Very Few Bits18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), 2016, Lyon, France
Conference papers
hal-01423637v1
|
|||
Improving data collection in complex networks with failure-prone agents via local marking6th International Symposium of Language and Knowledge Engineering (LKE 2018), Oct 2018, Puebla, Mexico
Conference papers
hal-01996468v1
|
|||
POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key ExposureACM CCS’18, Oct 2018, Toronto, Canada
Conference papers
hal-02288015v1
|
|||
Note sur la cryptanalyse de Diffie-HellmanGénie Logiiel, 2017, 120, pp.56-60
Journal articles
hal-02287591v1
|
|||
A Model-Based Testing Process for Enhancing Structural Coverage in Functional TestingInt. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180
Conference papers
hal-02287374v1
|
|||
Resisting Adversarial Examples via Wavelet Extension and DenoisingSmart Computing and Communication, 12608, Springer International Publishing, pp.204-214, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-74717-6_22⟩
Book sections
hal-03559661v1
|
|||
Fast Selective Encryption Method for Bitmaps Based on GPU Acceleration2014 IEEE International Symposium on Multimedia (ISM), Dec 2014, Taichung, Taiwan
Conference papers
hal-01212126v1
|
|||
Reinforcing Protection Against Chosen-Plaintext Attack Using Ciphertext Fragmentation in Multi-cloud Environments2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.7-9, ⟨10.1109/CSCloud/EdgeCom.2019.00011⟩
Conference papers
hal-02450307v1
|
|||
Multi-hop Data Fragmentation in Energy Harvesting Wireless Sensor Networks2020 Global Internet of Things Summit (GIoTS), Jun 2020, Dublin, France. pp.1-6, ⟨10.1109/GIOTS49054.2020.9119569⟩
Conference papers
hal-03559678v1
|
|||
CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEURFrance, N° de brevet: FR20130002040 20130903. XJTR:BrevMulDet-2015. 2015, pp.31
Patents
hal-02412552v1
|
|||
Keynote speech2018 Fourth International Conference on Mobile and Secure Services (MobiSecServ), Feb 2018, Miami Beach, France. pp.1-1, ⟨10.1109/MOBISECSERV.2018.8311434⟩
Conference papers
hal-02354925v1
|
|||
|
On some bounds for symmetric tensor rank of multiplication in finite fieldsAlp Bassa, Alain Couvreur and David Kohel. ARITHMETIC, GEOMETRY, CRYPTOGRAPHY AND CODING THEORY, 686, AMER MATHEMATICAL SOC, pp.93 - 121, 2017, Contemporary Mathematics, 978-1-4704-2810-5. ⟨10.1090/conm/686/13779⟩
Book sections
hal-01318315v1
|
||
Autonomic Computing - Principles, Design and ImplementationSpringer, pp.288, 2013, Undergraduate Topics in Computer Science, 978-1-4471-5007-7. ⟨10.1007/978-1-4471-5007-7⟩
Books
hal-00854882v1
|
|||
|
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
|
||
|
Literature Classification Data for a Systematic Mapping Study on Multi-Paradigm Modeling for Cyber-Physical Systems2021
Preprints, Working Papers, ...
hal-03338607v1
|