Search - Archive ouverte HAL Access content directly

Filter your results

329 Results
language_s : English

Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks

Julian Garbiso , Ada Diaconescu , Marceau Coupechoux , Bertrand Leroy
IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7
Conference papers hal-02287402v1

A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures

Ziad Ismail , Jean Leneutre , David Bateman , Lin Chen
GameSec, Nov 2016, New York, United States
Conference papers hal-01418446v1

Extending TLS with KMIP Protocol for Cloud Computing

Mounira Msahli , Ahmed Serhrouchni , Mohamad Badra
2016 8th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Nov 2016, Larnaca, France. pp.1-6, ⟨10.1109/NTMS.2016.7792452⟩
Conference papers hal-02343631v1

Set-Consensus Collections are Decidable

Carole Delporte-Gallet , Hugues Fauconnier , Eli Gafni , Petr Kuznetsov
OPODIS, Dec 2016, MADRID, Spain
Conference papers hal-01416981v1

On the uncontended complexity of anonymous agreement

Claire Capdevielle , Colette Johnen , Petr Kuznetsov , Alessia Milani
Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩
Journal articles hal-02287767v1

Non-interference and local correctness in transactional memory

Petr Kuznetsov , Sathya Peri
Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩
Journal articles hal-02287768v1

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

Parallel Combining: Making Use of Free Cycles

Vitaly Aksenov , Petr Kuznetsov
CoRR, 2017, abs/1710.07588
Journal articles hal-02287770v1

On some bounds for symmetric tensor rank of multiplication in finite fields

Stéphane Ballet , Julia Pieltant , Matthieu Rambaud , Jeroen Sijsling
Alp 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

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
Image document

Parameter Sensitivity Analysis of the Energy/Frequency Convexity Rule for Nanometer-scale Application Processors

Karel de Vogeleer , Gerard Memmi , Pierre Jouvelot
Sustainable Computing : Informatics and Systems, 2017, 15, pp.16-27. ⟨10.1016/j.suscom.2017.05.001⟩
Journal articles hal-01531295v1

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

Organising Complexity: Hierarchies and Holarchies

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

Towards an Efficient File Synchronization between Digital Safes

Mayssa Jemel , Mounira Msahli , Ahmed Serhrouchni
2017 IEEE 31st International Conference on Advanced Information Networking and Applications (AINA), Mar 2017, Taipei, France. pp.136-143, ⟨10.1109/AINA.2017.115⟩
Conference papers hal-02354920v1

Incentive-oriented Task Assignment in Holonic Organic Systems

Jan Kantert , Sven Tomforde , Ada Diaconescu , Christian Müller-Schloer
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria
Conference papers hal-02287560v1

Replication-Based Self-healing of Mobile Agents Exploring Complex Networks

Arles Rodriguez , Jonatan Gomez , Ada Diaconescu
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩
Conference papers hal-02287746v1

Worst-Case Execution Time Analysis of Predicated Architectures

Florian Brandner , Naji Amine
Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩
Conference papers hal-02288493v1

An efficient Secure Storage Scheme Based on Information Fragmentation

Han Qiu , Gérard Memmi , Hassan Noura
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113
Conference papers hal-02287645v1

Directed Acyclic Graph Scheduling for Mixed-Criticality Systems

Roberto Medina , Etienne Borde , Laurent Pautet
Reliable Software Technologies, Jun 2017, Vienne, Austria. pp.217-232
Conference papers hal-01995010v1

Protocol for preserving privacy in distributed system (PPDS)

Ashref Aloui , Mounira Msahli , Talel Abdessalem , Stephane Bressan , Sihem Mesnager et al.
2017 13th International Wireless Communications and Mobile Computing Conference (IWCMC), Jun 2017, Valencia, France. pp.1885-1890, ⟨10.1109/IWCMC.2017.7986571⟩
Conference papers hal-02354923v1

Interactional Justice for Sustainable Management of Common-Pool Resources

Jeremy Pitt , Ada Diaconescu
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles
Conference papers hal-02287559v1

Translation of ATL to AGT and Application to a Code Generator for Simulink

Elie Richa , Etienne Borde , Laurent Pautet
Software and Systems Modeling, 2017
Journal articles hal-02287624v1

Technological Impacts in Socio-Technical Communities. Values and Pathologies

Ada Diaconescu , Jeremy Pitt
IEEE Technology and Society Magazine, 2017
Journal articles hal-02287625v1
Image document

An Asynchronous Computability Theorem for Fair Adversaries

Petr Kuznetsov , Thibault Rieutord , Yuan He
2017
Preprints, Working Papers, ... hal-01572257v4

A Concurrency-Optimal Binary Search Tree

Vitalii Aksenov , Vincent Gramoli , Petr Kuznetsov , Anna Malova , Srivatsan Ravi et al.
23rd International European Conference on Parallel and Distributed Computing - Euro-Par 2017, Aug 2017, Santiago de Compostella, Spain
Conference papers hal-01664898v1

Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors

Karel de Vogeleer , Gérard Memmi , Pierre Jouvelot
Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27
Journal articles hal-02287590v1

A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models

Dominique Blouin , Matthias Barkowski , Melanie Schneider , Holger Giese , Johannes Dyck et al.
2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Sep 2017, Lisbon, France. ⟨10.1109/REW.2017.52⟩
Conference papers hal-01873945v1
Image document

Experimental Energy Profiling of Energy-Critical Embedded Applications

Kameswar Rao Vaddina , Florian Brandner , Gérard Memmi , Pierre Jouvelot
25th international conference SoftCOM 2017, Sep 2017, Radisson Blu Resort Split, Croatia. pp.1-6
Conference papers hal-01625409v2

A Requirements Engineering Approach for Usability-Driven DSL Development

Ankica Barisic , Dominique Blouin , Vasco Amaral , Miguel Goulao
International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada
Conference papers hal-03340371v1