Publications des institutions partenaires

Designing a terminological knowledge base consists in collecting terms and associating them to their definition. Our objective is to define a process model to support this design task in a collaborative work environment. The proposed concept model is based on terminological logic and the issue-based model IBIS. The terminological logic part is intended to formally express definitions…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2000

Hypertext view update problem

A hypertext view is a derived hypertext for a given database. We are interested in providing a mechanism of translating hypertext view update operations to appropriate data manipulation operations in database. However, given a hypertext view update operation, we cannot always uniquely determine what needs to be done in terms of database operations to perform the intended hypertext…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2000

Monographies scientifiques évolutives multi-points de vue

Les monographies scientifiques présentent des caractéristiques propres en ce qui concerne le contenu et le mode de production lié à la démarche scientifique. Le but de cette étude est de définir un modèle pour la représentation et le travail sur des monographies qui évoluent au cours du temps et que l'on désire aborder selon différents points de vues. Le modèle que nous…

Institution partenaire

Université de Genève

Full Text

Français / 01/01/2000

Distributed video production, distributed musical rehearsal and distributed video editing and retrieval

The DVP project investigated the Quality of Service (QoS) requirements of broadcasters for several forms of distributed video production and run a series of trials of distributed virtual studios (studio on demand), distributed virtual reality, distributed musical rehearsals and distributed video editing and retrieval. The CUI of the University of Geneva participated in the DVP…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2000

Specification and simulation of ALICE DAQ system

The Trigger and Data Acquisition System of the ALICE Experiment has been designed to support the high bandwidth expected during the LHC heavy ion run. A model of this system has been developed. The goal of this model is two fold.First, it allows us to verify that the system-level design is consistent and behaves according to the requirements. Second, it is used to evaluate the…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2000

Adding Real-Time Constraints to Synchronised Petri Nets

This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built using Structured Operational Semantics (SOS) rules. This report is part of a larger framework that attempts to attach real-time constraints to the CO-OPN/2 language.