Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

80 résultats
Page :
triés par

I-JVM: une machine virtuelle Java pour l'isolation de composants dans OSGi

 Nicolas Geoffray , Gaël Thomas , Gilles Muller , Pierre Parrend , Stéphane Frénot , et al.
7éme Conférence Française sur les Systèmes d'Exploitation (CFSE'07), Chapitre français de l'ACM-SIGOPS, GDR ARP, Sep 2009, Toulouse, France. pp.1-12
Communication dans un congrès hal-01298308v1
Image document

AxSeL : un intergiciel pour le déploiement contextuel et autonome de services dans les environnements pervasifs

 Amira Ben Hamida
Informatique [cs]. INSA de Lyon, 2010. Français. ⟨NNT : ⟩
Thèse tel-00478169v1

Improving Integral Cryptanalysis against Rijndael-256 up to 9 rounds

 Samuel Galice , Marine Minier
Africacrypt 2008, Jun 2008, Casablanca, Morocco. pp.1-15
Communication dans un congrès hal-00402740v1

Proceedings of the 4th ACM International Workshop on Services Integration in Pervasive Environments (SIPE'2009)

 Frédéric Le Mouël , Stéphane Frénot
ACM Press, pp.26, 2009
Ouvrages inria-00395411v1
Image document

self-configuration of Home Absraction Layer via sensors and actuators network

 Zheng Hu , Gilles Privat , Stéphane Frénot , Bernard Tourancheau
2nd International Joint Conference on Ambient Intelligence, Nov 2011, Amsterdam, Netherlands
Communication dans un congrès hal-00643940v1

Middleware Technologies for Ubiquitous Computing

 Noha Ibrahim , Frédéric Le Mouël , Stéphane Frénot
Samuel Pierre. Handbook of Research on Next Generation Networks and Ubiquitous Computing, Chapter 12, IGI Global, pp.122-131, 2010, 9781605662503. ⟨10.4018/978-1-60566-250-3.ch012⟩
Chapitre d'ouvrage inria-00395417v1

Detecting wormhole attacks in wireless networks using local neighborhood information

 Wassim Znaidi , Marine Minier , Jean-Philippe Babau
19th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC'08, Sep 2008, Cannes, France. pp.1-5
Communication dans un congrès hal-00402737v1
Image document

Modèles de Sécurité logicielle pour les plates-formes à composants de service (SOP)

 Pierre Parrend
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2008. Français. ⟨NNT : ⟩
Thèse tel-00362486v1
Image document

More Vulnerabilities in the Java/OSGi Platform: A Focus on Bundle Interactions

 Pierre Parrend , Stéphane Frénot
[Research Report] RR-6649, INRIA. 2008
Rapport inria-00322138v1
Image document

Iterative Model-based Identification of Building Components and Appliances by Means of Sensor-Actuator Networks

 Zheng Hu , Stéphane Frénot , Bernard Tourancheau , G. Privat
2011
Autre publication scientifique inria-00636055v1
Image document

ROCS: a Remotely Provisioned OSGi Framework for Ambient Systems

 Stéphane Frénot , Noha Ibrahim , Frédéric Le Mouël , Amira Ben Hamida , Julien Ponge , et al.
Network Operations and Management Symposium, IEEE/IFIP, Apr 2010, Osaka, Japan. pp.503-510
Communication dans un congrès inria-00436041v1
Image document

Spécification et substitution de services OSGi

 Herman Albert Mekontso Tchinda , Nicolas Stouls , Julien Ponge
[Rapport de recherche] RR-7733, INRIA. 2011, pp.58
Rapport inria-00619233v3

Performance Analysis of an Efficient MAC Protocol with Multiple-Step Distributed In-Band Channel Reservation

 Bo Li , Li W. , Fabrice Valois , Stéphane Ubéda , H. Zhou , et al.
IEEE Transactions on Vehicular Technology, 2010, 59 (1), pp.369-382. ⟨10.1109/TVT.2009.2028029⟩
Article dans une revue hal-00645998v1
Image document

A wireless sensor network to measure the health care workers exposure to tuberculosis

 Guillaume Chelius , Eric Fleury , Antoine Fraboulet , Jean-Christophe Lucet
International Workshop and Conference on Complex Networks and their Applications (NetSci 09), Jun 2009, Venice, Italy
Communication dans un congrès inria-00385398v1

On Frequency Optimisation for Power Saving in WSNs

 Andreea Picu , Eric Fleury , Antoine Fraboulet
14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Technical Committee on Real-Time Systems, Apr 2008, St Louis, United States
Communication dans un congrès inria-00397376v1
Image document

Using SensLAB as a First Class Scientific Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Roziers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.147-159, ⟨10.1007/978-3-642-20757-0_12⟩
Communication dans un congrès hal-01583404v1
Image document

Monitoring Scheduling for Home Gateways

 Stéphane Frénot , Yvan Royon , Pierre Parrend , Denis Beras
IEEE/IFP network operations and management symposium, Apr 2008, Salvador de Bahia, Brazil. pp.411-416, ⟨10.1109/NOMS.2008.4575162⟩
Communication dans un congrès inria-00270941v1
Image document

Vérification automatique pour l'exécution sécurisée de composants Java

 Pierre Parrend , Stéphane Frénot
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, Composants, services et aspects, 14 (4), pp.103-127. ⟨10.3166/obj.14.4.103-127⟩
Article dans une revue inria-00389211v1

The Radio Virtual Machine: A Solution for SDR Portability and Platform Reconfigurability

 Tanguy Risset , Riadh Ben Abdallah , Antoine Fraboulet , Yves Durand
16th Reconfigurable Architectures Workshop, May 2009, Rome, Faroe Islands
Communication dans un congrès hal-00410747v1

Behavioral anomaly detection using Bayesian modelization based on a global vision of the system

 Jacques Saraydaryan , Veronique Legrand , Stéphane Ubéda
7ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, Jun 2007, Marrakech, Morocco
Communication dans un congrès inria-00405486v1
Image document

Proposal for a suspend/resume extension to the OSGi specification

 Ronan Dunklau , Stéphane Frénot
[Technical Report] RR-7060, INRIA. 2009, pp.21
Rapport inria-00423866v1
Image document

Using SensLAB as a First Class Scienti c Tool for Large Scale Wireless Sensor Network Experiments

 Clément Burin Des Rosiers , Guillaume Chelius , Tony Ducrocq , Eric Fleury , Antoine Fraboulet , et al.
Networking 2011, May 2011, Valencia, Spain. pp.241-253
Communication dans un congrès inria-00599102v1
Image document

Energy Efficient Authentication Strategies for Network Coding

 Anya Apavatjrut , Wassim Znaidi , Antoine Fraboulet , Claire Goursaud , Katia Jaffrès-Runser , et al.
Concurrency and Computation: Practice and Experience, 2012, 24 (10), pp.1086-1107. ⟨10.1002/cpe.1767⟩
Article dans une revue istex hal-00644484v1

Virtual Machine for Software Defined Radio: Evaluating the Software VM Approach

 Tanguy Risset , Antoine Fraboulet , Jerome Martin , Riadh Ben Abdallah
International Conference on Embedded software and systems (ICESS), Jun 2010, Bradford, United Kingdom. pp.1970-1977, ⟨10.1109/CIT.2010.334⟩
Communication dans un congrès hal-00515229v1
Image document

B Model Slicing and Predicate Abstraction to Generate Tests

 Jacques Julliand , Nicolas Stouls , Pierre-Christophe Bué , Pierre-Alain Masson
Software Quality Journal, 2011, pp.1-32. ⟨10.1007/s11219-011-9161-8⟩
Article dans une revue hal-00650661v1

A dual-core system solution for wearable health monitors

 Bouwens Frank , Huisken Jos , Harmke de Groot , Martijn Bennebroek , Anteneh Abbo , et al.
GLSVLSI '11 Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI, May 2011, Lausanne, Switzerland. pp.379--382, ⟨10.1145/1973009.1973087⟩
Communication dans un congrès hal-00597951v1
Image document

Syntactic Abstraction of B Models to Generate Tests

 Jacques Julliand , Nicolas Stouls , Pierre-Christophe Bué , Pierre-Alain Masson
TAP'10, 4th Int. Conference on Tests and Proofs, Jul 2010, Malaga, Spain. pp.151-166
Communication dans un congrès inria-00471324v2
Image document

Adding Network Coding Capabilities to the WSNet Simulator

 Wei Liang Choo , Frédéric Le Mouël , Katia Jaffrès-Runser , Marco Fiore
[Technical Report] RT-0405, INRIA. 2011, pp.28
Rapport inria-00573998v1

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties

 Daniel Le Métayer , Manuel Maarek , Eduardo Mazza , Marie-Laure Potet , Stéphane Frénot , et al.
Communications of the ACM, 2011, 54 (4), pp.99-106. ⟨10.1145/1924421.1924444⟩
Article dans une revue hal-00656921v1
Image document

A Survey on Service Composition Middleware in Pervasive Environments

 Noha Ibrahim , Frédéric Le Mouël
International Journal of Computer Science, 2009, 1, pp.1--12
Article dans une revue inria-00414117v1
Page :