Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications de l'année 2005

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37



Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024


Revues internationales à comité de lecture


[Siva-Dran-Micha05]
S. Anantharaman, P. Narendran et M. Rusinowitch, Closure properties and decision problems of dag automata, Information Processing Letters, Vol.94, pp.231-240, 2005 Bibtex entry
[LOU2005:SCPE]
F. Loulergue, Special Issue on Practical Aspects of High-Level Parallel Programming, Scalable Computing: Practice and Experience, Vol.6, No.4, December, 2005, Note: Selected extended and revised papers from the First International Workshop on Practical Aspects of High-Level Parallel Programming (PAPP 2004) Bibtex entry


Revues nationales à comité de lecture


[AbouElKalam05]
A. Abou El Kalam, P. Balbiani, S.Benferhat, F. Cuppens, Y. Deswarte, R.Elbaida, C. Saurel et G. Trouessin, Modèles et politiques de sécurité des systèmes d'information et de communication en santé et social, Informatique et Systémique, Lavoisier-Hermes, Vol.7, 2005 Bibtex entry


Conférences internationales avec actes et comité de lecture (27)


[Clemente2005KIMAS]
P. Clemente et F. Panaget, Modality Allocation Within a Formal Theory of Rational Agency: the Relevance of Modality to the Information and the User, in KIMAS, Waltham, Massachusetts, USA, Proceedings of the International Conference Integration of Knowledge Intensive Multi-Agent Systems, April 18-21, 2005 Bibtex entry
[Salleb2005ISMIS]
Ansaf Salleb et Christel Vrain, Estimation of Datasets Density Relying on Decision Diagrams, in To appear as a full paper in the proceedings of 15th International Symposium on Methodologies for Intelligent Systems ISMIS, Mohand-Saïd Hacid, Zbigniew W. Ras et Shusaku Tsumoto ed., Springer's Lecture Notes in Artificial Intelligence (LNAI), 2005 Bibtex entry
[Gouranton-Madougou-Melin-Nortet05]
V. Gouranton, S. Madougou, E. Melin et C. Nortet, Interactive Rendering of Massive Terrains Using PC Cluster., EuroVis 2005: Eurographics/IEEE-VGTC Symposium on Visualization, To appear, June, 2005 Bibtex entry
[Gadaud2005CS]
Fabrice Gadaud, Mathieu Blanc et Frédéric Combeau, An adaptive instrumented node for efficient anomalies and misuse detections in HPC environment, in Proceedings of 5th IEEE/ACM Symposium on Cluster Computing and the Grid (CCGrid'05), Workshop on Cluster Security, IEEE Computer Society, May, 2005 Bibtex entry
[AbouElKAlamIEEE_CTS05-1]
A. Abou El Kalam, Y.Deswarte, G.Trouessin et E.Cordonnier, Security and Privacy in collaborative environments, in The IEEE International Symposium on Collaborative Technologies and Systems (CTS'05). Missouri, USA, pp.56-62, 15-19 May, 2005 Bibtex entry
[AbouElKAlamIEEE_CTS05-2]
A. Abou El Kalam, J. Briffaut et C. Toinard, Distributed policy and multilevel intrusion detection: a new approach to secure large-scale networks, in The IEEE International Symposium on Collaborative Technologies and Systems (CTS'05). Missouri, USA, pp.100-106, 15-19 May, 2005 Bibtex entry
[AbouElKAlamSAR05]
A. Abou El Kalam, J. Briffaut, C. Toinard et M. Blanc, MIDS: Multi level Intrusion Detection System, in The 4th Conference on Security and Network Architectures. Batz sur Mer, France, June 06-10, 2005, 2005 Bibtex entry
[AbouElKAlamIEEEACSAC05]
A. Abou El Kalam et Y.Deswarte, Privacy Requirements Implemented with a JavaCard, in The IEEE Annual Computer Security Applications Conference (ACSAC'05). Missouri, Marriott University Park, Tucson, Arizona, Etats-Unis., 5-9 décembre, 2005 Bibtex entry
[Siva-Chen-Hains05]
S. Anantharaman, J. Chen et G. Hains, A Synchronous Process Calculus for Service Costs, in SEFM'05, The 3rd IEEE Int. Conference on Software Engineering and Formal Methods, pp.435-444, September, 2005 Bibtex entry
[Bam05_a]
M. Bamha, An optimal and skew-insensitive join and multi-join algorithm for ditributed architectures, in Proceedings of the International Conference on Database and Expert Systems Applications (DEXA'2005). 22-26 August, Copenhagen, Danemark, Vol.3588, Lecture Notes in Computer Science, pp.616-625, Springer-Verlag, 2005 Bibtex entry
[PL05]
S. Limet et P. Pillot, Solving First Order Formulae of Pseudo-Regular Theory, in proc. of the 2nd International Colloquium of Theoretical Aspects of Computing (ICTAC05), Vol.3722, LNCS, Springer Verlag, 2005, Note: to appear Bibtex entry
[Lallouet:LNAI2005]
Arnaud Lallouet, A Note on Bilattices and Open Constraint Programming, in CSCLP'04: Recent Advances in Constraints, Boi Faltings, François Fages, Francesca Rossi et Adrian Petcu ed., LNAI 3419, pp.12-25, Springer, 2005 Bibtex entry
[LegtchenkoL:CP2005]
Andreï Legtchenko et Arnaud Lallouet, Consistency for Partially Defined Constraints, in Principles and Practice of Constraint Programming - CP 2005, Peter van Beek ed., Vol.3709, LNCS, pp.854, Sitges, Spain, Springer, 2005 Bibtex entry
[LallouetL:ICTAI2005]
Arnaud Lallouet et Andreï Legtchenko, Consistency for Partially Defined Constraints, in International Conference on Tools with Artificial Intelligence, Andrew Lim ed., IEEE, 2005, Note: to appear Bibtex entry
[LallouetL:ECML2005]
Arnaud Lallouet et Andreï Legtchenko, Two Contributions of Constraint Programming to Machine Learning, in European Conference on Machine Learning, Rui Camacho et Joao Gama ed., LNCS, Porto, Springer, 2005 Bibtex entry
[FoMaTo05]
F. Fomin, F. Mazoit et I. Todinca, Computing Branchwidth via Efficient Triangulations and Blocks, in Proceedings of Graph-theoretic Concepts in Computer Science (WG 2005), Vol.3787, Lecture Notes in Computer Science, pp.374-384, Springer-Verlag, 2005 Bibtex entry
[HeSuToVi05]
P. Heggernes, K. Suchan, I. Todinca et Y. Villanger, Minimal Interval Completions, in Proceedings of the 13th European Symposium on Algorithms (ESA 2005), Vol.3669, Lecture Notes in Computer Science, pp.403-414, Springer-Verlag, 2005 Bibtex entry
[FoThTo05]
F. Fomin, D. Thilikos et I. Todinca, Connected Graph Searching in Outerplanar Graphs, Electronic Notes in Discrete Mathematics, Vol.22, pp.213-216, 2005, Note: 7th International Colloquium on Graph Theory. Short communication Bibtex entry
[durand.lose05:cie05]
Jérôme Durand-Lose, Abstract Geometrical Computation: Turing-Computing Ability and Undecidability, in New Computational Paradigms, 1st Conference on Computability in Europe (CiE'04), Cooper, Barry S., Lwe, Benedikt, Torenvliet et Leen ed., No.3526, LNCS, pp.106-116, Springer-Verlag, 2005 Bibtex entry
[durand.lose05:mcu04]
Jérôme Durand-Lose, Abstract geometrical computation for Black hole computation (extended abstract), in Universal Machines and Computations (MCU'04), M. Margenstern ed., No.3354, LNCS, pp.175-186, SPRINGER, 2005 Bibtex entry
[FerLesTes-exact-05]
Gérard Ferrand, Willy Lesaint et Alexandre Tessier, Explanations and Proof Trees, in International Symposium on Explanation-Aware Computing, ExaCt 2005, Thomas R. Roth-Berghofer, Stefan Schultz et Andrea Woody ed., pp.76-85, AAAI Press, 2005 Bibtex entry
[Gadaud_2005]
Fabrice Gadaud, NIDS architecture for clusters, in The IEEE International Symposium of Collaborative Technologies and System, Saint-Louis, Missouri, October, 2005 Bibtex entry
[EPIA_2005]
S. Silva, P.-A. Fayolle, J. Vincent, G. Pauron, C. Rosenberger et C. Toinard, Genetic Algorithms For Shape Modelling and Fitting, in Artificial Life and Evolutionary Algorithm, EPIA, 2005 Bibtex entry
[ABOUELKALAM:2005:CCSD-00083320:1]
Abou El Kalam Anas, Briffaut Jérémy, Toinard Christian et Blanc Mathieu, Intrusion Detection and Security Policy Framework for Distributed Environments , in The 2005 International Symposium on Collaborative Technologies and Systems , William McQuay et Waleed W. Smari ed., IEEE Computer Society , 2005 Bibtex entry
[BLANC:2005:CCSD-00083435:1]
Blanc Mathieu, Courtieu Pierre et Hains Gaétan, Mandatory Access Control On Distributed Systems: A Metapolicy Framework , in The First Colloquium on Risk and Security of the Internet and Systems (CRiSIS 2005) , Ecole Nationale Supérieure d'Ingénieurs de Bourges , 2005 Bibtex entry
[BRIFFAUT:2005:CCSD-00083333:1]
Briffaut Jérémy, Meta-Policy Oriented Intrusion Detection , in The Colloquium on Risk and Security of the Internet and Systems, France Bourges , Ecole Nationale Supérieure d'Ingénieurs de Bourges , 2005 Bibtex entry
[GADELRAB:2005:CCSD-00083393:1]
Gad El Rab Mohammed, Evaluating Intrusion Detection Systems: Synthesis and Perspectives , in 1er Colloque sur les Risques et la Sécurité d'Internet et des Systèmes , France Bourges , ENSI de Bourges et LIFO , 2005 Bibtex entry


Workshops internationaux avec actes et comité de lecture (5)


[RetyUNIF2005]
P. Réty, J. Chabin et J. Chen, R-Unification thanks to Synchronized-ContextFree Tree languages, in International Workshop on Unification (UNIF), April, 2005 Bibtex entry
[iccs05]
M. Bamha et G. Hains, An Efficient Equi-semi-join Algorithm for Distributed Architectures, in the International Conference on Computational Science (ICCS'2005). 22-25 May, Atlanta, USA, Vol.3515, Lecture Notes in Computer Science, pp.755-763, Springer-Verlag, 2005 Bibtex entry
[Siva-Dran-Rusi05b]
S. Anantharaman, P. Narendran et M. Rusinowitch, Tree vs Dag Automata, in UNIF'05, The 19th Int. Workshop on Unification, pp.93-104, April 2005 Bibtex entry
[BrentotLM:COSOLV2005]
Angélique Brentot, Arnaud Lallouet et Eric Monfroy, Towards Fusion of Rule-based Solvers, in Cooperative Solvers in Constraint Programming, Laurent Granvilliers, Eric Monfroy et Frédéric Saubion ed., pp.1-15, Sitges, Spain, 2005 Bibtex entry
[LallouetL:CAD2005]
Arnaud Lallouet et Andreï Legtchenko, Acquiring an Incomplete Specification as a Partially Defined Constraint, in Workshop on Constraints and Design, Laurent Granvilliers et Barry O'Sullivan ed., pp.1-16, Sitges, Spain, 2005 Bibtex entry


Conférences/workshops nationaux avec actes (7)


[Nortet2005EGC]
Cyril Nortet, Ansaf Salleb, Teddy Turmeaux et Christel Vrain, Extraction de Règles d'Association Quantitatives - Application à des Données Médicales, in A paraître 5èmes journées dÉxtraction et de Gestion de Connaissances EGC'2005, Nicole Vincent et Suzanne Pinson ed., Cépaduès éditions, 2005 Bibtex entry
[Nortet2005DKQ]
Cyril Nortet, Ansaf Salleb, Teddy Turmeaux et Christel Vrain, Le rôle de l'utilisateur dans un processus d' extraction de règles d'association, in A paraître au DKQ 2005 atelier (associé aux 5èmes journées d' Extraction et de Gestion de Connaissances EGC'2005), 2005 Bibtex entry
[AbouJFPC2005]
A. Abou El Kalam et M. Ouabiba, Une nouvelle approche pour la détection et la résolution de conflits de sécurité dans les systèmes multi-organisationnels, in Premières Journées Francophones de Programmation par Contraintes (JFPC’05), June, 2005 Bibtex entry
[AbouCapteurs05]
A. Abou El Kalam et V. Arguenon, Protection de la vie privée et chaînage de données médicales, in (Capteur 2005), 19-20 octobre, 2005 Bibtex entry
[LegtchenkoL:CAP2005]
Andreï Legtchenko et Arnaud Lallouet, Acquisition de Contraintes Ouvertes par Apprentissage de Solveurs, in Conférence d'Apprentissage, François Denis ed., pp.185-200, Nice, AFIA, Presses Universitaires de Grenoble, 2005 Bibtex entry
[LegtchenkoL:JFPC2005]
Andreï Legtchenko et Arnaud Lallouet, Acquisition de Contraintes Ouvertes et Construction de Solveurs, in Journées Francophones de Programmation par Contraintes, Christine Solnon ed., pp.119-128, Lens, 2005 Bibtex entry
[BLANC:2005:CCSD-00083402:1]
Blanc Mathieu, Clemente Patrice, Courtieu Pierre, Franche Stéphane, Oudot Laurent, Toinard Christian et Vessiller Lionel, Amélioration de la sécurité des grands réseaux par une infrastructure de méta-politique , in Actes du 11ème Colloque Francophone sur l'Ingénierie des Protocoles (CFIP'2005) , Richard Castanet ed., Lavoisier , 2005 Bibtex entry



22/6/2010. Généré par biblifo, un programme Objective Caml.