Publications des institutions partenaires

S'abonner aux flux infonet economy   1261 - 1280 of 1296

Distributed Semaphore In A Messenger Environment

The messenger paradigm advocates the exchange of programs called messengers between communicating hosts instead of messages. Each host contains a messenger execution environment called messenger platform. Messengers are expressed in a language understood by all the platforms. A distributed messenger environment is a collection of messenger platforms linked through an unreliable…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

SANDS1.5/COOPN1.5 An Overview of the Language and its Supporting Tools

In this document we give an overview of the CO-OPN/1.5 (Concurrent Object-Oriented Petri Nets) specification language and describe the features of each tool provided in the SANDS/1.5 (Structured Algebraic Net Development System) development environment. The CO-OPN/1.5 language is a specification language devised to support the development of large concurrent systems. The underlying…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

Mathematical Formalization of the Messenger Paradigm

This technical report presents the syntax and semantics, in terms of transition system, of the messenger paradigm as it has been presented in [8]. Messengers are mobile agents able to collaborate and to coordinate their work, but are not considered as intelligent agents. More precisely, messengers are mobile codes exchanged between messenger platforms. Arriving messengers are…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

A Distributed Micro–Kernel for Communications Messengers

Mobile software agents require a distributed execution environment in which they can command the use of many resources like memory, CPU time and bandwidth. While current research seems to concentrate on roaming agents at the application level and tries to define suitable high–level environments, we think that such an execution environment must be rooted at a very low-level. We argue…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

Towards Hypermedia Electronic Publishing

The most important problem that decision makers face in today's ever increasing information flux is how to find efficiently and fast the useful information. Hypermedia Electronic Publishing systems, supporting active information distribution and offering hypertext browsing facilities, provide a promising solution to this problem. Nevertheless several issues, like value added…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

La location de services dans le bâtiment

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1994

Concept bases: A support to information systems integration

In this paper, we describe a technique for integrating heterogeneous information systems using concept bases. A concept base is build on top of each system to integrate, in order to semantically enrich its description. Each concept is described at three different levels: terminological definition, formal characterization, and representation in the underlying system. The different…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1994

COMSCRIPT: An Environment for the Implementation of Protocol Stacks and their Dynamic Reconfiguration

The need for flexible protocol stacks in communication software, instead of static, predefined protocol stacks, has been more and more asserted these last years. We present here a new environment, COMSCRIPT, which addresses the implementation of flexible protocol stacks directed by the application. COMSCRIPT is a new programming language, derived from POSTSCRIPT, which follows an…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1994

Messenger-Based Operating Systems

This report proposes to employ messengers, initially developed in the context of communication protocols, as a fundamental component of the architecture of distributed operating systems. Current microkernels offer non-local services which require the collaboration of neighboring machines or special servers and are implemented using special protocols. These protocols are hard-wired…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1994

ACCESS - Algebraic Concurrent Events for System Specification

Access is a new algebraic specification formalism, which focuses on the fine description of the ``true'' concurrency and on a high degree of expressivity. Systems are specified by a set of local states, whose value changes under the occurrence of events. Both events and data structure are specified by abstract data types. Static properties, i.e. global constraints over…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1994

Le chèque de voyage

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1994

F2: An Evolution Oriented Database System

The features of a database system specifically designed to support evolution are presented. The design of the F2 system has been deliberately directed toward integration of evolution features and the flexibility of structures at every level. This has leaded to an architecture where the meta-circular organization of the objects management is not an aesthetic facet but a concrete…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1993

CHASSIS - Une Plate-forme pour la Construction de Systèmes d'Information Ouverts

Les systèmes d'information d'aujourd'hui ont de plus en plus la nécessité d'être ouverts. Ceci implique qu'ils doivent répondre aux besoins de réseaux ouverts, de logiciel et de matériel hétérogènes et “interopérables,” et, surtout, à des besoins évolutifs et changeants. Le projet CHASSIS vise le développement d'un cadre informatique et méthodologique…

Institution partenaire

Université de Genève

Full Text

Français / 01/01/1993

CHASSIS - A Platform for Constructing Open Information Systems

Present-day computer-based information systems are increasingly required to be open systems. This means that they must cope with open networks, heterogeneous interoperable hardware and software systems, and, above all, evolving and changing requirements. The CHASSIS project aims to develop a software and methodology framework for (i) the security- and reliability-oriented systematic…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1993

Analytical solutions for the pricing of american bond and yield options

In this paper we use the Cox, Ingersoll, and Ross (1985b) single-factor, term structure model and extend it to the pricing of American default-free bond puts. We provide a quasi-analytical formula for these option prices based on recently established mathematical results for Bessel bridges, coupled with the optimal stopping time method. We extend our results to another interest rate…

Full Text

English / 01/01/1993

Seiten

Le portail de l'information économique suisse

© 2016 Infonet Economy