Publications des institutions partenaires

S'abonner aux flux infonet economy   161 - 180 of 224

Real-Time Synchronised Petri Nets

This paper presents the combination of two well established principles: the CO-OPN synchronisation mechanism, and the Merlin and Farber time Petri nets. Real-time synchronised Petri nets systems are then defined such that a Petri net is an object that can ask to be synchronised with another net, and whose transition firing is constrained by relative time intervals. Our proposal…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2002

Towards a Secure and Efficient Model for Grid Computing using Mobile Code

Mobile code has often been mentioned as an attractive technol- ogy for distributing computations inside a Grid consisting of heterogeneous nodes interconnected by a large-scale network. We describe here a Java-based mobile agent model for a Grid infrastructure which addresses issues such as customizable distribution of computation, security, billing and accounting.

Institution partenaire

Université de Genève

Full Text

English / 01/01/2002

MobiHealth - innovative 2.5 / 3G mobile services and applications for healthcare

MobiHealth aims at introducing new mobile valueadded services in the area of healthcare, based on 2.5 (GPRS) and 3G (UMTS) technologies, thus promoting the use and deployment of GPRS and UMTS. This will be achieved by the integration of sensors and actuators to a Wireless Body Area Network (BAN). These sensors and actuators will continuously measure and transmit vital constants along…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2002

A Wave-guide Model for Packetized Media Streaming in Lossless Networks

Optimal operation of network based multimedia applications requires a precise specification of the network parameters. Different models have been used in the past in calculating the behavior of the network and defining parameters like throughput and delays of packets, using among others fluid analogy. In this paper we extend the bundled packet level perspective towards the…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2002

Content and Interface Models for Multi Point of View Scientific Hyperbooks

We present a model for creating, managing, and viewing the contents of scientific hyperbooks. The model we propose is based on reusable information fragments and on terminological fragments that contain concept definitions. The definition of concepts, which plays an essential role in scientific writings, are represented in a formal language. These formal definitions can then be…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2001

Learning by Creating Multipoint of View Scientific Hyperbooks

Learning by collaboratively writing scientific hyperbooks requires specific software tools. We present a model for creating, managing, and viewing the contents of the hyperbook. The model we propose includes the representation of information fragments and their relationships; a specific representation of concepts (terminological fragments) and a language for the creation of hypertext…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2001

Design and Analysis of Virtual Museums

Using the same data, which could come from local databases or external sources such as the Web, virtual museum designers can build different hyperspaces. It is possible that visitors would find some of them more useful than others. Therefore, virtual museums designers should be equipped with a tool by which various hyperspaces for virtual museums can be easily designed and examined.…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2001

Navigation hypertexte dans une ontologie multi-points de vue

Une ontologie multi-points de vue est une ontologie dans laquelle chaque concept peut avoir plusieurs définitions différentes, chacune d'entre elles représentant un point de vue différent (selon le point de vue un concept peut également être situé à plusieurs emplacements différents dans la hiérarchie). Si beaucoup de travaux ont porté sur l'utilisation d'ontologies…

Institution partenaire

Université de Genève

Full Text

Français / 01/01/2001

A Formal Development and Validation Methodology Applied to Agent-Based Systems

This paper presents first a formal development methodology that enables a specifier to add complexity progressively into the system design, and to formally validate each step wrt client's requirements. Second, the paper describes the application of this methodology to agent-based systems, as well as development guidelines that help the specifier during the development of such…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2001

Theme IV: Business Related Issues Trading of Intangible Goods

During the last few years, the amount of information and services available and used in electronic form has increased almost exponentially. These types of digital information and services constitute a new general class of goods, which we call Intangible Goods. Intangible goods having distinct characteristics from their counterpart tangible ones, that require specialized approaches…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2001

Healthcare PANs: Personal Area Networks for trauma care and home care

The first hour following the trauma is of crucial importance in trauma care. The sooner treatment begins, the better the ultimate outcome for the patient. Generally the initial treatment is handled by paramedical personnel arriving at the site of the accident with an ambulance. There is evidence to show that if the expertise of the on-site paramedic team can be supported by immediate…

Institution partenaire

Université de Genève

Full Text

English / 01/01/2001

Conflict Resolution in the Collaborative Design of Terminological Knowledge Bases

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

Seiten

Le portail de l'information économique suisse

© 2016 Infonet Economy