Search - Archive ouverte HAL Access content directly

Filter your results

2 479 Results

A Comparative Study of the Precision of Stack Cache Occupancy Analyses

Naji Amine , Florian Brandner
9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16
Conference papers hal-02287276v1

A complexity based approach for solving Hofstadter's analogies

Pierre-Alexandre Murena , Jean-Louis Dessalles , Antoine Cornuéjols
International Conference on Case-Based Reasoning (ICCBR 2017), Jul 2017, Trondheim, Northern Mariana Islands. pp.53-62
Conference papers hal-02287592v1

A computational model of moral and legal responsibility via simplicity theory

Giovanni Sileno , Antoine Saillenfest , Jean-Louis Dessalles
30th international conference on Legal Knowledge and Information Systems (JURIX 2017), Dec 2017, Luxembourg, Luxembourg. pp.171-176, ⟨10.3233/978-1-61499-838-9-171⟩
Conference papers hal-02287729v1

A Concise Bounded Anonymous Broadcast Yielding Combinatorial Trace-and-Revoke Schemes

Xuan Thanh Do , Duong Hieu Phan , Moti Yung
ACNS 2020 - International Conference on Applied Cryptography and Network Security, Nov 2020, Rome, Italy. pp.145-164, ⟨10.1007/978-3-030-57878-7_8⟩
Conference papers hal-03540247v1

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

A configuration tool for MQTT based OPC UA PubSub

Patrick Bellot , Zepeng Liu
The 2020 International on Computing and Communication Technologies (RIVF 2020), RMIT University, Oct 2020, H Chi Minh City, Vietnam
Conference papers hal-02611556v1

A construction method of balanced rotation symmetric Boolean functions on arbitrary even number of variables with optimal algebraic immunity

Sihem Mesnager , Sihong Su , Hui Zhang
Designs, Codes and Cryptography, 2021, 89 (1), pp.1-17. ⟨10.1007/s10623-020-00806-y⟩
Journal articles hal-03960647v1

A control theoretic analysis of low-priority congestion controlreprioritization under AQM

Luca de Cicco , Yixi Gong , D. Rossi , E. Leonardi
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2016, 1 (4), pp.17:1-17:33
Journal articles hal-01383253v1
Image document

A Controlled Matching Game for WLANs

Mikael Touati , Rachid El-Azouzi , Marceau Coupechoux , Eitan Altman , Jean-Marc Kelif et al.
IEEE Journal on Selected Areas in Communications, 2017, 35, pp.707 - 720. ⟨10.1109/JSAC.2017.2672258⟩
Journal articles hal-01536136v1

A cooperative agent approach based on a peer-to-peer model for DDoS attacks detection and reaction

Rida Khatoun , Radwane Saad , Guillaume Doyen , Ahmed Serhrouchni , Dominique Gaïti et al.
Networking and Electronic Commerce Research Conference 2008, Sep 2008, Riva Del Garda, Italy
Conference papers hal-02611028v1

A Cooperative Detection Approach against Distributed Denial of Service Attack

Rida Khatoun , Louis Hugues , Dominique Gaïti , Leila Merghem-Boulahia , Gérard Nguengang et al.
JDIR'2007 - 8èmes Journées Doctorales en Informatique et Réseaux, Jan 2007, Marne-la-Vallée, France
Conference papers hal-02623724v1

A Coq Framework for More Trustworthy DRAM Controllers

Felipe Lisboa Malaquias , Mihail Asavoae , Florian Brandner
RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris France, France. pp.140-150, ⟨10.1145/3534879.3534907⟩
Conference papers hal-03702493v1

A cross‐layered scheme for multichannel and reactive routing in vehicular ad hoc networks

Fadlallah Chbib , Lyes Khoukhi , Walid Fahs , Jamal Haydar , Rida Khatoun et al.
Transactions on emerging telecommunications technologies, 2022, 33 (7), ⟨10.1002/ett.4468⟩
Journal articles hal-03860290v1

A Data-Scheduling Mechanism for Multi-Homed Mobile Terminals with Disparate Link Latencies

Farhan Hyder Mirani , Tran Minh Anh , Nadia Boukhatem
72nd IEEE Vehicular Technology Conference Fall (VTC 2010-Fall), Sep 2010, Ottawa, Canada. pp.1-5
Conference papers hal-00626814v1
Image document

A Decentralised Architecture for Multi-Objective Autonomic Management

Sylvain Frey , Philippe Lalanda , Ada Diaconescu
4th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2010), 2010, pp.267. ⟨10.1109/SASO.2010.34⟩
Journal articles hal-00879548v1

A Decentralized Approach to Explanatory Artificial Intelligence for Autonomic Systems

