Publications associées à Network Applications in Ada 95

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.

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

Inservire Domino

Alexandre Blanc, Marco Bakker

Human Relationships in Architecture. The client and his architect, the architect and his client: they demand, negotiate, seduce and battle. This book focusses on the "ménage à trois", the relations between client, architect and the architectectural object. ...

MANSLAB2016

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

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

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

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

Network Applications in Ada 95

Graph Chatbot

Chattez avec Graph Search

Enabling the Automatic Generation of User Interfaces for Remote Laboratories

Inservire Domino

Parameterized Systems in BIP: Design and Model Checking

The Smart Device Specification for Remote Labs

The Smart Device Specification for Remote Labs

Rate allocation and optimized decoding in inter-session network coding

JavaScript as an Embedded DSL

A method and device for predicting faults in an it system

Browsing Catalogue Graphs: Content Caching Supercharged!!

Self-Stabilizing Robot Formations over Unreliable Networks

Rate allocation and optimized decoding in inter-session network coding

Enabling the Automatic Generation of User Interfaces for Remote Laboratories

The Smart Device Specification for Remote Labs

Inservire Domino

JavaScript as an Embedded DSL

Self-Stabilizing Robot Formations over Unreliable Networks

Browsing Catalogue Graphs: Content Caching Supercharged!!

Parameterized Systems in BIP: Design and Model Checking

The Smart Device Specification for Remote Labs

A method and device for predicting faults in an it system