Generating Synchronization Contracts for Web Services
Graph Chatbot
Chat with Graph Search
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.
Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within the group. The goal of the project was to improve the state of the art of group commu ...
SystemC AMS extensions introduce new language constructs for the design of embedded analog/mixed-signal systems. This paper presents the novel modeling language for analog and mixed-signal functions that supports design and modeling of telecommunications, ...
Use cases are an excellent tool for capturing behavioral requirements of software systems, but they are not an ideal work product for driving design activities. We believe that there is value from complementing use case descriptions with pre- and postcondi ...
This contribution is an attempt to systematise our approach to the design of a virtual campus. Activities in the recently started TECFA virtual campus rely on Internet tools, but they concern both distance teaching and presential interactions. Designing le ...
The objectives of this research are twofold. On the first hand, it aims to show the interest of Coordinated Atomic actions (CA actions) as a design concept and, on the other hand it explains how the formal language COOPNTWO can be used to express a CA acti ...
This paper reports on the design, fabrication and test of an integrated colloid micropropulsion system for spacecraft attitude control using the ionic liquid EMI-BF4 as fuel. The principle of operation of the thruster is identical to electrospray ionizatio ...
Assessing and comparing the performance of watermarking algorithms is di cult.The visibility of the watermark is an important aspect in this process.In this paper,we propose two metrics for evaluating the visual impact of video watermarks.Based on several ...
Directory services are a genuine constituent of any distributed architecture which facilitate binding attributes to names and then querying this information, i.e., announcing and discovering resources. In the web services domain this functionality is provi ...
The road to a successful introduction of vehicular communications has to pass through the analysis of potential security threats and the design of a robust security architecture able to cope with these threats. In this paper, we undertake this challenge. I ...