Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your 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 ...
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 ...
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 ...
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). ...
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 ...
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 ...
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 ...
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 ...
