Publications des institutions partenaires

S'abonner aux flux infonet economy   201 - 220 of 224

Access Consistency Memory Model for Messengers

The messenger paradigm is an alternative to computer communication based on the exchange of programs called messengers which are afterwards executed, instead of messages that are interpreted. The communication by messenger paradigm can be used to implement both low level software such as communication protocols and high level software such as distributed applications. Using the…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1996

Formalization of Agents and Multi-Agent Systems. The Special Case of Category Theory

This working paper lists some ideas on how to apply category theory to agents, and multi-agent systems. It focuses more on the distributivity and compositionality of agents, as well as on the emergence of sociality and properties, than on the intelligence or on the ability of agents to reason. It presents some categorical notions, and explains informally how they can be connected…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1996

Migration of legacy applications to a CORBA platform: a case study

An important problem that many large organizations face today concerns the support and evolution of their large (legacy) information systems. In this paper we present an approach for migrating large and interdependent legacy information systems to CORBA based platforms. Our approach allows continuous availability of the information systems, minimal manpower for the implementation and…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1996

Applications and Research directions of the Object Systems Group

We present an overview of the research directions, projects and applications of the Object Systems Group.

Institution partenaire

Université de Genève

Full Text

English / 01/01/1996

Contexts and Composite Objects

Many applications require the capability to define and manipulate a collection of related objects as a single unit. Object-oriented database models and systems usually provide the concept of composite object for that purpose. The concept of context that we propose here provides another, more general, way to view and manipulate collections of objects. We compare the two concepts both…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

Evolution Features of the F2 OODBMS

Features specially devoted to schema evolution in the F2 object-oriented database system are presented in this paper. They include a meta-circular and reflective model where primitive operations (create, update, delete) on schema objects form a complete taxonomy of schema changes. All the schema objects of a database are updatable and the consequences of these changes on objects are…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

The Messenger paradigm and its implications on distributed systems

Most distributed systems are built on top of a message exchange infrastructure. Processes coordinate their execution by exchanging messages which are interpreted according to a pre-established set of protocols. We present in this paper a novel way of communicating which does not require the preconfiguration of protocol entities. The host initiating the communication has the ability…

Institution partenaire

Université de Genève

Full Text

English / 01/01/1995

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

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

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

Seiten

Le portail de l'information économique suisse

© 2016 Infonet Economy