Publications personnelle

50documents trouvés

07186
10/01/2007

Resilient architecture (preliminary version). Deliverable n° D2.1.1

A.CASIMIRO, A.BONDAVALLI, A.CECCARELLI, A.DAIDONE, L.FALAI, P.FREJEK, F.DI GIANDOMENICO, G.HUSZERL, M.O.KILLIJIAN, A.KOVI, E.V.MATTHIESEN, O.MENDIZABAL, H.MONIZ, T.RENIER, M.ROY

FCUL Portugal, UNIFI, FSC, BME Hungary, TSF, AAU Danemark, AAU

Rapport de Contrat : HEDENETS, Project IST-FP6-STREP-26979, Janvier 2007, 74p. , N° 07186

Diffusable

109905
06150
01/10/2006

Protection de la vie privée sur internet

Y.DESWARTE, C.AGUILAR-MELCHOR, V.NICOMETTE, M.ROY

TSF

Revue Scientifique : Revue de l'Electricité et de l'Electronique, N°9, pp.65-74, Octobre 2006 , N° 06150

Diffusable

108102
06132
01/02/2006

ASSERT. Automated proof based system and software engineering for real-time applications

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, J.FAVARO, M.KAANICHE, K.KANOUN, S.PURI, T.ROBERT, M.ROY, A.E.RUGINA, N.SALATGE, H.WAESELYNCK

TSF, INTECS

Rapport de Contrat : Projet IST ASSERT N°004033, Février 2006, 140p. , N° 06132

Non diffusable

106103
05683
12/12/2005

Towards a theory of self-organization

E.ANCEAUME, X.DEFAGO, M.GRADINARIU, M.ROY

JAIST, TSF, IRISA

Manifestation avec acte : 9th International Conference on Principles of Distributed Systems (OPODIS'2005), Pise (Italie), 12-14 Décembre 2005, 15p. , N° 05683

Diffusable

105455
05679
12/12/2005

A note on a simple equivalence between round-based synchronous and asynchronous models

M.ROY, M.RAYNAL

TSF, IRISA

Manifestation avec acte : 11th International Symposium on Pacific Rim Dependable Computing (PRDC'2005), Changsha (Chine), 12-14 Décembre 2005, pp.387-390 , N° 05679

Diffusable

105447
05684
25/09/2005

Brief announcement: towards a theory of self-organization

E.ANCEAUME, X.DEFAGO, M.GRADINARIU, M.ROY

IRISA, JAIST, TSF

Manifestation avec acte : 19th International Symposium on Distributed Computing (DISC'2005), Cracovie (Pologne), 25-29 Septembre 2005 (Résumé) , N° 05684

Diffusable

105457
05685
05/09/2005

Allowing atomic objects to coexist with sequentially consistent objects

M.RAYNAL, M.ROY

IRISA, TSF

Manifestation avec acte : 8th International Conference on Parallel Computing Technologies (PaCT 2005), Krasnoyarsk (Russie), 5-9 Septembre 2005 , N° 05685

Diffusable

105459
05424
01/09/2005

Dependability needs and preliminary solutions concerning evaluation, testing and wrapping

J.ARLAT, M.R.BARONE, Y.CROUZET, J.C.FABRE, M.KAANICHE, K.KANOUN, S.MAZZINI, M.R.NAZZARELLI, D.POWELL, M.ROY, A.E.RUGINA, H.WAESELYNCK

INTECS, TSF

Rapport de Contrat : ASSERT Project IST-004033, Septembre 2005, 80p. , N° 05424

Diffusion restreinte

104294
05103
31/05/2005

Sauvegarde coopérative entre pairs pour dispositifs mobiles

L.COURTES, M.O.KILLIJIAN, D.POWELL, M.ROY

TSF

Manifestations avec acte à diffusion limitée : 2èmes Journées Francophones "Mobilité et Ubiquité 2005" (UBIMOB'05), Grenoble (France), 31 Mai - 3 Juin 2005, pp.97-104 , N° 05103

Diffusable

Plus d'informations

Résumé

Nous présentons les fonctionnalités dun service de sauvegarde coopérative pour dispositifs mobiles. Ce service repose sur la collaboration entre dispositifs pour assurer la sauvegarde et le recouvrement des données de chaque dispositif. Nous identifions les propriétés de sûreté de fonctionnement que lon est en mesure dattendre dun tel service. Nous analysons les systèmes de sauvegarde coopérative pair-à-pair décrits dans la littérature afin didentifier déventuelles fonctionnalités transposables à lenvironnement mobile. Enfin, nous concluons sur les spécificités de cet environnement et identifions les axes de recherche à explorer.

Mots-Clés / Keywords
Sauvegarde; Dispositifs mobiles; Coopération; Pair-à-pair;

104016
05167
28/03/2005

A simple protocol offering both atomic consistent read operations and sequentially consistent read operations

M.RAYNAL, M.ROY, C.TUTU

IRISA, TSF, John Hopkins

Manifestation avec acte : 19th International Conference on Advanced Information Networking and Applications (AINA'2005), Tamkang (Taiwan), 28-30 Mars 2005, 6p. , N° 05167

Diffusable

103499
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/