Publications related to Network Applications in Ada 95

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

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 ...

2015

Rate allocation and optimized decoding in inter-session network coding

Eirina Bourtsoulatze

Recent advances in data processing and communication systems have led to a continuous increase in the amount of data communicated over today’s networks. These large volumes of data pose new challenges on the current networking infrastructure that only offe ...

EPFL2013

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

Self-Stabilizing Robot Formations over Unreliable Networks

Seth Gilbert

We describe how a set of mobile robots can arrange themselves on any specified curve on the plane in the presence of dynamic changes both in the underlying ad hoc network and in the set of participating robots. Our strategy is for the mobile robots to impl ...

2009

Network Applications in Ada 95

Graph Chatbot

Chat with 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

Parameterized Systems in BIP: Design and Model Checking

Inservire Domino

A method and device for predicting faults in an it system

The Smart Device Specification for Remote Labs

JavaScript as an Embedded DSL

Browsing Catalogue Graphs: Content Caching Supercharged!!

The Smart Device Specification for Remote Labs

Self-Stabilizing Robot Formations over Unreliable Networks