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 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
|
||
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
|
||
|
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 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
|
|||
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
|
|||
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 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
|
|||
|
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
|
||
Testing communication protocols within test cases dependencies frameworkAC 2015 : 12th International Conference Applied Computing, Oct 2015, Maynooth, Ireland. pp.80 - 88
Communication dans un congrès
hal-01304434v1
|
|||
Strip interoperability for wireless Ad hoc routing protocolsNCA 2014 : 13th IEEE International Symposium on Network Computing and Applications, Aug 2014, Cambridge, Ma Usa, United States. pp.32 - 36, ⟨10.1109/NCA.2014.9⟩
Communication dans un congrès
hal-01263344v1
|
|||
|
Suggesting Software Measurement Plans with unsupervised learning data analysisENASE 2019: 14th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2019, Heraklion, Greece. ⟨10.5220/0007768101890197⟩
Communication dans un congrès
hal-02143691v1
|
||
A software measurement framework guided by Support Vector Machines31st International Conference on Advanced Information Networking and Applications Workshops, Mar 2017, Taipei, Taiwan. pp.397 - 402, ⟨10.1109/WAINA.2017.66⟩
Communication dans un congrès
hal-01575616v1
|
|||
Interoperability testing of a MANET routing protocol using a node self-similarity approachSAC 2008 : 23rd Annual ACM Symposium on Applied Computing, Mar 2008, Fortaleza, Ceará, Brazil. pp.1908 - 1912, ⟨10.1145/1363686.1364148⟩
Communication dans un congrès
hal-01392800v1
|
|||
A novel distributed testing approach based on test cases dependencies for communication protocolsRACS 2015 : The ACM Conference on Research in Adaptive and Convergent Systems, Oct 2015, Prague, Czech Republic. pp.497 - 504, ⟨10.1145/2811411.2811554⟩
Communication dans un congrès
hal-01255059v1
|
|||
Formally testing the protocol performancesInternational Journal of Space-Based and Situated Computing, 2015, 5 (2), pp.76 - 88. ⟨10.1504/IJSSC.2015.069197⟩
Article dans une revue
hal-01255092v1
|
|||
Quality of experience as a selection criterion for web servicesSITIS '12 : The 8th International Conference on Signal-Image Technology & Internet Systems, Nov 2012, Sorrento, Italy. pp.519-526, ⟨10.1109/SITIS.2012.81⟩
Communication dans un congrès
hal-00772763v1
|
|||
FSM-based test derivation strategies for systems with time-outsQSIC 2011 : 11th International Conference On Quality Software, Jul 2011, Madrid, Spain. pp.141 - 149, ⟨10.1109/QSIC.2011.30⟩
Communication dans un congrès
hal-01303601v1
|
|||
Using passive testing based on symbolic execution and slicing techniques : application to the validation of communication protocolsComputer Networks, 2013, 57 (15), pp.2992 - 3008. ⟨10.1016/j.comnet.2013.06.019⟩
Article dans une revue
istex
hal-01273640v1
|
|||
Cost effective cross-layer protocol testing : a case studyCASE 2011 : Congreso Argentino de Sistemas Embebidos, Mar 2011, Buenos Aires, Argentina. pp.103 - 108
Communication dans un congrès
hal-01303607v1
|
|||
|
Modeling and Testing of Web Based SystemsSpringer. EMERGENT WEB INTELLIGENCE: ADVANCED SEMANTIC TECHNOLOGIES, Springer London, pp.355-394, 2010, Advanced Information and Knowledge Processing, ⟨10.1007/978-1-84996-077-9_14⟩
Chapitre d'ouvrage
hal-00706157v1
|
||
A logic-based passive testing approach for the validation of communicating protocolsENASE '12 : 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Jun 2012, Wroclaw, Poland
Communication dans un congrès
hal-00738523v1
|