Publications des institutions partenaires
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
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
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
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
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
English / 01/01/1995
A Calderon-Zygmund extension theorem for abstract Sobolev spaces
Institution partenaire
English / 01/01/1995
Lo sponsoring sportivo : descrizione, qualifica e conseguenze giuridiche
Institution partenaire
Italiano / 01/01/1994
Les garanties indépendantes devant les tribunaux suisses
Institution partenaire
Français / 01/01/1994
F2Concept, a Database System for Managing Classes' Extensions and Intensions
Institution partenaire
English / 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
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
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
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
English / 01/01/1994
Le banquier, son client et l'ordinateur : réflexions sur la prestation de services en masse
Institution partenaire
Français / 01/01/1993
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
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
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
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...
Institution partenaire
English / 01/01/1993
Pages
Le portail de l'information économique suisse
© 2016 Infonet Economy