Faculté d'informatique

  • 5000

    Belgique

Résultat de recherche 1969 2020

Filtre
Article
Article

Accidents de la route et distance au domicile. Approche quantitative pour Bruxelles

Thiran, P. & THOMAS, I., 1997, (Non publié) Dans : Cahiers Scientifiques du Transport. 32, p. 105-120 16 p.

Résultats de recherche: Contribution à un journal/une revueArticle

20 Downloads (Pure)

A class of trust region methods for nonlinear network optimization problems

Sartenaer, A., 1995, Dans : SIAM Journal on Optimization. 5, 2, p. 379-407 29 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Nonlinear networks
Trust Region Method
Trust Region
Network Optimization
Nonlinear Optimization
115 Downloads (Pure)
File
Communication satellites
Industry
Defects
Costs

A Comparison of Taxonomies for Model Transformation Languages

Tamura, G. & Cleve, A., 2010, Dans : Paradigma. 4, 1

Résultats de recherche: Contribution à un journal/une revueArticle

ADAM & Eve (Nederlands): Tekstanalyse en het genereren van oefeningen met de PC

Baten, L. & Vanparys, J., 1989, Dans : Levende talen.

Résultats de recherche: Contribution à un journal/une revueArticle

ADAM & EVE - Computer-aided instruction

Vanparys, J., 1990, Dans : Celex News.

Résultats de recherche: Contribution à un journal/une revueArticle

43 Downloads (Pure)

Adopting Trust and Assurance as indicators for the reassignment of responsibilities in Multi-agent Systems

Gateau, B., Ouedraogo, M., Feltus, C., Guemkam, G., Danoy, G., Seredinsky, M., U. Khan, S., Khadraoui, D. & Bouvry, P., 2012, Dans : The Knowledge Engineering Review.

Résultats de recherche: Contribution à un journal/une revueArticle

File

A fixed point semantics for logic programs extended with cuts

Vanhoof, W., Tronçon, R. & Bruynooghe, M., 2003, Dans : Logic Based Program Synthesis and Transformation, LOPSTR 2002 . 2664, p. 238-257 20 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Access control
Internet of things

A Framework for bottom up specialisation of logic programs

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

Résultats de recherche: Contribution à un journal/une revueArticle

Âge et usages de l'informatique

Lobet-Maris, C., 2011, Dans : Communications, revue de EHESS. 88, p. 19-28 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

A Generic Framework for Extracting XML Data from Legacy Databases

Thiran, P., Estievenart, F., Hainaut, J-L. & Houben, G-J., 2005, (Non publié) Dans : Journal of Web Engineering. 4, 3, p. 205-223 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

XML
Reverse engineering
Data structures
Semantics

Agent-based Communities of Web Services: An Argumentation-driven Approach

Bentahar, J., Maamar, Z., Benslimane, D., Thiran, P. & Sattanathan, S., 2008, Dans : Journal of Service-oriented Computing and Architecture. 2, 4, p. 219-238 20 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Web services
Joining
Composite materials
Software agents
Network protocols

Agent-based game-theoretic model for collaborative web services: Decision making analysis

Khosravifar, B., Bentahar, J., Alishahi, M., Mizouni, R., Otrok, H. & Thiran, P., 15 juin 2013, Dans : Expert Systems with Applications. 40, 8, p. 3207-3219 13 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Web services
Decision making
Joining
Costs
Industry

A goal based approach to engineering capacity driven web service

Maamar, Z., Tata, S., Yetongon, K., Benslimane, D. & Thiran, P., 2012, (Non publié) Dans : The Knowledge Engineering Review.

Résultats de recherche: Contribution à un journal/une revueArticle

Algorithmic approach to the extinction probability of branching processes

Hautphenne, S., Latouche, G. & Remiche, M-A., 2011, Dans : Methodology and Computing in Applied Probability. 13, p. 171 22 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Allaiter sur le web: Entre biopouvoir et rituels numériques

Grandjean, N., 2013, Dans : Cahiers du numérique. 9, 3-4, p. 63-81

Résultats de recherche: Contribution à un journal/une revueArticle

Alternating-time logic with imperfect recall

Schobbens, P-Y., 1 avr. 2004, Dans : Electronic Notes in Theoretical Computer Science. 85, p. 82-93 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Temporal logic
Model checking
Temporal Logic
Imperfect
Model Checking

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Formal Analysis
Formal Verification
Methodology
Timing
Requirements

An algebraic approach for codesign

Aiguier, M., Beroff, S. & Schobbens, P-Y., 2004, Dans : ICTAC'2004 - First International Colloquium on Theoretical Aspects of Computing. 3407

Résultats de recherche: Contribution à un journal/une revueArticle

An Approach to Engineer Communities of Web Services: Concepts, architecture, operation, and deployment

Maamar, Z., Subramanian, S., Thiran, P., Benslimane, D. & Bentahar, J., 2009, Dans : International Journal of E-Business Research (IJEBR). 5, 4

Résultats de recherche: Contribution à un journal/une revueArticle

Web services
Engineers
Network protocols
19 Downloads (Pure)

An Argumentation Framework for Communities of Web Services

Bentahar, J., Maamar, Z., Benslimane, D. & Thiran, P., 2007, Dans : IEEE Intelligent Systems. 22, 6

Résultats de recherche: Contribution à un journal/une revueArticle

File

A new algorithm for strategy synthesis in LTL games

Harding, A., Ryan, M. & Schobbens, P-Y., 2005, Dans : International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS). 3440, p. 477-492 16 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Organic compounds
Molecular structure
Screening
Chemical compounds
Molecules

