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.
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. Formal contract specification languages, however, are still rarely used ...
In this paper we describe the successful use of RE methods in a project at Procter and Gamble UK. We identify two main elements for this success. The first element is the combination of methods from P&G and academia (Adoption Methodology and Lightswitch). ...
We revisit the well-known group membership problem and show how it can be considered a special case of a simple problem, the set membership problem. In the set membership problem, processes maintain a set whose elements are drawn from an arbitrary universe ...
Though the ISPRS has had standardization on its agenda for a long time the progress was slow and the output of completed document is still limited. The reasons are manifold: lack of awareness of standardization, necessary alignment with the standardization ...
Fatigue tests were carried out on welded circular hollow section K-joints typical to bridges. The tests specimens were large-scale (approximately 9 m long and 2 m high) trusses loaded in the plane of the truss. Measured member stresses showed that a signif ...
A controller design method using a frequency criterion is proposed in this paper. The frequency criterion is defined as the weighted sum of squared errors between the specified and computed values of the design parameters. These are the infinity-norm of th ...
The ease of compiling malicious code from source code in higher programming languages has increased the volatility of malicious programs: The first appearance of a new worm in the wild is usually followed by modified versions in quick succession. As demons ...
Decision support systems can be used to manage systems. Managed systems are described by system specifications. System specification notations, such as UML, often separate in different diagrams the static specification and the dynamic specification of the ...
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. In practice, software developers use most often natural language to des ...
Nowadays, network infrastructures are increasingly used in support to commercialization of digital multimedia content. Such kind of non-material goods, namely videos, music, still images and any other type of multi-media information are ready for the migra ...
