Filter your results
- 94
- 3
- 69
- 20
- 3
- 2
- 2
- 1
- 97
- 2
- 3
- 2
- 4
- 3
- 2
- 1
- 9
- 7
- 4
- 5
- 6
- 9
- 13
- 6
- 5
- 8
- 3
- 3
- 2
- 91
- 6
- 97
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 97
- 11
- 10
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
97 Results
Merging Time of Random Mobile AgentsInternational Conference on Dynamics in Logistics 2007 (LDIC 2007), 2007, Bremen, Germany. pp.179-190
Conference papers
hal-00306282v1
|
|||
|
Sublinear Fully Distributed Partition with ApplicationsTheory of Computing Systems, 2010, 47 (3), pp.368-404. ⟨10.1007/s00224-009-9190-x⟩
Journal articles
istex
hal-00351045v1
|
||
A Self-stabilizing Distributed Algorithm for Resolving ConflictsWorkshop on Reliability in Decentralized Distributed Systems (RDDS), 2007, Portugal. pp.1042--1051
Conference papers
hal-00306292v1
|
|||
|
Android inter-app communication threats and detection techniquesComputers & Security, 2017, 70, pp.392 - 421. ⟨10.1016/j.cose.2017.07.002⟩
Journal articles
hal-01675035v1
|
||
Graph Computation Models 2012.EASST, pp.1, 2013, Electronic Communications of the EASST
Books
hal-00879351v1
|
|||
Uncertainty interval temporal sequences extraction6th Int. Conf. on Information Systems, Technology and Management (ICISTM), Mar 2012, Grenoble, France. pp.259-270
Conference papers
hal-00654846v1
|
|||
A Probabilistic Model for Distributed Merging of Mobile AgentsSecond International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008), 2008, Leeds, United Kingdom. pp.eWIC
Conference papers
hal-00345590v1
|
|||
Debugging the Execution of Distributed Algorithms over Anonymous NetworksInformation Visualization, Jul 2012, Montpellier, France. pp.464 - 470, ⟨10.1109/IV.2012.80⟩
Conference papers
hal-00776660v1
|
|||
Optimal area algorithm for planar polyline drawings.WG 2002, 2002, Czech Republic. pp.35--46
Conference papers
hal-00323077v1
|
|||
A Domain Specific Language for Securing Distributed SystemsSecond International Conference on Systems and Networks Communications,, 2007, France. pp.76--83
Conference papers
hal-00306235v1
|
|||
A formal model for fault-tolerance in distributed systemsProceedings SAFECOM05, 24th International Conference on Computer Safety, Reliability and Security, 2005, Norway. pp.108-121
Conference papers
hal-00307211v1
|
|||
An implementation of a failure detector for local computations in graphsProceedings of the 23rd IASTED International multi-conference on parallel and distributed computing and networks, 2005, Austria. pp.473-478
Conference papers
hal-00307217v1
|
|||
Visualization of self-stabilizing distributed algorithmsProceedings IV05, 9th International conference on information visualization,, 2005, United Kingdom. pp.550-555
Conference papers
hal-00307218v1
|
|||
|
Distributed Graph Traversals by Relabeling Systems with ApplicationsWorkshop on Graph Transformation for Verification and Concurrency, Aug 2005, United States. pp.79-94, ⟨10.1016/j.entcs.2005.03.034⟩
Conference papers
hal-00307548v1
|
||
Using Absorption Areas to Improve {ATFM}$23^{rd}$ IEEE International Digital Avionics Systems Conference (DASC), 2004, United States. pp.2.A.3- 2.1-6
Conference papers
hal-00307511v1
|
|||
Proving Distributed Algorithms by Combining Refinement and Local ComputationsElectronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122
Journal articles
hal-00644187v1
|
|||
Using Functional Dependencies for Reducing the Size of a Data CubeInternational Symposium on Foundations of Information and Knowledge Systems, Mar 2012, Kiel, Germany. pp.145-164
Conference papers
hal-00644691v1
|
|||
A Refinement Approach for Proving Distributed Algorithms : Examples of Spanning Tree ProblemsIntegration of Model-based Formal Methods and Tools - IM_FMT'2009 - in IFM'2009, Feb 2009, Düsseldorf, Germany
Conference papers
hal-00361933v1
|
|||
Workshop on Graph Computation Models4th International Conference on Graph Transformations, Sep 2008, Leicester, United Kingdom. pp.460-462
Conference papers
hal-00361937v1
|
|||
Joint Diversity and Redundancy for Resilient Service Chain ProvisioningIEEE Journal on Selected Areas in Communications, 2020, pp.1-29. ⟨10.1109/JSAC.2020.2986867⟩
Journal articles
hal-02541257v1
|
|||
Performance evaluation of key disclosure delay-based schemes in wireless sensor networksIEEE International Conference on Pervasive Computing and Communications Workshops 2013, Mar 2013, San Diego, CA, United States. pp.566 - 571, ⟨10.1109/PerComW.2013.6529560⟩
Conference papers
hal-00923468v1
|
|||
Relaxing Time Granularity for Mining Frequent SequencesFabrice Guillet; Bruno Pinaud ; Gilles Venturini ; Djamel Abdelkader Zighed. Advances in Knowledge Discovery and Management, Springer International Publishing, pp.53-76, 2014, Studies in Computational Intelligence, 978-3-319-02998-6. ⟨10.1007/978-3-319-02999-3_4⟩
Book sections
hal-00923475v1
|
|||
Collecte d'informations par des agents mobilesNOuvelles TEchnologies de la REpartition, NOTERE 2007, 2007, Marakech, Maroc. pp.139-148
Conference papers
hal-00306283v1
|
|||
A DSL Framework for Policy-Based Security of Distributed SystemsThird IEEE International Conference on Secure Software Integration and Reliability Improvement, Jul 2009, Shanghai, China. pp.150 - 158, ⟨10.1109/SSIRI.2009.7⟩
Conference papers
hal-00579194v1
|
|||
Refinement-based Verification of Local Synchronization Algorithms17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, Jun 2011, Limerick, Ireland. à paraître
Conference papers
hal-00579252v1
|
|||
Fast Distributed Graph Partition and Application (Extended Abstract)$20^{th}$ IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2006, Greece. pp.électronique
Conference papers
hal-00307546v1
|
|||
Reducing Disturbances by Using Absorption Areas$1^{st}$ International Conference on Research in Air Transportation (ICRAT), 2004, Slovakia. pp.111-115
Conference papers
hal-00307510v1
|
|||
Convex Drawings of 3-Connected Planar Graphs - (Extended Abstract)Graph Drawing: 12th International Symposium, GD 2004, 2004, United States. pp.60--70
Conference papers
hal-00307595v1
|
|||
A Formal Approach for Maintaining Forest Topologies in Dynamic NetworksICIS 2017 - 16th IEEE/ACIS International Conference on Computer and Information Science, May 2017, Wuhan, China. pp.123-137, ⟨10.1007/978-3-319-60170-0_9⟩
Conference papers
hal-01495807v1
|
|||
Delay-aware VNF placement and chaining based on a flexible resource allocation approach2017 13th International Conference on Network and Service Management (CNSM), Nov 2017, Tokyo, France. ⟨10.23919/CNSM.2017.8255993⟩
Conference papers
hal-01831893v1
|