A new hybrid architecture for helping the knowledge acquisition process

Brasil, L. M. & Fraiture, M. N., 1999, Dans : Congrès de Cybernétique (Namur).

Résultats de recherche: Contribution à un journal/une revueArticle

An experiment in formal software development : Using the B theorem prover on a VDM case study

Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1991, Dans : Communications of the ACM. 34, 5

Résultats de recherche: Contribution à un journal/une revueArticle

An MAP-based Poisson Cluster model for Web traffic

Latouche, G. & Remiche, M-A., 2002, Dans : Performance Evaluation. 49, p. 359-370

Résultats de recherche: Contribution à un journal/une revueArticle

27 Downloads (Pure)

An OO interpretation of graphs as meta-CASE's Meta-meta-model

Englebert, V., 2002, (Non publié) Dans : First International Conference on Graph Transformation. 72, 2

Résultats de recherche: Contribution à un journal/une revueArticle

File
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Applying VDM to large developments

Ledru, Y. & Schobbens, P-Y., 1990, Dans : ACM Sigsoft Software Engineering Notes (SEN). 15, 4, p. 55-58 4 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Approche transformationnelle de la réingénierie des données

Delcroix, C., Thiran, P. & Hainaut, J-L., 2001, Dans : Ingénierie des Systèmes d'Information. 6, 1, p. 61-98 38 p.

Résultats de recherche: Contribution à un journal/une revueArticle

A Proposal for a Scenario Classification Framework

Rolland, C., Ben Achour, C., Cauvet, C., Ralyte, J., Sutcliffe, A., Maiden, N., Jarke, M., Haumer, P., Pohl, K., Dubois, E. & Heymans, P., 1998, Dans : Requirements Engineering Journal. 3, 1, p. 23-47 25 p.

Résultats de recherche: Contribution à un journal/une revueArticle

A rate adaptive shaper for differentiated services

Bonaventure, O. & De Cnodder, S., 2000, Dans : Requests For Comments (RFC). 2963

Résultats de recherche: Contribution à un journal/une revueArticle

Color

ArchipeL: vers un modèle à grappes de tâches

Colin, J-N. & Pavisic, D., 1998, Dans : Calculateurs parallèles réseaux et systèmes répartis. 10, 3

Résultats de recherche: Contribution à un journal/une revueArticle

A RED discard strategy for ATM networks and its performance evaluation with TCP/IP traffic

Rosolen, V., Bonaventure, O. & Leduc, G., 1999, Dans : ACM Computer Communication Review. 29, 3

Résultats de recherche: Contribution à un journal/une revueArticle

Asynchronous transfer mode
Automatic teller machines
Switches

Are Stakeholders the Only Source of Information for Requirements Engineers? Toward a Taxonomy of Elicitation Information Sources

Burnay, C., 30 juin 2016, (Accepté/sous presse) Dans : ACM Transactions on Management Information Systems. 7, 2, 28 p.

Résultats de recherche: Contribution à un journal/une revueArticle

A rule-based approach to model and verify flexible business processes

Boukhebouze, M., Amghar, Y., Benharkat, A-N. & Maamar, Z., 2011, Dans : International Journal of Business Process Integration and Management (IJBPIM). 5, 4, p. 287 -307 21 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Business process
Rule-based
Costs
Functioning
Language
42 Downloads (Pure)

A starting-point strategy for nonlinear interior methods

Gertz, M., Nocedal, J. & Sartenaer, A., 2004, Dans : Applied Mathematics Letters. 17, p. 945-952 8 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Interior Methods
Nonlinear programming
Multiplier
Non-convexity
Experiments

Asymptotic independence of counts in Isotropic Planar Point Processes of phase-type

Remiche, M-A., 2000, Dans : Advances in Applied Probability. 32, 2, p. 363-375

Résultats de recherche: Contribution à un journal/une revueArticle

Asymptotic Poisson Distribution in Isotropic Ph-Planar Point Processes

Remiche, M-A. & Latouche, G., 2000, Dans : Stochastic Models. 16, 2, p. 259-272

Résultats de recherche: Contribution à un journal/une revueArticle

A Taxonomy Learning Method And Its Application To Characterize a Scientific Web Community

Velardi, P., Cucchiarelli, A. & Petit, M., 2007, Dans : IEEE Transaction on data and Knowledge Engineering (TDKE). 19, 2, p. 180-191 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

248 Downloads (Pure)

A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL

Classen, A., Boucher, Q. & Heymans, P., 2011, Dans : Science of Computer Programming. 76, 12, p. 1130-1143 14 p.

Résultats de recherche: Contribution à un journal/une revueArticle

File

Attribute-Based Refinement of Software Architectures

Englebert, V. & Vermaut, F., 2004, (Non publié) Dans : Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA4).

Résultats de recherche: Contribution à un journal/une revueArticle

A two-level temporal logic for evolving specifications

Schobbens, P. Y., Saake, G., Sernadas, A. & Sernadas, C., 16 août 2002, Dans : Information processing letters. 83, 3, p. 167-172 6 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Temporal logic
Temporal Logic
Specification
Specifications
Linear Temporal Logic

Automated evaluation of website navigability: An empirical validation of multilevel quality models

Vaucher, S., Moulart, A., Sahraoui, H. & Habra, N., 1 août 2013, Dans : Journal of software: Evolution and Process. 25, 8, p. 815-839 25 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Websites
Navigation
Communication
Industry