Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
The Object Constraint Language (OCL) has been for many years formalized both in its syntax and semantics in the language standard. While the official definition of OCL's syntax is already widely accepted and strictly supported by most OCL tools, there is n ...
ABSTRACT: La Ville Radieuse, ‘The Contemporary City for Three Million Inhabitants’ proposed by Le Corbusier for central Paris is a myth in the history of contemporary town planning. The proposal, according to Le Corbusier, could increase the urban capacity ...
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameters of its actions. The objective of the control policy is to meet QoS requireme ...
This thesis proposes to address the well-know database integration problem with a new method that combines functionality from database conceptual modeling techniques with functionality from logic-based reasoners. We elaborate on a hybrid - modeling+validat ...
SEAM is an enterprise architecture method based on RM-ODP part 2. In this paper, we present an example of a SEAM hierarchical model where the behavioral part is formalized in Alloy. We introduce four kinds of actions and their relationships to properties t ...
We present our research on active caching in the WWW. We drew some key conclusions on the service properties and its significance, according to the results of our analysis of the WWW content. These conclusions include the percentage values of the potential ...
Though helium plasmas are one option for the low activation phase of ITER, little effort has thus far been devoted to studying them in a large, diverted tokamak. A recent campaign on JET has therefore sought to address some of the important questions relat ...
The reduction in switchable polarization of ferroelectric thin films due to electrical stress (polarization fatigue) is a major problem in ferroelectric nonvolatile memories. There is a large body of available experimental data and a number of existing mod ...
In this paper, we present our research on WWW caching proxies. We drew some key conclusions on the service properties and caching policies, according to the results of our analysis of caching proxies. These conclusions include our recommendations on cache ...
In order to assist the field of neural networks in its maturing, a formalization and a solid foundation are essential. Additionally, to permit the introduction of formal proofs, it is essential to have an all encompassing formal mathematical definition of ...
