Filtrer vos résultats
- 81
- 11
- 69
- 17
- 5
- 1
- 1
- 92
- 1
- 1
- 3
- 2
- 4
- 5
- 8
- 6
- 15
- 10
- 8
- 4
- 6
- 6
- 8
- 4
- 2
- 91
- 1
- 90
- 12
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 92
- 24
- 18
- 12
- 9
- 9
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
92 résultats
Towards a generic trust management gramework using a machine-learning-based trust modelTRUSTCOM 2015 : 14th International Conference on Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1343 - 1348, ⟨10.1109/Trustcom.2015.528⟩
Communication dans un congrès
hal-01263244v1
|
|||
An online learning based approach for CEP rule generationLATINCOM 2016 : 8th IEEE Latin-American Conference on Communications, Nov 2016, Medellin, Colombia. pp.1 - 6, ⟨10.1109/LATINCOM.2016.7811563⟩
Communication dans un congrès
hal-01462912v1
|
|||
A formal validation methodology for MANET routing protocols based on nodes' self similarityComputer Communications, 2008, 31 (4), pp.827 - 841. ⟨10.1016/j.comcom.2007.10.031⟩
Article dans une revue
istex
hal-01354849v1
|
|||
A passive conformance testing approach for a MANET routing protocolSAC '09 : 24th Annual ACM Symposium on Applied Computing, Mar 2009, Hawai, United States. pp.207-211, ⟨10.1145/1529282.1529326⟩
Communication dans un congrès
hal-00771619v1
|
|||
|
|
An automated passive testing approach for the IMS PoC serviceASE 2009 : 24th IEEE/ACM International Conference on Automated Software Engineering, Nov 2009, Auckland, New Zealand. pp.535 - 539, ⟨10.1109/ASE.2009.33⟩
Communication dans un congrès
hal-01316417v1
|
||
|
|
A formal consensus-based distributed monitoring approach for mobile IoT networksInternet of Things, 2021, 13, pp.100352. ⟨10.1016/j.iot.2020.100352⟩
Article dans une revue
hal-03546760v1
|
||
Ads network monitoring integrating realistic urban mobility patternsWAINA 2016 : 30th International Conference on Advanced Information Networking and Applications Workshops, Mar 2016, Crans Montana, Switzerland. pp.737 - 742, ⟨10.1109/WAINA.2016.99⟩
Communication dans un congrès
hal-01390840v1
|
|||
Testing trust properties using a formal distributed network monitoring approachAnnals of Telecommunications - annales des télécommunications, 2015, 70 (3), pp.95 - 105. ⟨10.1007/s12243-014-0454-3⟩
Article dans une revue
hal-01287769v1
|
|||
A novel online CEP learning engine for MANET IDSLATINCOM 2017 : 9th IEEE Latin-American Conference on Communications, Nov 2017, Guatemala City, Guatemala. pp.1 - 6, ⟨10.1109/LATINCOM.2017.8240196⟩
Communication dans un congrès
hal-01681466v1
|
|||
Passive performance testing of network protocolsComputer Communications, 2014, 51, pp.36 - 47. ⟨10.1016/j.comcom.2014.06.001⟩
Article dans une revue
hal-01263272v1
|
|||
A distributed test case dependencies architecture : application to the SIP protocolLATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala
Communication dans un congrès
hal-01799806v1
|
|||
A node self similarity approach for interoperability testing of Ad Hoc routing protocolsHWISE2008 : 4th IEEE International Workshop on Heterogeneous Wireless Networks, Mar 2008, Ginowan, Japan. pp.983 - 988, ⟨10.1109/WAINA.2008.61⟩
Communication dans un congrès
hal-01380262v1
|
|||
From formal test objectives to TTCN-3 for verifying ETCS complex software control systemsCommunications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩
Chapitre d'ouvrage
hal-02904831v1
|
|||
Automated suggesting software metrics frameworkLATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala
Communication dans un congrès
hal-01799805v1
|
|||
|
|
An automated parallel compatibility testing framework fo web-based systemsICWI AC 2021: 20th International Conference on WWW/Internet and 18th international conference on Applied Computing, Oct 2021, Online, France. pp.163-174
Communication dans un congrès
hal-03546824v1
|
||
|
|
Codeless web testing using Selenium and machine learningICSOFT 2020: 15th International Conference on Software Technologies, Jul 2020, Online, France. pp.51-60, ⟨10.5220/0009885400510060⟩
Communication dans un congrès
hal-02909787v1
|
||
|
|
Monitoring dynamic mobile ad-hoc networks: a fully distributed hybrid architectureAINA 2017: 31st IEEE International Conference on Advanced Information Networking and Applications, Mar 2017, Taipei, Taiwan. pp.407 - 414, ⟨10.1109/AINA.2017.74⟩
Communication dans un congrès
hal-01653375v1
|
||
|
|
HUBLINKED: a curriculum mapping framework for industry2021 Polytechnic Summit, Jun 2021, Dublin (online), Ireland. ⟨10.21427/GT0M-3C42⟩
Communication dans un congrès
hal-03546797v1
|
||
Online testing: a passive approach for protocolsEvaluation of novel approaches to software engineering : 9th international conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers, 551, Springer international publishing, pp.79 - 92, 2015, Communications in Computer and Information Science, 978-3-319-27218-4. ⟨10.1007/978-3-319-27218-4⟩
Chapitre d'ouvrage
hal-01255197v1
|
|||
An efficient scheduling algorithm for QoS provisioning in WiMAX networksITST 2008 : 8th International Conference on Intelligent Transport System Telecommunications, Oct 2008, Phuket, Thailand. pp.240 - 245, ⟨10.1109/ITST.2008.4740264⟩
Communication dans un congrès
hal-01327403v1
|
|||
BGP convergence time : a step towards continuous connectivityITA 2009 : 3rd International Conference on Internet Technologies and Applications, Sep 2009, Wrexham, North Wales, United Kingdom
Communication dans un congrès
hal-00434467v1
|
|||
Process mining for trust monitoringWAINA 2015 : 29th International Conference on Advanced Information Networking and Applications Workshops , Mar 2015, Gwangiu, South Korea. pp.605 - 610, ⟨10.1109/WAINA.2015.71⟩
Communication dans un congrès
hal-01255094v1
|
|||
An IOSTS based passive testing approach for the validation of data-centric protocolsQSIC '12 : 12th International Conference of Quality Software, Aug 2012, Xi'An, China. pp.49-58, ⟨10.1109/QSIC.2012.33⟩
Communication dans un congrès
hal-00747198v1
|
|||
A passive testing approach for protocols in internet of thingsiThings 2013 : IEEE International Conference on Internet of Things, Aug 2013, Beijing, China. pp.678 - 684, ⟨10.1109/GreenCom-iThings-CPSCom.2013.124⟩
Communication dans un congrès
hal-01273641v1
|
|||
A distributed test-cases dependencies framework : application to the SIP protocolCONCAPAN 2018: 38th Central America and Panama Convention, Nov 2018, San Salvador, El Salvador. pp.1 - 6, ⟨10.1109/CONCAPAN.2018.8596359⟩
Communication dans un congrès
hal-01975946v1
|
|||
|
|
Guiding testers' hands in monitoring tools : application of testing approaches on SIP27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩
Communication dans un congrès
hal-01263247v1
|
||
DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETsLATINCOM 2017 : 9th IEEE Latin-American Conference on Communications Workshop, Nov 2017, Guatemala City, Guatemala
Communication dans un congrès
hal-01799804v1
|
|||
A novel formal approach to automatically suggest metrics in software measurement plansENASE 2018: 13th International Conference on Evaluation of Novel Approaches to Software Engineering, Mar 2018, Funchal, Portugal. pp.283 - 290, ⟨10.5220/0006710902830290⟩
Communication dans un congrès
hal-01977158v1
|
|||
|
|
One step forward: Linking Wireless Self-Organizing Networks Validation Techniques with Formal Testing approaches[Research Report] RR-6817, INRIA. 2009, pp.46
Rapport
inria-00359569v1
|
||
One step forward: Linking Wireless Self-Organising Networks Validation Techniques with Formal Testing approachesACM Computing Surveys, 2009
Article dans une revue
inria-00429444v1
|