Concept

Machine abstraite

Publications associées (57)

Fast Prototyping and Refinement of Complex Dynamic Data Types in Multimedia Applications for Consumer Devices

Portable consumer devices are increasing more and more their capabilities and can now implement new multimedia algorithms that were resewed only for powerful workstations few years ago. Unfortunately, the original design characteristics of such algorithms ...

IEEE Signal Processing2004

Towards Flexible Finite-State-Machine-Based Protocol Composition

André Schiper, Sergio Mena, Nils Richard Ekwall, Stefan Pleisch

We propose a novel approach to the composition of group communication protocols. In this approach, components are modelled as finite state machines communicating via signals. We introduce two building blocks, called adaptor and adaplexor, that ease the dev ...

2004

An Artificial Immune System for Misbehavior Detection in Mobile Ad Hoc Networks with both Innate, Adaptive Subsystems and with Danger Signal

Jean-Yves Le Boudec, Slavisa Sarafijanovic

The document itself is an extended abstract. ...

2004

Real-time computing without stable states: a new framework for neural computation based on perturbations

Henry Markram

A key challenge for neural modeling is to explain how a continuous stream of multimodal input from a rapidly changing environment can be processed by stereotypical recurrent circuits of integrate-and-fire neurons in real time. We propose a new computationa ...

2002

Getting Rid of Cheats and Liars in Mobile Ad-hoc Networks.

Jean-Yves Le Boudec, Sonja Buchegger

presentation with extended abstract (see pdf) ...

2002

Event Systems : How to Have Your Cake and Eat It Too

Rachid Guerraoui, Sidath Handurukande, Patrick Eugster

This paper addresses the fundamental tradeoffs in event systems between scalability (of event filtering, routing, and delivery mechanisms), expressiveness (when describing interests in events), and event safety (ensuring encapsulation and type-safe interac ...

2002

A Nominal Theory of Objects with Dependent Types

Martin Odersky, Vincent Cremet, Matthias Zenger

We design and study newObj, a calculus and dependent type system forobjects and classes which can have types as members. Type members canbe aliases, abstract types, or new types. The type system can modelthe essential concepts of Java's inner classes as we ...

2002

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller

Stanislav Chachkov

We present an example of a construction of an embedded software system-a controller-from the formal specification to executable code. The CO-OPN (Concurrent Object Oriented Petri Net) formal specification language is used for modelling the controller and t ...

IEEE Computer Society Press2001

Objects + Views = Components?

Martin Odersky

In support of flexible composition, components need to be adaptable and they need to have first-class plugs. Abstract state machines and object-oriented programming each satisfy one of these requirements very well but satisfy the other only incompletely. T ...

2000

Decorrelated Fast Cipher: an AES Candidate (Extended Abstract)

Serge Vaudenay, Jacques Stern

This report presents a response to the call for candidates issued by the National Institute for Standards and Technologies (the Advanced Encryption Standard project). The proposed candidate - called DFC as for "Decorrelated Fast Cipher" - is based on the r ...

1998

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search