Etienne Houze , Ada Diaconescu , Jean-Louis Dessalles , David Menga , Mathieu Schumann et al.
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), Aug 2020, Washington, France. pp.115-120, ⟨10.1109/ACSOS-C51401.2020.00041⟩
Conference papers hal-02963566v1

A deployment of service elements based on QoS

Soumia Kessal , N. Simoni
SERVICES 2011, Jul 2011, Washington, United States
Conference papers hal-02278623v1
Image document

A design space of guidance techniques for large and dense physical environments

Hind Gacem , Bailly Gilles , James Eagan , Eric Lecolinet
IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, Oct 2014, Lille, France. pp.9-17
Conference papers hal-01089610v1
Image document

A design space of guidance techniques for large and dense physical environments

Hind Gacem , Gilles Bailly , James R Eagan , Eric Lecolinet
IHM'14:Proceedings of the 26th Conference on l'Interaction Homme-Machine, Oct 2014, Villeneuve d'Ascq, France. pp.9-17, ⟨10.1145/2670444.2670455⟩
Conference papers hal-01147720v1

A Dichotomy for Homomorphism-Closed Queries on Probabilistic Graphs

Antoine Amarilli , İsmail İlkan Ceylan
ICDT, Mar 2020, Copenhagen, Denmark. ⟨10.4230/LIPIcs.ICDT.2020.5⟩
Conference papers hal-02941907v1

A direct proof of APN-ness of the Kasami functions

Claude Carlet , Kwang Ho Kim , Sihem Mesnager
Designs, Codes and Cryptography, 2021, 89 (3), pp.441-446. ⟨10.1007/s10623-020-00830-y⟩
Journal articles hal-03960643v1

A Distributed Algorithm for Adaptive Traffic Lights Control

Sébastien Faye , Claude Chaudet , Isabelle Demeure
15th International IEEE Annual Conference on Intelligent Transportation Systems (ITSC), Sep 2012, Anchorage, Alaska, United States. pp.1572-1577, ⟨10.1109/ITSC.2012.6338671⟩
Conference papers hal-00778436v1

A Distributed Algorithm for Adaptive Traffic Lights Control in Wireless Sensor Networks

Sébastien Faye , Claude Chaudet , Isabelle Demeure
15th International IEEE Annual Conference on Intelligent Transportation Systems, Sep 2012, Anchorage, United States. pp.13-18
Conference papers hal-02286345v1

A Distributed Algorithm for Adaptive Traffic Lights Control in Wireless Sensor Networks

Sébastien Faye , Claude Chaudet , Isabelle Demeure
[Research Report] 1, Télécom ParisTech. 2012
Reports hal-02286329v1

A Distributed Algorithm for Large-Scale Generalized Matching

Faraz Makari Manshadi , Baruch Awerbuch , Rainer Gemulla , Rohit Khandekar , Julian Mestre et al.
PVLDB (Proceedings of the VLDB Endowment), 2013
Journal articles hal-02286705v1

A Distributed Algorithm for Multiple Intersections Adaptive Traffic Lights Control using a Wireless Sensor Networks

Sébastien Faye , Claude Chaudet , Isabelle Demeure
UrbaNe Workshop, held in conjunction with ACM CoNEXT 2012, Dec 2012, Nice, France. pp.13-18, ⟨10.1145/2413236.2413240⟩
Conference papers hal-00780441v1

A dive into the caching performance of Content Centric Networking

Giuseppe Rossini , D. Rossi
IEEE 17th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD'12), Sep 2012, Barcelone, Spain. pp.105-109
Conference papers hal-00796402v1
Image document

A dynamic attack graphs based approach for impact assessment of vulnerabilities in complex computer systems

Antoine Boudermine
Computer science. Institut Polytechnique de Paris, 2022. English. ⟨NNT : 2022IPPAT046⟩
Theses tel-03947453v1
Image document

A Dynamic Clustering Algorithm for Multi-Point Transmissions in Mission-Critical Communications

Alaa Daher , Marceau Coupechoux , Philippe Godlewski , Pierre Ngouat , Pierre Minot et al.
IEEE Transactions on Wireless Communications, 2020, 19 (7), pp.4934-4946. ⟨10.1109/TWC.2020.2988382⟩
Journal articles hal-02895678v1

A Dynamic Offer/Answer Mechanism Encompassing TCP Variants in Heterogeneous Environments

Antoine Fressancourt , Maurice Gagnaire
International Conference on Advanced Networking Distributed Systems and Applications (INDS), Jun 2014, Béjaia, Algeria. pp.7-12, ⟨10.1109/INDS.2014.9⟩
Conference papers hal-01115961v1