Publications associées à Client léger

Enabling the Automatic Generation of User Interfaces for Remote Laboratories

Denis Gillet, Christophe Salzmann, Wissam Halimi, Hagop Jamkojian

Remote laboratories are an important component of blended and dis- tance science and engineering education. By definition, they provide access to a physical lab in a distant location. Many architectures enabling remote laboratory systems exist, the most co ...

Springer2017

Price-based Controller for Utility-aware HTTP Adaptive Streaming

Pascal Frossard, Laura Toni, Stefano D'Aronco

HTTP Adaptive Streaming (HAS) permits to efficiently deliver video to multiple heterogenous users in a fully distributed way. This might however lead to unfair bandwidth utilization among HAS users. Therefore, network-assisted HAS systems have been propose ...

Institute of Electrical and Electronics Engineers2017

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

Willy Zwaenepoel, Diego Didona, Kristina Spirovska

In this paper we present a new approach to implementing causal consistency in geo-replicated data stores, which we call Optimistic Causal Consistency (OCC). The optimism in our approach lies in that updates from a remote data center are immediately made vi ...

Ieee Computer Soc2017

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias, Philipp Svetolik Jovanovic, Nicolas Gailly, Kirill Nikitin, Ismail Khoffi

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...

USENIX Association2017

Parameterized Systems in BIP: Design and Model Checking

Joseph Sifakis, Simon Bliudze, Qiang Wang

BIP is a component-based framework for system design that has important industrial applications. BIP is built on three pillars: behavior, interaction, and priority. In this paper, we introduce first-order interaction logic (FOIL) that extends BIP to system ...

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik2016

The Smart Device Specification for Remote Labs

Denis Gillet, Christophe Salzmann, Wissam Halimi, Sten Govaerts

This paper presents the Smart Device specification to interface with remote labs. To encourage the broader sharing of remote labs, the Smart Device paradigm decouples the client from the server and provides well-defined interfaces between client and server ...

IEEE2015

The Smart Device Specification for Remote Labs

Denis Gillet, Christophe Salzmann, Wissam Halimi, Sten Govaerts

2015

Optimal Layered Representation for Adaptive Interactive Multiview Video Streaming

Pascal Frossard, Thomas Maugey, Nikolaos Thomos, Laura Toni, Ana Karina De Abreu Goes

We consider an interactive multiview video streaming (IMVS) system where clients select their preferred viewpoint in a given navigation window. To provide high quality IMVS, many high quality views should be transmitted to the clients. However, this is not ...

Elsevier2015

Seeking Anonymity in an Internet Panopticon

Bryan Alexander Ford

Internet, users often need to assume, by default, that their every statement or action online is monitored and tracked. The Dissent project at Yale University takes a collective approach to online anonymity, based on different algorithmic foundations from ...

Assoc Computing Machinery2015

Chattez avec Graph Search

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.

Client léger

Enabling the Automatic Generation of User Interfaces for Remote Laboratories

Price-based Controller for Utility-aware HTTP Adaptive Streaming

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Parameterized Systems in BIP: Design and Model Checking

Trustworthy Biometric Verification under Spoofing Attacks

The Smart Device Specification for Remote Labs

The Smart Device Specification for Remote Labs

Optimal Layered Representation for Adaptive Interactive Multiview Video Streaming

Seeking Anonymity in an Internet Panopticon

Graph Chatbot

Chattez avec Graph Search

Enabling the Automatic Generation of User Interfaces for Remote Laboratories

Price-based Controller for Utility-aware HTTP Adaptive Streaming

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Optimistic Causal Consistency for Geo-Replicated Key-Value Stores

Trustworthy Biometric Verification under Spoofing Attacks

The Smart Device Specification for Remote Labs

Parameterized Systems in BIP: Design and Model Checking

Seeking Anonymity in an Internet Panopticon

The Smart Device Specification for Remote Labs

Optimal Layered Representation for Adaptive Interactive Multiview Video Streaming