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.
This paper describes the methodology used to transform the 2001 Swiss SAM devised at ETH Zürich and align it to the requirements of the GEMINI-E3 model which is based on the GTAP database. ...
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development signify a move from component-based to service-oriented approach, therefore S ...
Understanding stakeholders’ needs is necessary to design requirements for organizations and IT systems. We present a systemic modeling method to identify and categorize stakeholders within value networks, to analyze the relationships between these value ne ...
A review on the methods of characterization of multicomponent microcapsules. Requirements to measure the ingress and egress of small and macromols. through the membrane are discussed, along with the relevant theory. The relevant factors to consider in micr ...
With the present day's exponential growth of the (tele-)communications market, the explosion of the number of mobile communication customers, and the tremendous growth of the number of IP hosts, ensuring the reliability of communication services is one of ...
As the test of the PFC1 is foreseen in 2006 at JAERI Naka, Japan, it is essential to consider in detail the lessons learned from the short NbTi sample tests, as well as the issues left open after them, in order to develop a suitable test program of the PFC ...
This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representation ...
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concerned with precision, e.g., the removal of spurious counterexamples; for this p ...
The success of software verification depends on the ability to find a suitable abstraction of a program automatically. We propose a method for automated abstraction refinement which overcomes some limitations of current predicate discovery schemes. In curr ...
Fault injection is an often overlooked component of the software test cycle, yet it is critical for building robust systems. The main reasons for this neglect are ineffectual tools, an overwhelmingly large number of possible faults to inject, and extensive ...
