Publications associées à Client lourd

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

Distributed Rate Allocation in Inter-Session Network Coding

Pascal Frossard, Nikolaos Thomos, Eirina Bourtsoulatze

In this work, we propose a distributed rate allocation algorithm that minimizes the average decoding delay for multimedia clients in inter-session network coding systems. We consider a scenario where the users are organized in a mesh network and each user ...

Institute of Electrical and Electronics Engineers2014

Privacy and Security Framework. OpenIoT Deliverable D522

Jean Paul Calbimonte Perez, Mehdi Riahi

This deliverable describes the Security and Privacy Framework of the OpenIoT platform, including details about its design and implementation. The aim of this framework is to ensure that Internet-Connected Objects (ICOs) contributing to the OpenIoT platform ...

2014

A method and device for predicting faults in an it system

Dejan Novakovic, Dejan Kostic, Marco Canini, Vojin Jovanovic, Olivier Crameri

A method and device for predicting faults in a distributed heterogeneous IT system (100), the method comprising: creating a local checkpoint (19) in an explorer node (10) of said system (100), said local checkpoint (19) reflecting the state of said explore ...

2012

JavaScript as an Embedded DSL

Martin Odersky, Tiark Rompf, Nada Amin, Grzegorz Kossakowski

Developing rich web applications requires mastering different environments on the client and server sides. While there is considerable choice on the server-side, the client-side is tied to JavaScript, which poses substantial software engineering challenges ...

Springer Berlin Heidelberg2012

Dissent in Numbers: Making Strong Anonymity Scale

Bryan Alexander Ford, Henry Nathaniel Corrigan-Gibbs

Current anonymous communication systems make a trade-off between weak anonymity among many nodes, via onion routing, and strong anonymity among few nodes, via DC-nets. We develop novel techniques in Dissent, a practical group anonymity system, to increase ...

2012

Browsing Catalogue Graphs: Content Caching Supercharged!!

We consider a generic scenario of content browsing where a client is presented with a catalogue of items of interest. Upon the selection of an item from a page of the catalogue, the client can choose the next item to browse from a list of related items pre ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

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 lourd

Parameterized Systems in BIP: Design and Model Checking

The Smart Device Specification for Remote Labs

The Smart Device Specification for Remote Labs

Distributed Rate Allocation in Inter-Session Network Coding

Privacy and Security Framework. OpenIoT Deliverable D522

A method and device for predicting faults in an it system

Addressing the ZooKeeper Synchronization Inefficiency

JavaScript as an Embedded DSL

Dissent in Numbers: Making Strong Anonymity Scale

Browsing Catalogue Graphs: Content Caching Supercharged!!

Graph Chatbot

Chattez avec Graph Search

Addressing the ZooKeeper Synchronization Inefficiency

Parameterized Systems in BIP: Design and Model Checking

The Smart Device Specification for Remote Labs

The Smart Device Specification for Remote Labs

Privacy and Security Framework. OpenIoT Deliverable D522

Distributed Rate Allocation in Inter-Session Network Coding

Dissent in Numbers: Making Strong Anonymity Scale

A method and device for predicting faults in an it system

JavaScript as an Embedded DSL

Browsing Catalogue Graphs: Content Caching Supercharged!!