Filtrer vos résultats
- 95
- 4
- 70
- 20
- 3
- 2
- 2
- 1
- 1
- 1
- 99
- 1
- 1
- 2
- 3
- 2
- 4
- 3
- 2
- 1
- 9
- 7
- 4
- 5
- 8
- 10
- 10
- 7
- 5
- 7
- 3
- 3
- 2
- 93
- 6
- 99
- 7
- 7
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 99
- 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
- 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
99 résultats
|
|
Android inter-app communication threats and detection techniquesComputers & Security, 2017, 70, pp.392 - 421. ⟨10.1016/j.cose.2017.07.002⟩
Article dans une revue
hal-01675035v1
|
||
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
Communication dans un congrès
hal-00345590v1
|
|||
Merging Time of Random Mobile AgentsInternational Conference on Dynamics in Logistics 2007 (LDIC 2007), 2007, Bremen, Germany. pp.179-190
Communication dans un congrès
hal-00306282v1
|
|||
Uncertainty interval temporal sequences extraction6th Int. Conf. on Information Systems, Technology and Management (ICISTM), Mar 2012, Grenoble, France. pp.259-270
Communication dans un congrès
hal-00654846v1
|
|||
Graph Computation Models 2012.EASST, pp.1, 2013, Electronic Communications of the EASST
Ouvrages
hal-00879351v1
|
|||
Sublinear Fully Distributed Partition with ApplicationsTheory of Computing Systems, 2010, 47 (3), pp.368-404. ⟨10.1007/s00224-009-9190-x⟩
Article dans une revue
istex
hal-00351045v1
|
|||
A Self-stabilizing Distributed Algorithm for Resolving ConflictsWorkshop on Reliability in Decentralized Distributed Systems (RDDS), 2007, Portugal. pp.1042--1051
Communication dans un congrès
hal-00306292v1
|
|||
|
|
The impact of malicious nodes positioning on vehicular alert messaging systemAd Hoc Networks, 2016, Modeling and Performance Evaluation of Wireless Ad Hoc Networks, 52, pp.3--16. ⟨10.1016/j.adhoc.2016.08.008⟩
Article dans une revue
hal-01471175v1
|
||
Network Intrusion Detection for IoT Security Based on Learning TechniquesIEEE Communications Surveys & Tutorials, 2019, 21 (3), pp.2671-2701. ⟨10.1109/COMST.2019.2896380⟩
Article dans une revue
hal-02500646v1
|
|||
|
|
Whac-A-Mole: Smart node positioning in clone attack in wireless sensor networksComputer Communications, 2018, 119, pp.66-82. ⟨10.1016/j.comcom.2018.01.010⟩
Article dans une revue
hal-02500669v1
|
||
A Software Architecture for Automatic Security Policy Enforcement in Distributed SystemsThe International Conference on Emerging Security Information, Systems, and Technologies, 2007, France. pp.187--192
Communication dans un congrès
hal-00306234v1
|
|||
Convex Drawings of 3-Connected Plane GraphsAlgorithmica, 2007, 47, pp.399--420
Article dans une revue
hal-00306291v1
|
|||
Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous modelNOuvelles TEchnologies de la REpartition 2010, May 2010, Tozeur, Tunisia. pp.219-226, ⟨10.1109/NOTERE.2010.5536695⟩
Communication dans un congrès
hal-00579129v1
|
|||
A Synchronous Tiered Based Clustering Algorithm for large-scale Ad hoc NetworksWireless and Mobile Networking, IFIP Joint Conference on Mobile and Wireless Communications Networks (MWCN'2008), Sep 2008, Toulouse, France. pp.41-55
Communication dans un congrès
hal-00414761v1
|
|||
Time Constraints Extension on Frequent Sequential PatternsInternational Conference on Knowledge Discovery and Information Retrieval (KDIR), Oct 2010, Valence, Spain. pp.281-287
Communication dans un congrès
hal-00644534v1
|
|||
Extraction de séquences fréquentes avec intervalles d'incertitudeConférence Internationale Francophone sur l'Extraction et la Gestion de Connaissance (EGC), Jan 2012, Bordeaux, France. 12 p
Communication dans un congrès
hal-00645144v1
|
|||
Dépendances fonctionnelles et matérialisation partielle des cubes de donnéesJournées francophones sur les Entrepôts de Données et Analyse en ligne (EDA), Jun 2011, Clermont-Ferrand, France. pp.ISBN: 9782705681272
Communication dans un congrès
hal-00644727v1
|
|||
|
|
Fully-Distributed Debugging and Visualization of Distributed Systems in Anonymous Networks7th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Feb 2012, Rome, Italy. pp.764-767
Communication dans un congrès
hal-00697093v1
|
||
A Local Self-stabilizing Enumeration AlgorithmProceedings DAIS06, Distributed Applications and Interoperable Systems, 6th IFIP WG 6.1 International Conference, 2006, Bologna, Italy. pp.289-302
Communication dans un congrès
hal-00307214v1
|
|||
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
Communication dans un congrès
hal-00307511v1
|
|||
|
|
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⟩
Communication dans un congrès
hal-00307548v1
|
||
A Domain Specific Language for Securing Distributed SystemsSecond International Conference on Systems and Networks Communications,, 2007, France. pp.76--83
Communication dans un congrès
hal-00306235v1
|
|||
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
Communication dans un congrès
hal-00644691v1
|
|||
Proving Distributed Algorithms by Combining Refinement and Local ComputationsElectronic Communications of the EASST, 2011, 35, pp.ISSN 1863-2122
Article dans une revue
hal-00644187v1
|
|||
Debugging the Execution of Distributed Algorithms over Anonymous NetworksInformation Visualization, Jul 2012, Montpellier, France. pp.464 - 470, ⟨10.1109/IV.2012.80⟩
Communication dans un congrès
hal-00776660v1
|
|||
Optimal area algorithm for planar polyline drawings.WG 2002, 2002, Czech Republic. pp.35--46
Communication dans un congrès
hal-00323077v1
|
|||
A formal model for fault-tolerance in distributed systemsProceedings SAFECOM05, 24th International Conference on Computer Safety, Reliability and Security, 2005, Norway. pp.108-121
Communication dans un congrès
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
Communication dans un congrès
hal-00307217v1
|
|||
Visualization of self-stabilizing distributed algorithmsProceedings IV05, 9th International conference on information visualization,, 2005, United Kingdom. pp.550-555
Communication dans un congrès
hal-00307218v1
|
|||
Proving Distributed Algorithms by Combining Refinement and Local ComputationsAVOCS 2010 10th International Workshop on Automated Verification of Critical Systems, Sep 2010, Dusseldorf, Germany
Communication dans un congrès
inria-00547302v1
|