Concept

Abstraction (mathematics)

Related publications (34)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Towards Multi-Level Modeling of Self-Assembling Intelligent Micro-Systems

Jürgen Brugger, Alcherio Martinoli, Grégory Mermoud

We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and control. A microscopic agent-based model accounts for spatiality and serves as a ba ...

IFAAMAS2009

Concrete syntax definition for modeling languages

Frédéric Fondement

Model Driven Engineering (MDE) promotes the use of models as primary artefacts of a software development process, as an attempt to handle complexity through abstraction, e.g. to cope with the evolution of execution platforms. MDE follows a stepwise approac ...

EPFL2007

Amnesic Distributed Storage

Rachid Guerraoui

Distributed storage algorithms implement the abstraction of a shared register over distributed base objects. We study a specific class of storage algorithms, which we call amnesic: these have the pragmatic property that old values written in the implemente ...

2007

Advances in the Design and Implementation of Group Communication Middleware

André Schiper, Sergio Mena, Olivier Rütti, Rachele Fuzzati, Daniel Bünzli

Group communication is a programming abstraction that allows a distributed group of processes to provide a reliable service in spite of the possibility of failures within the group. The goal of the project was to improve the state of the art of group commu ...

Springer Berlin Heidelberg2006

Service Interface: A New Abstraction for Implementing and Composing Protocols

André Schiper, Olivier Rütti

In this paper we compare two approaches to the design of protocol frameworks -- tools for implementing modular network protocols. The most common approach uses events as the main abstraction for a local interaction between protocol modules. We argue that a ...

2006

Distributed Programming for Dummies: A Shifting Transformation Technique

Rachid Guerraoui, Bastian Pochon

The perfectly synchronized round model provides the powerful abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We present an implementation of this abstraction in a distributed system ...

2003

Lazy Parameter Passing

Patrick Eugster

Peer-to-peer (P2P) systems are strongly decentralized and asynchronous distributed settings involving a potentially large number of hosts. A common programing model for P2P infrastructures is that of a distributed hashtable (DHT), though which peers share ...

2003

Open Consensus

Rachid Guerraoui, Romain Boichat

This paper presents the abstraction of open consensus and argues for its use as an effective component for building reliable agreement protocols in practical asynchronous systems where processes and links can crash and recover. The specification of open co ...

2001

On the Abstraction of Objects, Components and Interfaces

There is a wide consensus that an object explicitly embodies an abstraction, but the exact meaning of this statement is not necessarily well understood. This paper argues that the abstraction embodied by an object (or a component) implementation is nothing ...

1999

Modelling Global Behaviour with Scenarios in Object-Oriented Analysis

This thesis investigates the concepts commonly used for modelling global behaviour in object-oriented analysis methods (use cases, interaction diagrams, scenarios, scripts etc.). It describes some common drawbacks of current approaches (e.g. assumption of ...

1997