Concept

Groupware

Publications associées (86)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

Formal Methods for Communication Services

Jean-Pierre Hubaux

We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider different communication architectures and work related to the feature interaction problem. Based on our surve ...

1999

NePESM: New Paradigms for Embedded Systems Management

Txomin Nieva

The goal of the NePESM project is to identify, experiment and validate new paradigms (and their supporting software systems) applicable to the maintenance management of distributed embedded systems. The NePESM project develops the core expertise for remote ...

1999

Autonomous actors in networked collaborative virtual environments

Daniel Thalmann

Introducing seemingly autonomous virtual beings into virtual environments to co-habit and collaborate with us is a continuous challenge and source of interest. Latest proof of human excitement for virtual life is the current worldwide craze for electronic ...

1998

A high-performance digital control system for TCV

Jonathan Bryan Lister

The TCV hybrid analogue-digital plasma control system has been superseded by a high performance Digital Plasma Control System, DPCS, made possible by recent advances in off the shelf technology. We discuss the basic requirements for such a control system a ...

1998

Using the COOPN/2 Formal Method for Groupware Systems Engineering

COOPN/2 (Concurrent Object Oriented Petri Nets) is an object-oriented specification formalism based on Petri Nets and algebraic specifications. It is fully adapted to the specification of complex concurrent systems because it inherits the advantages of alg ...

1996

A Light Weight Name Service and its use within a Collaborative Editor

\begin{abstract} This paper presents the LWNS a light weight name service specially designed for groupware applications and an example of its use. The chosen application, called {\sc Duplex}, is a collaborative editing environment for users connected throu ...

Chapman & Hall1995