Treffer 1 - 20
von 138
- 1
- 2
Seite in der Trefferliste auswählen
Mobile-Beacon Assisted Sensor Localization with Dynamic Beacon Mobility Scheduling
Li, Xu ; Mitton, Nathalie ; Simplot-Ryl, Isabelle ; et al.
2011 IEEE Eighth International Conference on Mobile Ad-Hoc and Sensor Systems Mobile Adhoc and Sensor Systems (MASS), 2011 IEEE 8th International Conference on. :490-499 Oct, 2011
A novel family of geometric planar graphs for wireless ad hoc networks
Li, Xu ; Mitton, Nathalie ; Simplot-Ryl, Isabelle ; et al.
2011 Proceedings IEEE INFOCOM INFOCOM, 2011 Proceedings IEEE. :1934-1942 Apr, 2011
Algorithm for temporal anomaly detection in WSNs
Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle ; et al.
2011 IEEE Wireless Communications and Networking Conference Wireless Communications and Networking Conference (WCNC), 2011 IEEE. :743-748 Mar, 2011
Towards Energy-Efficient Algorithm-Based Estimation in Wireless Sensor Networks
Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle ; et al.
2010 Sixth International Conference on Mobile Ad-hoc and Sensor Networks Mobile Ad-hoc and Sensor Networks (MSN), 2010 Sixth International Conference on. :39-46 Dec, 2010
Algorithm for data similarity measurements to reduce data redundancy in wireless sensor networks
Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle ; et al.
2010 IEEE International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM) World of Wireless Mobile and Multimedia Networks (WoWMoM), 2010 IEEE International Symposium on a. :1-6 Jun, 2010
Hypocomb: Bounded-Degree Localized Geometric Planar Graphs for Wireless Ad Hoc Networks
Li, Xu ; Mitton, Nathalie ; Simplot-Ryl, Isabelle ; et al.
IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 24(7):1341-1354 Jul, 2013
Dynamic Beacon Mobility Scheduling for Sensor Localization
Li, Xu ; Mitton, Nathalie ; Simplot-Ryl, Isabelle ; et al.
IEEE Transactions on Parallel and Distributed Systems IEEE Trans. Parallel Distrib. Syst. Parallel and Distributed Systems, IEEE Transactions on. 23(8):1439-1452 Aug, 2012
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns
Grimaud, Gilles ; Hodique, Yann ; Simplot-Ryl, Isabelle
21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) Advanced Information Networking and Applications Workshops, 2007, AINAW '07. 21st International Conference on. 2:440-447 May, 2007
Algorithmes pour l'estimation des données dans les réseaux de capteurs
Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle ; et al.
AlgoTel ; https://inria.hal.science/inria-00384833 ; AlgoTel, 2009, Carry-Le-Rouet, France
Integrating Contract-based Security Monitors in the Software Development Life Cycle
Hoole, Alexander, M. ; Simplot-Ryl, Isabelle ; Traoré, Issa ; et al.
FLACOS 2008 - 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software ; https://inria.hal.science/inria-00546624 ; FLACOS 2008 - 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software, Nov 2008, Malta, Malta
On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards
Ghindici, Dorina ; Simplot-Ryl, Isabelle
Lecture Notes in Computer Science ; Smart Card Research and Advanced Applications ; page 32-47 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540858928 9783540858935
Enhancing nodes cooperation in ad hoc networks
Hauspie, Michaël ; Simplot-Ryl, Isabelle ; Laboratoire d'Informatique Fondamentale de Lille (LIFL) ; et al.
WONS ; https://inria.hal.science/inria-00117251 ; WONS, Jan 2007, Obergurgl, Austria
An Information Flow Verifier for Small Embedded Systems
Ghindici, Dorina ; Grimaud, Gilles ; Simplot-Ryl, Isabelle
Lecture Notes in Computer Science ; Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems ; page 189-201 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540723530 9783540723547
Cooperation in ad hoc networks: Enhancing the virtual currency based models
Hauspie, Michaël ; Simplot-Ryl, Isabelle ; System and Networking for Portable Objects Proved to be Safe (POPS) ; et al.
InterSence ; https://inria.hal.science/inria-00117243 ; InterSence, May 2006, Nice, France
A Dynamic Class Construct for Asynchronous Concurrent Objects
Johnsen, Einar Broch ; Owe, Olaf ; Simplot-Ryl, Isabelle
Lecture Notes in Computer Science ; Formal Methods for Open Object-Based Distributed Systems ; page 15-30 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540261810 9783540315568
Investigating Data Similarity and Estimation Through Spatio-Temporal Correlation to Enhance Energy Efficiency in WSNs
Ghaddar, Alia ; Razafindralambo, Tahiry ; Simplot-Ryl, Isabelle ; et al.
ISSN: 1551-9899 ; Ad Hoc & Sensor Wireless Networks ; https://inria.hal.science/hal-00849044 ; Ad Hoc & Sensor Wireless Networks, 2012, 16 (4), pp.273-295.
Application of contract-based security assertion monitoring framework for telecommunications software engineering
Hoole, Alexander M. ; Traore, Issa ; Simplot-Ryl, Isabelle
Mathematical and Computer Modelling ; volume 53, issue 3-4, page 522-537 ; ISSN 0895-7177
Component composition preserving behavioral contracts based on communication traces
Bailly, Arnaud ; Clerbout, Mireille ; Simplot-Ryl, Isabelle
In Theoretical Computer Science 2006 363(2):108-123
SecureChange public project deliverable D6.6: Development-time and on-device interplay
Fontaine, Arnaud ; Gadyatskaya, Olga ; Piessens, Frank ; et al.
Lightweight verification of control flow policies on Java bytecode
Fontaine, Arnaud ; Hym, Samuel ; Simplot-Ryl, Isabelle ; et al.
https://inria.hal.science/inria-00580923 ; [Research Report] RR-7584, INRIA. 2011, pp.22.
- 1
- 2