Faculte d'informatique

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

Résultats de recherche

  • 1995

    Using threads to implement parallel tasks

    Colin, J-N., Libert, G. & Geib, J-M., 1995, Proceedings of the ParCo95 Conference.

    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

  • 1996

    A Formal Framework for Managing Evolution in Manufacturing Systems

    Petit, M. & Dubois, E., 1996, Proc. of the Agent-Oriented Systems in Manufacturing Workshop (AOSiM'96): Daimler-Benz AG Berlin and Technical University of Berlin, September 16-17, 1996. Albayrak, S. & Bussmann, S. (eds.). Berlin: Daimler-Benz AG and Technical University of Berlin

    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

  • Counterfactuals and updates as inverse modalities

    Rodrigues, O., Ryan, M. & Schobbens, P-Y., 1996, Proceedings of the International Conference on Theoretical Aspects of Rationality and Knowledge (TARK96). Shoham, Y. (Ed.). p. 163-173 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

  • Database Design Recovery

    Hainaut, J-L., Henrard, J., Hick, J-M., Roland, D. & Englebert, V., 1996, Proc. of the 8th Conf. on Advanced Information Systems Engineering (CAISE'96). Springer Verlag, p. 272-300 29 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

  • Database Reverse Engineering - A Case Study

    Hainaut, J-L., Roland, D., Englebert, V., Hick, J-M. & Henrard, J., 1996, Actes du 2ème Forum International d'Informatique Appliquée.

    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

  • Intertranslating counterfactuals and updates

    Ryan, M. & Schobbens, P-Y., 1996, 12th European Conference on Artificial Intelligence (ECAI). Wahlster, W. (Ed.). p. 100-104 5 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

  • Lightweight Distributed Computing: (Invited Speaker)

    Colin, J-N., 1996, Proceedings of the Stratagem'96 Conference, Sophia-Antipolis, France. p. 59-74 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

  • Structure Elicitation in Database Reverse Engineering

    Hainaut, J-L., Henrard, J., Roland, D., Englebert, V. & Hick, J-M., 1996, Proc. of the 3rd Working Conf. on Reverse Engineering. IEEE Computer Society Press, p. 131-140 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

  • Techniques d'analyse de programmes pour la rétro-ingénierie de bases de données

    Henrard, J., Hick, J-M., Roland, D., Englebert, V. & Hainaut, J-L., 1996, INFORSID'96. INFORSID, p. 215-232 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
    747 Téléchargements (Pure)

  • Understanding the implementation of IS-A relations

    Hainaut, J. L., Hick, J. M., Englebert, V., Henrard, J. & Roland, D., 1996, Conceptual Modeling, ER 1996 - 15th International Conference on Conceptual Modeling, Proceedings. Springer Verlag, Vol 1157. p. 42-57 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1157 LNCS).

    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

  • 1997

    An environment for the parallel execution of multigrain clustered tasks

    Colin, J-N., 1997, Proceedings of the Advance in Parallel and Distributed Computing Conference (APDC'97), Shanghai, PR China. p. 320-327 8 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

  • Bottom up information propagation for partial deduction

    Vanhoof, W., 1997, Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications. Leuschel, M. (Ed.). p. 73-82 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

  • Contribution to the Reverse Engineering of OO Applications - Methodology and Case Study

    Hainaut, J-L., Henrard, J., Hick, J-M., Roland, D. & Englebert, V., 1997, Proc. of the IFIP 2.6 Working Conference on Database Semantics. Leysin, CH: Chapman & Hall, p. 131-161 31 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
    88 Téléchargements (Pure)

  • Database Engineering Process Modeling

    Roland, D. & Hainaut, J-L., 1997, Proceedings of the First International Workshop on the Many Factes of Process Engineering. Gammarth, Tunisie: ENSI, Laboratoire PGL, p. 37-49 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

  • Event clock logic : a decidable real-time logic

    Raskin, J-F. & Schobbens, P-Y., 1997, Proc. International Workshop on Real-time and Hybrid Systems: HART'97.

    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

  • Formal semantics of enterprise models: Report of the Working Group 2 on Formal Semantics of Enterprise Model, ICEIMT Workshop 4, Brussels, June 16-18, 1997.

    Goossenaerts, J., Gruninger, M., Nell, J. G., Petit, M. & Vernadat, F., 1997, Enterprise Engineering and Integration: Proc. of ICEIMT'97, International Conference on Enterprise Integration an Modeling Technology. Kosanke, K. & Nell, J. G. (eds.). Springer, p. 135-139 5 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

  • Knowledge Transfer in Database Reverse Engineering - A Supporting Case Study

    Hainaut, J-L., Englebert, V., Hick, J-M., Henrard, J. & Roland, D., 1997, Proc. of the 4th IEEE Working Conference on Reverse Engineering. IEEE Computer Society Press, p. 194-203 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
    72 Téléchargements (Pure)

  • On the Use of a Formal RE Language - The Generalized Railroad Crossing Problem

    Du Bois, P., Dubois, E. & Zeippen, J-M., 1997, Proc. of the Third IEEE International Symposium on Requirements Engineering (RE '97). Annapolis, Maryland (USA), p. 171-183

    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

  • Real-time logics: Fictitious clock as an abstraction of dense time

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Tools and Algorithms for the Construction and Analysis of Systems - 3rd International Workshop, TACAS 1997, Proceedings. Springer Verlag, p. 165-182 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1217).

    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

  • State clock logic: A decidable real-time logic

    Raskin, J. F. & Schobbens, P. Y., 1 janv. 1997, Hybrid and Real-Time Systems - International Workshop, HART 1997, Proceedings. Springer Verlag, p. 33-47 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1201).

    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

  • To parse or not to parse

    Vanhoof, W. & Martens, B., 1997, Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97. Vol 1463. p. 314-333 20 p. (Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 ).

    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

  • 1998

    A Framework for bottom up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98. Vol 1490. p. 54-72 19 p. (Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98).

    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 framework for bottom-up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer, p. 54-72 (Lecture Notes in Computer Science; Vol 1490).

    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

  • Axiomatization of real-time logics

    Schobbens, P-Y., 1998, Information Systems as Reactive Systems. Ehrich, H. D., Goltz, U. & Meseguer, J. (eds.). Vol 200.

    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

  • Axioms for Real-Time Logics

    Raskin, J-F., Schobbens, P-Y. & Henzinger, T., 1998, CONCUR'98: 9th International Conference on Concurrency Theory. Sangiorgi, D. & de, R. (eds.). Springer Verlag, Vol 1466.

    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

  • Bottom up specialisation: towards general foundations

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Logic Program Synthesis and Transformation, Pre-proceedings of LOPSTR'98 . Flener, P., p. 114-121 8 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

  • From Early to Late Requirements: a Process-Control Case Study

    Dubois, E., Yu, E. & Petit, M., 1998, Proceedings 9th Int. Workshop on Software Specification and Design (IWSSD'98): April 16-18, 1998, Ise-Shima, Japan. IEEE Computer society, p. 34-42 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

  • Interoperation of Independent, Heterogeneous and Distributed Databases. Methodology and CASE Support: the InterDB Approach

    Thiran, P., Hainaut, J-L., Bodart, S., Deflorenne, A. & Hick, J-M., 1998, Proceedings of Coopis'98. New-York: IEEE Computer Society Press, p. 54-63 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

  • Layered Components

    Claes, L., 1998, Proc. of the Component-based Information Systems Engineering Workshop (CBISE'98): Pisa, June 1998.

    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

  • Maintenance et évolution d'applications de bases de données

    Hainaut, J-L. & Hick, J-M., 1998, (Non publié) Actes des 1ères Journées de Ré-ingénierie des Systèmes d'Information - RSI'98. Lyon: Journées sur la Ré-ingenierie des Systèmes d'Information

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

  • Outils d'analyse de programmes pour la rétro-conception de bases de données

    Henrard, J., Roland, D., Englebert, V., Hick, J-M. & Hainaut, J-L., 1998, proceedings INFORSID'98. p. 237-250 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

    File
    484 Téléchargements (Pure)

  • Peopleware Integration in an Evolving Software Engineering Curriculum

    Habra, N., 1998, Proceedings of the 10th Conference on Software Engineering Education & Training. Virginia, USA: IEEE Computer society

    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

  • Program Understanding in Databases Reverse Engineering

    Henrard, J., Englebert, V., Hick, J-M., Roland, D. & Hainaut, J-L., 1998, Proceedings of DEXA'98. p. 70-79 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
    12 Téléchargements (Pure)

  • Specialising the other way around

    Vanhoof, W., Martens, B., De Schreye, D. & De Vlaminck, K., 1998, Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming. MIT, T. (Ed.). Jaffar, J., p. 279-293 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

  • Supporting the Analyst when Reasoning on Requirements Specifications for Real-Time and Distributed Systems

    Zeippen, J-M., Dubois, E. & Du Bois, P., 1998, Proc. of the First IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98). Kyoto (Japan), p. 215-219

    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 regular real-time languages

    Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1998, Proceedings of ICALP'98: International Colloquium on Automata, Languages and Programming. Larsen, K. (Ed.). Vol 1343. p. 580-591 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

  • 1999

    Agents as a Key Concept for Information Systems Requirements Engineering

    Petit, M., Heymans, P. & Schobbens, P-Y., 1999, Agent-Oriented Information Systems'99: AOIS99.

    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 Multi-formalism Reuse-based Approach to Manufacturing Systems Modeling

    Petit, M., 1999, Proc. of the International Enterprise Modeling Conference (IEMC'99): Verdal (Norway), June 14-16, 1999.

    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

  • Automatic Detection and Correction of Pronunciation Errors for Foreign Language Learners: The Demosthenes Application

    Deville, G., DEROO, O., GIELEN, S., LEICH, H. & Vanparys, J., 1999, Proceedings of Eurospeech 99, ESCA 6th European Conference on Speech Communication and Technology. Budapest: S. n., p. 843-846

    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 analysis for Mercury

    Vanhoof, W. & Bruynooghe, M., 1999, Proceedings of the 16th International Conference on Logic Programming . MIT, T. (Ed.). De Schreye, D., p. 500-514 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

  • Database Engineering Process History

    Roland, D., Hainaut, J-L., Henrard, J., Hick, J-M. & Englebert, V., 1999, Proc. of the International Conference on the Many Facets of Process 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

  • Data Structure Extraction in Database Reverse Engineering

    Henrard, J., Hainaut, J-L., Hick, J-M., Roland, D. & Englebert, V., 1999, Proc. of International Workshop on Reverse Engineering in Information Systems (REIS'99, ER'99 Workshops). Vol 1727. p. 149-160 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

    File
    60 Téléchargements (Pure)

  • Generation of Conceptual Wrappers for Legacy Databases

    Thiran, P., Chougrani, A. B., Hick, J-M. & Hainaut, J-L., 1999, Database and Expert Systems Applications (DEXA'99). LNCS - Springer-Verlag, Vol 1677. p. 678-687 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

  • GRASYLA : Modelling CASE tool GUIs in Meta-CASEs

    Englebert, V. & Hainaut, J-L., 1999, Proceedings of the 3rd International Conference on Computer-Aided Design of User Interface (CADUI'99). Kluwer, p. 217-230 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

  • Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees

    Ferier, L., Raskin, J-F. & Schobbens, P-Y., 1999, SMC'99: First International Workshop on Symbolic Model Checking. Cimatti, A. & Grumberg, O. (eds.). Trento: Elsevier, Vol 23-1. p. 107-127 21 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

    Meyer, J. J. C. & Schobbens, P. Y., 1 janv. 1999, Formal Models of Agents - ESPRIT Project ModelAge Final Workshop, Selected Papers. Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1760).

    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

  • Stratégies pour l'évolution des applications de bases de données relationnelles : l'approche DB-MAIN

    Hick, J-M., Hainaut, J-L., Englebert, V., Roland, D. & Henrard, J., 1999, (Non publié) XVIIe congrès INFORSID. La garde: INFORSID, p. 33-54 22 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
    127 Téléchargements (Pure)

  • Towards modular binding-time analysis for first-order Mercury

    Vanhoof, W. & Bruynooghe, M., 1999, WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming). Leuschel, M. (Ed.). Elsevier, p. 189-198 9 p. (Electronic Notes in Theoretical Computer Science; Vol 30, Numéro 2).

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

    Analytical Description of the Cumulated Interference Power in Mobile Radio Networks using SDMA

    Kohlhaas, U. & Remiche, M-A., mars 2000, The 5th Informs Telecommunications Conference. 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

  • CASE Support for the Development of Federated Information Systems

    Thiran, P., Chougrani, A. B., Hick, J-M. & Hainaut, J-L., 2000, Proceedings of EFIS'00: Third International Workshop on Engineering Federated Information Systems. Infix, p. 106-113 8 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