Faculte d'informatique

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

Résultats de recherche

  • 2000

    Database Engineering Processes with DB-MAIN

    Roland, D., Hainaut, J-L., Hick, J-M., Henrard, J. & Englebert, V., 2000, Proc. of the 8th European Conference on Information Systems (ECIS2000).

    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

  • From Micro-Analytical Method to Mass Processing - The Economic Challenge

    Henrard, J., Hainaut, J-L., Hick, J-M., Roland, D. & Englebert, V., 2000, Proc. of Data Reverse Engineering Workshop 2000 (DRE'2000).

    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
    47 Téléchargements (Pure)

  • Proving feature non-interaction with Alternating-Time Temporal Logic

    Cassez, F., Ryan, M. & Schobbens, P-Y., 2000, Language Constructs for Describing Features: Proceedings of the FIREworks workshop. Gilmore, S. & Ryan, M. D. (eds.). London: Springer, p. 85-103 19 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

  • Software Process Improvement for Small Structures: First Results of a Micro-Assessment Framework,

    Habra, N., Niyitugabira, E. M., Lamblin, A-C. L. & Renault, A., 2000, Proceedings of the European Conference on Software Process Improvement SPI'99, Barcelona,.

    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

  • Software Process Improvement in Small Organizations Using Gradual Evaluation Schema

    Habra, N., Niyitugabira, E. M., Lamblin, A-C. L. & Renault, A., 2000, Proceedings of the International Conference on Product Focused Software Process Improvement, VTT, Oulu,.

    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

  • Some Hints for a Clarification of CEN ENV 12204

    Ferier, L., Heymans, P. & Petit, M., 2000, (Non publié) Proc. of the Workshop on Evolution in Enterprise Engineering and Integration (EEEI'00): Berlin, Germany, May 24-26, 2000.

    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 Nature of Data Reverse Engineering

    Hainaut, J-L., Henrard, J., Hick, J-M., Roland, D. & Englebert, V., 2000, Proc. of Data Reverse Engineering Workshop 2000 (DRE'2000).

    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
    113 Téléchargements (Pure)
  • 2001

    Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 déc. 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Nieuwsenhuis, R. & Voronkov, A. (eds.). Springer, p. 707-722 (Lecture Notes in Artificial Intelligence; Numéro 2250).

    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

  • Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 déc. 2001, Fifth international workshop on termination, WST'01. p. 707-722

    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

  • CASE Tool Support for Temporal Database Design

    Detienne, V. & Hainaut, J-L., 2001, Proc of the 20th Int. Conf. on Conceptual modeling - ER 2001: 20th international conference on conceptual modeling (ER 2001). Hideko, S., Sushil, K. & Arne, J. (eds.). Berlin: Springer, Vol 2224. p. 208-224 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

    File
    69 Téléchargements (Pure)

  • Data Dependency Elicitation in Database Reverse Engineering

    Henrard, J. & Hainaut, J-L., 2001, (Non publié) Proc. of the 5th European Conference on Software Maintenance and Reengineering (CSMR 2001). Sousa, P. & Ebert, J. (eds.). p. 11-19 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
    59 Téléchargements (Pure)

  • Evolving Hybrid Distributed Databases: Architecture and Methodology

    Thiran, P. & Hainaut, J-L., 2001, Proccedings of EFIS'2001: 4th International Workshop of Engineering Federated Information Systems. Kutsche, R. D., Conrad, S. & Hasselbring, W. (eds.). Berlin: Infix - IOS, p. 47-60 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

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

  • Interoperability of Legacy Databases. A Combined Top-Down and Bottom-Up Approach: Purpose, topic and state of the thesis

    Thiran, P. & Hainaut, J-L. (Ed.), 2001, (Non publié) Proceedings of the 8th Doctoral Consortium at the CAiSE*01. Berlin: Intitute of Computer Science, Freie Universität Berlin , Vol B 01-04.

    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 impact of different services on the outage probability in UMTS

    Mathar, R. & Remiche, M-A., oct. 2001, IEEE Vehicular Technology Conference. 54ND Ed. Vol 2. p. 934-937 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

  • Wrapper Development for Legacy Data Reuse

    Thiran, P. & Hainaut, J-L., 2001, Proceedings of WCRE'01: 8th Working Conference on Reverse Engineering. Burd, E., Aiken, P. & Koschke, R. (eds.). Los Alamitos, California, USA: IEEE Computer Society Press, p. 198-207 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
    32 Téléchargements (Pure)
  • 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

  • Collecting potential optimisations

    Mazur, N., Janssens, G. & Vanhoof, W., 2002, Logic Based Program Synthesis and Transformation. Vol 2664. p. 109-110 2 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

  • Constructing Federated Enterprise Schemas with Conceptualized Legacy Data Systems

    van den Heuvel, W-J. & Thiran, P., 2002, (Non publié) Proceedings of WITS'02. Basu, A. & Dutta, S. (eds.). p. 67-72 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

  • Realizing KAOS agents

    Schobbens, P-Y., 2002, Proc. Symposium on Logic in Games and Multiagent Systems. Marc Pauly

    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

  • Reuse of results in termination analysis of typed logic programs

    Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 2002, Static Analysis, 9th International Symposium. Vol 2477. p. 477-492 16 p. (Static Analysis, 9th International Symposium ).

    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

  • Rigorous engineering of software architectures: Integrating ADLs, UML and development methodologies

    Guelfi, N. & Perrouin, G., 2002, Software Engineering and Applications. ACTA Press

    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

  • Strategies for Data Reengineering

    Henrard, J., Hick, J-M., Thiran, P. & Hainaut, J-L., 2002, (Non publié) Proceedings of the 9th Working Conference on Reverse Engineering (WCRE'02). IEEE Computer Society Press, p. 211-220 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

    File
    396 Téléchargements (Pure)

  • The Synchronization of Independent and Specific Models

    Englebert, V., 2002, Workshop in Software Model Engineering.

    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

  • Turning High-Level Live Sequence Charts into Automata

    Bontemps, Y. & Heymans, P., 2002, Proceedings of the First International Workshop on Scenarios and State Machines (SCESM), (ICSE'02 workshop). Systa, T. & Zundorf, 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

  • When size does matter - Termination analysis for typed logic programs.

    Vanhoof, W. & Bruynooghe, M., 2002, Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001. Vol 2372. p. 129-147 19 p. (.Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001).

    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
    202 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
    34 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

  • 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
    55 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)