Faculte d'informatique

Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2005

    Reusable Navigation Templates to Support Navigation Design in Hera

    Barna, P., Houben, G-J., Aerts, A., Frasincar, F. & Thiran, P., 2005, Proceedings of the Fifth International Workshop on Web Oriented Software Technologies: CAiSE Workshop.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Searhing semantically equivalent code fragments in logic programs

    Vanhoof, W., 2005, Logic Based Program Synthesis and Transformation. Vol 3573. p. 1-18 18 p. (Logic Based Program Synthesis and Transformation ).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event: A Practical Solution Incorporating Constraint Programming and Heuristics

    Ortiz Vega, J. J., Aranda, J. & Diaz, J. F., 2005, Multiparadigm Programming in Mozart/OZ. Charleroi, Belgium: Springer, Vol 3389. p. 305-316 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    31 Téléchargements (Pure)

  • Uniform Variability Management at the Model Level

    Trigaux, J-C. & Heymans, P., 2005, Proceedings of 1st European Workshop on Model Transformation (EWMT'05) held in conjunction with the 9th International Software Product Line Conference (SPLC'05). Deveaux, D. & Borne, I. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • What can organizational analys give to requirement analys ? Developing an information system in Hospital Emergency Departments

    De Vos, A., Lobet-Maris, C. & Rousseau, A., 1 déc. 2005, ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems. p. 390-393 4 p. (ICEIS 2005 - Proceedings of the 7th International Conference on Enterprise Information Systems).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    14 Téléchargements (Pure)

  • Wrapping and Integrating of Heterogeneous Relational Data with OWL

    Swanmannee, S., Benslimane, D., Champin, P-A. & Thiran, P., 2005, (Non publié) Proceedings of International Conference on Enterprise Information Systems: ICEIS.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 2004

    A Digital Licensing Model for the Exchange of Learning Objects in a Federated Environment

    Colin, J-N. & Simon, J., 2004, Proceedings of the IEEE International Workshop on Electronic Contracting.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • An Algebraic Method for Compressing Very Large Symbolic Data Tables

    Tzitzikas, Y., 2004, Proceedings of the Workshop on Symbolic and Spatial Data Analysis (SSDA) of ECML/PKDD 2004.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    56 Téléchargements (Pure)

  • A Structured Analysis of the McCabe Cyclomatic Complexity Measure

    Lopez Martin, M-A., Habra, N. & Abran, A., 2004, in 14th International Workshop on Software Measurement (IWSM2004) Berlin, Germany, Shaker Verlag, 2004 . Abran, A., Bundschuh, M., Büren, G. & Dumke, R. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Attribute-Based Refinement of Software Architectures

    Vermaut, F., 2004, Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA4).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • A Unified Enterprise Modelling Language for Enhanced Interoperability of Enterprise Models

    Panetto, H., Berio, G., Benali, K., Boudjlida, N. & Petit, M., 2004, Proc. of 11th IFAC Symposium on Information Control Problems in Manufacturing (INCOM2004), APRIL, 5-7, 2004, BRASIL: Special Session on Interoperability of Enterprise Systems at the shop-floor level, Track Production & Logistics over Manufacturing Networking.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Balancing between emergence and control in knowledge creation: A modelling approach rhough Lotka-Volterra system

    Castiaux, A., 2004, Proceeedings of the 5th European Conference on Knowledge Management, Paris, France.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Collaborative Development of Open Source E-Learning Platforms

    Feltus, C. & Sillaume, G., 2004, Book of Abstract, Online Educa Berlin 2004, Berlin, Germany..

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    78 Téléchargements (Pure)

  • Collaborative management for ICT process improvement in SME: experience report

    Di Renzo, B., Feltus, C. & Prime, S., 2004, Proceedings of European Software Process Improvement (EUROSPI'2004), Trondheim, Norway.. Trondheim, Norway: Torgeir Dingsøyr

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    75 Téléchargements (Pure)

  • El Problema de la Asignación de Evaluadores para los Artículos Presentados a un Evento Académico: Modelamiento e Implementación de dos Solución Usando Programación por Restricciones.

    Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, Conferencia Latinoamericana en Informática. Lima, Perù, p. 684-695 17 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    124 Téléchargements (Pure)

  • Exporting Databases in XML: A Conceptual and Generic Approach

    Thiran, P., Estiévenart, F., Hainaut, J-L. & Houben, G-J., 2004, Proc. of the Workshop on Web Information System and Modelling (WISM'04): CAiSE'04 Workshops in connection with The 16th Conference on Advanced Information Systems Engineering. Faculty of Computer Science and Information Technology, p. 33-48 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    27 Téléchargements (Pure)

  • FASTAXON: A system for FAST (and Faceted) TAXONomy design

    Tzitzikas, Y., Launonen, R., Hakkarainen, M., Kohonen, P., Leppanen, T., Simpanen, E., Tornroos, H., Uusitalo, P. & Vanska, P., 2004, Proc. of the 23th Int. Conf. on Conceptual Modeling, ER'04. Springer Verlag, Vol 3288. p. 841-843 3 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • FireWorks: A Formal Transformation-Based Model-Driven Approach to Features in Product Lines

    Ryan, M. & Schobbens, P-Y., 2004, Proc. of Workshop on Software Variability Management for Product Derivation (Towards Tool Support). Tomi, M. & Jan, B. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Inverse Wrappers for Legacy Information Systems Migration

    Henrard, J., Cleve, A. & Hainaut, J-L., 2004, Proceedings of the First International Workshop on Wrapping Techniques for Legacy Systems (WRAP @ WCRE 2004). Thiran, P., van, W. J. & Heuvel, D. (eds.). Technische Universiteit Eindhoven, Vol 04-34. p. 30-43 14 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Mining the Meaningful Compound Terms from Materialized Faceted Taxonomies

    Tzitzikas, Y. & Analti, A., 2004, Proceedings of the third International Conference on Ontologies, Databases and Applications of Semantics for Large Scale Information Systems, ODBASE'2004. Vol 3291.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    20 Téléchargements (Pure)

  • Model-checking access control policies

    Guelev, D., Ryan, M. & Schobbens, P-Y., 2004, Information Security: ISC 2004. Zhang, K. & Zheng, Y. (eds.). Berlin: Springer, p. 219-230 12 p. (Lecture Notes in Computer Science; Vol 3225).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • NOEMI, a collaborative management for ICT process improvement in SME: experience report

    Di Renzo, B., Feltus, C. & Prime, S., 2004, Proceedings of European Software Process Improvement (EUROSPI'2004), Trondheim, Norway.. Trondheim, Norway: Torgeir Dingsøyr

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    63 Téléchargements (Pure)

  • OpenSST based Clearing Mechanism for e-Business

    Feltus, C., Khadraoui, D. & Costa Pinto, F., 2004, Proceeding of 3rd international conference on information and communication technologies : from theory to application (ICTTA 04), Damascus, Syria. Damascus, Syria: IEEE, p. 89-90 2 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    63 Téléchargements (Pure)

  • Perspectives on the Scope and Definition Process of the Unified Enterprise Modelling Language

    Petit, M. & Heymans, P., 2004, Proceedings of EMOI-InterOP'04 workshop (held during CAiSE'04, Riga, June 2004). Grundspenkis, J., Kirikova, M. & Missikoff, M. (eds.). Vol 3. p. 274-279 6 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Preface of the Proceedings of WRAP 2004

    Thiran, P. & Van den Heuvel, W-J., 2004, Proceedings of the First International Workshop on Wrapper Techniques for Legacy Systems: WRAP 2004. Thiran, P., van, W. L. & Heuvel, D. (eds.). Eindhoven: Technische Universiteit Eindhoven, Vol 04/34. p. 1-1 1 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    62 Téléchargements (Pure)

  • Quels Enjeux Educatifs pour quelles Métaphores ? Proposition de Typologies de la Métaphore dans l'Hypermédia.

    Collard, A-S., 2004, Actes du colloque « Technologies de l'Information et de la Connaissance dans l'Enseignement Supérieur et l'Industrie » (TICE 2004). p. 45-51 7 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    21 Téléchargements (Pure)

  • Querying Articulated Sources

    Tzitzikas, Y. & Meghini, C., 2004, Proceedings of the third International Conference on Ontologies, Databases and Applications of Semantics for Large Scale Information Systems, ODBASE'2004. Vol 3291. p. 945-962 18 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    18 Téléchargements (Pure)

  • Semantics of FODA Feature Diagrams

    Bontemps, Y., Schobbens, P-Y., Heymans, P. & Trigaux, J-C., 2004, Proceedings of Workshop on Software Variability Management for Product Derivation Towards Tool Support held in conjunction with the 8th international Conference on Software Product Line Conference (SPLC'04): HUT-SoberIT-C6. Mannisto, T. & Bosch, J. (eds.). Helsinki, Finland: T. Mannisto and J. Bosch, p. 48-58 11 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Solution standard de compensation appliqué à une architecture e-Business sécurisée

    Feltus, C., Khadraoui, D. & Dulaunoy, A., 2004, Proceedings of NOTERE 2004, Les Nouvelles TEchnnologies de la Répartition, Saida, Maroc..

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    100 Téléchargements (Pure)

  • UEML: Résultats et Enjeux d'un Langage Unifié de Modélisation d'Entreprise: Papier invité

    Berio, G., Panetto, H. & Petit, M., 2004, Actes de la 5e Conférence Francophone de MOdélisation et SIMulation - Modélisation et simulation pour l'analyse et l'optimisation des systèmes industriels et logistiques (MOSIM'04), 1-3 septembre 2004, Nantes (France).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Updating Legacy Databases through Wrappers: Data Consistency Management

    Thiran, P., Houben, G-J., Hainaut, J-L. & Benslimane, D., 2004, Proc. of the 11th Working Conference on Reverse Engineering. IEEE CS Press, p. 58-67 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    106 Téléchargements (Pure)

  • Using model transformation and architectural frameworks to support the software development process: The FIDJI approach

    Guelfi, N. & Perrouin, G., 2004, Midwest Software Engineering Conference (MSEC'04). p. 13-22 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 2003

    Applying LSCs to the Specification of an Air Traffic Control System

    Bontemps, Y., Heymans, P. & Kugler, H., 2003, Proc. of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'03). Uchitel, S. & Bordeleau, F. (eds.). Portland, Oregon, USA: IEEE

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • A Tool-Supported Method to Extract Data and Schema from Web Sites

    Estiévenart, F., François, A., Henrard, J. & Hainaut, J-L., 2003, Proc. of the 5th International Workshop on Web Site Evolution. Amsterdam: IEEE CS Press, p. 3-11 9 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    85 Téléchargements (Pure)

  • BIOGRID: A generic framework of federated brokers applied to life sceinces services

    Colet, M., Englebert, V. & Valverde, J. R., 2003, HealthGrid'03.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    204 Téléchargements (Pure)

  • Développement et expérimentation d'un modèle de gestion collaborative des pratiques informatiques à l'usage des petites et moyennes entreprises

    Di Renzo, B. & Feltus, C., 2003, Actes du 8ième Colloque de l'Association Information et Management (AIM 2003), Grenoble, France..

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    129 Téléchargements (Pure)

  • Feature Integration as Substitution

    Guelev, D., Ryan, M. & Schobbens, P-Y., 2003, Proc. Feature Integration Workshop. Amyot, D. & Logrippo, L. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Mélange de distributions de distributions: Décomposition de mélange avec la copule de Clayton

    Cuvelier, E. & Fraiture, M. N., 2003, XXXV èmes Journées de Statistiques. Lyon: Société Française de Statistique, p. 377-380 4 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • On Methodologies for Coordinating Programs

    Linden, I. & Jacquet, J-M., 2003, Proceedings of the international conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), Las Vegas, Nevada, USA, 23-26 June 2003. CSREA Press, p. 115-121 7 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Process assessment for use in very small enterprises: the NOEMI assessment methodology

    Di Renzo, B. & Feltus, C., 2003, Proceedings of European Software Process Improvement Conference (EuroSPI'2003), Graz, Austria. der, V. & Universität, T. (eds.). Graz, Austria: Richard Messnarz

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    42 Téléchargements (Pure)

  • Strategy for Database Application Evolution: The DB-MAIN Approach

    Hick, J-M. & Hainaut, J-L., 2003, Proc. of the 22nd Int. Conf. on Conceptual modeling (ER'03): 22nd International Conference on Conceptual Modeling. Song, I. Y., Stephen, W., Tok, L., Ling, W. & Scheuermann, P. (eds.). Berlin: Springer, p. 291-306 16 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    File
    35 Téléchargements (Pure)

  • Supporting model-to-model transformations: The vmt approach

    Sendall, S., Perrouin, G., Guelfi, N. & Biberstein, O., 2003, Model Driven Architecture Foundations and Applications. Vol CTIT Technical Report TR-CTIT-03-27. p. 61-72 12 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Symbolic Synthesis for ATL*

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, Proc. Symposium on Logic in Games and Multiagent Systems: Liverpool, July 2002. Pauly, M. (Ed.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Synthèse de stratégies sans déterminisation

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, (Non publié) Actes de la Conférence sur les Modèles Formels de l'Interaction. Chaib-Draa, B. & Herzig, A. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Synthesis of Open Reactive Systems from scenario-based specification

    Bontemps, Y. & Schobbens, P-Y., 2003, (Non publié) Proc. Third International Conference on Application of Concurrency to System Design. Lilius, J. & Balarin, F. (eds.).

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Synthesis of open reactive systems from scenario-based specifications

    Bontemps, Y. & Schobbens, P. Y., 1 janv. 2003, Proceedings - 3rd International Conference on Application of Concurrency to System Design, ACSD 2003. Institute of Electrical and Electronics Engineers Inc., Vol 2003-January. p. 41-50 10 p. 1207698

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • The WTO and the protection of personal data. Do EU measures fall within GATS exception? Which future data protection within the WTO e-commerce context?

    Pérez Asinari, M. V., avr. 2003, 18th BILETA Confernce: Controlling INformation in the Online Environment : April, 2003, QMW, London. BILETA, p. 1-9

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

    Accès ouvert
    File
    15 Téléchargements (Pure)

  • Towards symbolic strategy synthesis for A-LTL

    Harding, A., Ryan, M. & Schobbens, P-Y., 2003, 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003),. p. 137-146 10 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • 2002

    Agents and Roles: Refinement in Alternating-Time Temporal Logic

    Ryan, M. & Schobbens, P-Y., 2002, Proceedings of Agents: Theories, Achitectures and Languages (ATAL). Meyer, J. J. (Ed.). Vol 2333. p. 100-114 15 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

  • Approximating ATL* in ATL

    Harding, A., Ryan, M. & Schobbens, P-Y., 2002, Proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI02, Venice. Cortesi, T. (Ed.). Vol 2294. p. 289-301 13 p.

    Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque