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 article considers the software problems of reuse, interoperability and evolution in the context of Ambient Intelligence. A novel approach is introduced: the Environment, Application, Adaptation (EAA) is streamlined for Ambient Intelligence and is evol ...
Presentation of the work being done in the Digital Design and Production course at the EPFL. The presentation highlighted the relationships of digital design to digital production methods, and focused on demonstrating the similarity between creative design ...
With the world turning its eyes to a new tomorrow, and with America reshaping and greening its infrastructure, The School of The Art Institute of Chicago, Department of Architecture, Interior Architecture and Designed Objects, is proud to host "reForm()" - ...
On this poster, we present the new software Kinone dedicated to the kinetic modelling of spectroscopic, calorimetric and concentration data in homoge-neous liquid phase. Its capabilities will be demonstrated using some selected kinetic problems. K ...
The system comprises at least three anchors (2, 2', 2") intended to be attached to the patient and equipped with markers (5, 5', 5"), an insertion guide device (6) with an insertion guide (7) intended to be attached to said anchors (2, 2', 2"), an external ...
Byzantine fault tolerant (BFT) protocols are replication-based solutions to the problem of tolerating the arbitrary failures of software and hardware components. The essential assumption for replication is independence of failures. In this paper, we catego ...
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...
Nowadays all product life cycle processes are investigated deeply in order to get an advantage over competitors To support these processes several software applications are available However this wide range of heterogeneous applications leads to a large va ...
This paper makes the case for TaaS - automated software testing as a cloud-based service. We present three kinds of TaaS: (1) a public certification service, akin to Underwriters Labs, that independently assesses the reliability, safety, and security of so ...
The formal specification component of verification can be exported to simulation through the idea of property checkers. The essence of this approach is the automatic construction of an observer from the specification in the form of a program that can be in ...