Faculte d'informatique

Address
  • 5000

    Belgique

Où nous trouver
Filtrer
Article dans les actes d'une conférence/un colloque

Résultats de recherche

  • 2010

    Decidable Distributed Event Clock Automata

    Ortiz Vega, J. J. & Schobbens, P-Y., 2010, (Non publié) Moves-Verif Workshop at ASE2010. 10 p.

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

  • Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes

    Demeyer, R., Van Assche, M., Langevine, L. & Vanhoof, W., 2010, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA: ACM Press, p. 209-218 (PPDP '10).

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

  • Electric Blackout Prevention: Toward a Computer-Mediated Weather Alert Broadcasting Solution

    Feltus, C., Khadraoui, D. & Bonhomme, C., 2010, Proceedings of the International Conference on Society and Information Technologies (ICSIT 2010), Orlando, Florida, USA: Collocated with The 16th International Conference on Information Systems Analysis and Synthesis (ISAS 2010) and The 8th International Conference on Computing, Communicationsand Control Technologies (CCCT 2010). Institute, I. & Informatics, O. (eds.). Jorge Baralt et al., p. 45-50 6 p.

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

    File
    39 Téléchargements (Pure)
  • Enhancement of Business IT Alignment by Including Responsibility Components in RBAC

    Feltus, C., Petit, M. & Sloman, M., 2010, Proceedings of the CAiSE 2010 Workshop Business/IT Alignment and Interoperability (BUSITAL2010): Held in conjunction with CAiSE 2010 Conference. Petit, M., Gal, G., Castiaux, A., Ralyté, J. & Plebani, P. (eds.). Vol 599. p. 61-75 15 p.

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

    File
    91 Téléchargements (Pure)
  • Ethics and Ict Governance

    Berleur, J., Whitehouse, D., Goujon, P. & Catherine, F., 2010, What kind of information society? Governance, virtuality, surveillance, sustainability, resilience: 9th IFIP tc9 conference, HCC9 2010 and 1st IFIPTC11 international conference, CIOP held as part of WCC 2010, Brisnbane Australia, September 2010. Boston: Spinger, p. 13-21

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

    Accès ouvert
  • Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies

    Hubaux, A., Boucher, Q., Hartmann, H., Michel, R. & Heymans, P., 2010, Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10). Eindhoven, The Netherlands, Collection LNCS, pp. 337-356.

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

    File
    79 Téléchargements (Pure)
  • Evaluation and Improvement of Database Schemas: A transformation-based framework

    Lemaitre, J., 2010, (Non publié) Proceedings of the CAiSE Doctoral Consortium 2010. Persson, A., Benatallah, B. & Guabtni, A. (eds.). Vol 593.

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

  • Feature-based Composition of Software Architectures

    Parra, C., Cleve, A., Blanc, X. & Duchien, L., 2010, Proceedings of the 4th European Conference on Software Architecture (ECSA 2010). Springer, Vol 6285. p. 230-245 16 p.

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

  • Feature oriented evolutions for context-aware adaptive systems

    Paola, I. & Mori, M., 2010, Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and International Workshop on Principles of Software Evolution (IWPSE). p. 93-97 5 p.

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

  • How can agent-based simulation support innovation research and practice?

    Castiaux, A., 2010, Proceedings of the 21st ISPIM Conference, Bilbao, Spain.

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

  • How do Goals drive the Engineering of Capacity-driven Web Services

    Maamar, Z., Tata, S., Benslimane, D. & Thiran, P., 2010, International Symposium on Web and Mobile Information Services: WAMIS. IEEE Computer society

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

  • How Much Does Industry Matter? Propositions From Simulation

    Castiaux, A., 2010, Proceedings of the Strategic Management Society Conference, Rome, Italy.

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

  • Introducing TVL, a Text-based Feature Modelling Language

    Boucher, Q., Classen, A., Faber, P. & Heymans, P., 2010, Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. University of Duisburg-Essen, p. 159-162 4 p.

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

    File
    770 Téléchargements (Pure)
  • Making it all up: getting on the act to improvise creative requirements

    Mahaux, M., Maiden, N. & Heymans, P., 2010, Proceedings of the 18th IEEE International Requirements Engineering Conference (RE'10), Sydney, Australia. p. 375-376 2 p.

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

  • Memory Event Clocks

    Ortiz, J., Legay, A. & Schobbens, P-Y., 2010, Formal Modeling and Analysis of Timed Systems. Springer, Vol 6246. p. 198 (Formal Modeling and Analysis of Timed Systems, Lecture Notes in Computer Science).

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

    File
    2 Téléchargements (Pure)
  • Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

    Classen, A., Heymans, P., Schobbens, P-Y., Legay, A. & Raskin, J-F., 2010, 32nd International Conference on Software Engineering, ICSE 2010, May 2-8, 2010, Cape Town, South Africa, Proceedings. ACM Press, p. 335-344 10 p.

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

    File
    55 Téléchargements (Pure)
  • Modeling the extinction in the information diffusion process in wireless sensor networks

    Leibnitz, K. & Remiche, M. A., août 2010, Proceedings - International Conference on Computer Communications and Networks, ICCCN. Zurich, Suisse, 5 p. 5560047

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

  • On-the-fly auditing of business processes

    Van Hee, K., Hidders, J., Houben, G. J., Paredaens, J. & Thiran, P., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 6550 LNCS. p. 144-173 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 6550 LNCS).

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

  • On the Reputation of Agent-based Web Services

    Khosravifar, B., Bentahar, J., Moazin, A. & Thiran, P., 2010, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10) : Special Track on AI & the Web (AIW). AAAI Press

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

  • Preface

    Frasincar, F., Houben, G-J. & Thiran, P., 2010, Advances in Conceptual Modeling - Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM. Trujillo, J., Dobbie, G., Kangassalo, H., Hartmann, S., Kirchberg, M., Rossi, M., Reinhartz-Berger, I., Zimányi, E. & Frasincar, F. (eds.). Springer

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

  • Program Analysis and Transformation for Data-Intensive System Evolution

    Cleve, A., 2010, Proceedings of the 26th International Conference on Software Maintenance (ICSM 2010). Marcus, A. & Lanza, M. (eds.). IEEE CS, p. 21-26 6 p.

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

  • Program analysis for code duplication in logic programs

    Dandois, C. & Vanhoof, W., 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK.

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

  • Program Analysis to Support Concurrent Programming in Declarative Language

    Demeyer, R., 2010, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Leibniz International Proceedings in Informatics (LIPIcs) . p. 248-254

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

  • QoS Contracts-Aware Reconfiguration of Component Architectures using e-Graphs

    Tamura, G., Casallas, R., Cleve, A. & Duchien, L., 2010, Proceedings of the 7th International Workshop on Formal Aspects of Component Software (FACS 2010). Vol 6921. p. 34-52 19 p.

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

  • Reverse Engineering User-Drawn Form-Based Interfaces for Interactive Database Conceptual Analysis

    Ramdoyal, R., 2010, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE'2010) Doctoral Consortium. Persson, A., Benatallah, B. & Guabtni, A. (eds.). Vol 593.

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

  • Reverse Engineering User Interfaces for Interactive Database Conceptual Analysis

    Ramdoyal, R., Cleve, A. & Hainaut, J-L., 2010, Proceedings of the 22nd International Conference on Advanced Information Systems Engineering (CAiSE 2010). Springer, Vol 6051. p. 332-347 16 p.

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

  • Sustaining high-availability and Quality of Web services

    Erbin, L. & Thiran, P., 2010, Current Trends in Web Engineering: 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers. Daniel, F. & Michele, F. (eds.). Springer

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

  • Tag and Prune: A Pragmatic Approach to Software Product Line Implementation

    Boucher, Q., Classen, A., Heymans, P., Bourdoux, A. & Demonceau, L., 2010, 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10), Antwerp, Belgium, 20-24 September 2010. ACM Press, p. 333-336 4 p.

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

    File
    128 Téléchargements (Pure)
  • Tool support for code generation from a UMLsec property

    Montrieux, L., J{\"u}rjens, J., B. Haley, C., Yu, Y., Schobbens, P-Y. & Toussaint, H., 2010, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. Pecheur, C., Andrews, J. & Di, E. (eds.). ACM Press, p. 357-358 2 p.

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

  • Towards a Model-Centric Quality Assessment

    Vanderose, B., Habra, N. & Kamseu, F., 2010, Proceedings of the 20th International Workshop on Software Measurement (IWSM 2010) : Conference on Software Process and Product Measurement (Stuttgart Nov 2010).

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

  • Towards a Process Reference Model for Capturing and Managing Security Management Requirements

    Mangin, O., Dubois, E. & Heymans, P., 2010, First Workshop on Law Compliancy Issues in Organisational Systems and Strategies (iComply), July 6, Firenze, Italy.

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

  • Towards Multi-View Feature-based Configuration

    Hubaux, A., Heymans, P., Schobbens, P-Y. & Deridder, D., 2010, Proceedings of 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'10), Essen, Germany, pp. 106-112. Springer

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

    File
    91 Téléchargements (Pure)
  • Transformation-based Framework for the Evaluation and Improvement of Database Schemas

    Lemaitre, J. & Hainaut, J-L., 2010, (Non publié) CAiSE. Springer, Vol 6051. p. 317-331 15 p.

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

    File
    167 Téléchargements (Pure)
  • Validity of the Documentation Availability Model: Experimental Definition of Quality Interpretation

    Matulevicius, R., Habra, N. & Kamseu, F., 2010, Proceedings of The 22nd International Conference on Advanced Information Systems Engineering (CAiSE'10).

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

  • Workflow-driven Product Derivation (Invited Talk)

    Hubaux, A., Abbasi, E. K., Classen, A. & Heymans, P., 2010, (Non publié) First International Workshop on Product Line Requirements Engineering and Quality (PLREQ'10), June 30, 2010 , Essen, Germany. Schmid, K. (Ed.).

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

    File
    74 Téléchargements (Pure)
  • XToF: A Tool for Tag-based Product Line Implementation

    Gauthier, C., Classen, A., Boucher, Q., Heymans, P., Storey, M-A. & Mendonca, M., 2010, Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria, January 27-29. p. 163-166 4 p.

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

    File
    39 Téléchargements (Pure)
  • 2009

    Abstracting Common Business Rules To Petri Nets

    Van hee, K., Hidders, J., Houben, G-J., Paredaens, J. & Thiran, P., 2009, (Non publié) Proceedings of International Workshop on Abstractions for Petri Nets and Other Models of Concurrency: 30th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. Sidorova, N. & Serebrenik, A. (eds.).

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

  • A federated authorization service for bridging learning object distribution models

    Colin, J. N., Le, T. D. & Massart, D., 28 sept. 2009, Advances in Web Based Learning - ICWL 2009 - 8th International Conference, Proceedings. p. 116-125 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 5686 LNCS).

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

  • A Federated Authorization Service for Bridging Learning Object Distribution Models

    Colin, J-N., Le, T. D. & Massart, D., 2009, (Non publié) Proceedings of the International Conference on Web-based Learning (ICWL) 2009. p. 714-715 2 p.

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

  • A Formal Semantics for Multi-level Staged Configuration

    Classen, A., Hubaux, A. & Heymans, P., 2009, Proceedings of the Third Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09). Duisburg-Essen: Institute for Computer Science and Business Information Systems , p. 51-60 10 p.

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

    File
    185 Téléchargements (Pure)
  • Aggregated Process for Evaluating Requirements Engineering Tools

    Matulevicius, R., 2009, Proceedings of the 15th Conference on Information and Software Technologies (IT 2009).

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

  • A Maintenance-based trust for Open MultiAgent Systems

    Khosravifar, B., Gomrokshi, M., Bentahar, J. & Thiran, P., 2009, (Non publié) Proc. of the 8th International Conference on Autonomous Agents and Multiagent Systems: AAMAS. Sichman, J. & Decker, K. (eds.). ifaamas

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

    File
    181 Téléchargements (Pure)
  • An Approach to Incentive-based Reputation for Communities of Web Services

    Khosravifar, B., Bentahar, J., Thiran, P., Moazin, A. & Guiot, A., 2009, (Non publié) Proceedings of the International Conference on Web Services (ICWS). Damiani, E. & Chang, R. (eds.). IEEE

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

  • A Reconciliation Framework to Support Cooperative Work with DSML

    Constantin, C., Englebert, V. & Thiran, P., 2009, Proceedings of the First International Workshop on Domain Engineering held in conjunction with CAiSE'09 Conference. Reinhartz-Berger, I., Reinhartz-Berger, I., Yair, W., Dubois, E. & Johannesson, P. (eds.). Vol 457.

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

  • Are Your Lights Off? Using Problem Frames to Diagnose System Failures

    Tun, T. T., Jackson, M., Laney, R., Nuseibeh, B. & Yu, Y., 2009, Proceedings of the 19th IEEE International Requirements Engineering Conference (RE'09). IEEE Computer society, p. 343-348 6 p.

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

    File
    13 Téléchargements (Pure)
  • Building a Responsibility Model Including Accountability, Capability and Commitment

    Feltus, C. & Petit, M., 2009, Proceedings of the The Fourth International Conference on Availability, Reliability and Security ("ARES 2009 - The International Dependability Conference"), Fukuoka, Japan. New York, USA: IEEE Computer Society Press, p. 412-419 8 p.

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

    File
    217 Téléchargements (Pure)
  • Building a Responsibility Model using Modal Logic - Towards Accountability, Capability and Commitment Concepts

    Feltus, C. & Petit, M., 2009, Procedings of 7th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-2009), Rabat, Morocco. IEEE, p. 386-391 6 p.

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

    File
    65 Téléchargements (Pure)
  • Business Value Rules for Business/IT Alignment

    Jayaweera, P. & Petit, M., 2009, Proc. of the Workshop on Value Modeling and Business Ontologies.

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

  • Can corporate responsibility foster innovation in high-tech firms?

    Castiaux, A., 2009, Proceedings of the 20th ISPIM Conference, Vienna, Austria.

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

  • Characterization of Methods for Process-Oriented Engineering of SOA

    Ricken, J., 2009, BPM 2008 Workshops. Ardagna, D. (Ed.). Berlin Heidelberg: Springer Verlag, Vol 17. p. 600-611 12 p.

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