Publication

Finding Information in Multimedia Records of Meetings

Related publications (53)

Scale-up of polymerization processes

A review. Scale-up and/or scale-down procedures are crucial during the development of chem. processes. These procedures should be integrated to form a multidisciplinary approach encompassing several branches of science and engineering. The challenge is to ...

2002

Specifying reactive system behavior

Shane Sendall

Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is used to make an unsatisfactory real world situation into ...

EPFL2002

Rapid Prototyping of Formally Modelled Distributed Systems

This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is ill ...

IEEE1999

Run-time monitoring of distributed applications

Shawn Koppenhoefer

n this paper we present a method to perform run-time monitoring of distributed applications built on top of a distributed object oriented processing environment. For this, we instrument the code at the compilation time in order to send notifications to an ...

1998

Direct rapid tooling: a review of current research

Rémy Glardon

Rapid prototyping technologies are now evolving toward rapid tooling. The reasons for this extension are found in the need to further reduce the time-to-market by shortening not only the development phase, but also the industrialization phase of the manufa ...

Emerald1998

An incremental prototyping methodology for distributed systems based on formal specifications

This thesis presents a new incremental prototyping methodology for formally specified distributed systems. The objective of this methodology is to fill the gap which currently exists between the phase where a specification is simulated, generally using som ...

EPFL1997

An Evolutive Distributed Algebraic Petri Nets Simulator

This paper presents a new prototyping methodology for large concurrent systems modelled by the means of hierarchical algebraic Petri nets. First, the source specifications are automatically translated into a main-stream object-oriented language, thus provi ...

Society for Computer Simulation International1996

The Goals of the Analysis Model

When developing an analysis model, the notation itself does not suffice for determining the content of the analysis model and the end of the analysis process. For this, the goals and intents of the analysis model are used, either implicitly or explicitly. ...

1996

The Model Architecture Frame: Quality Managment in a Multi Method Environment

Most quality management systems (QMS) which integrate software development are based on a single software development method. This particular method is enforced on all projects. The resulting QMS has to fulfil the ISO 9000 standards [13] and enables the co ...

1995

Intégration énergétique de procédés industriels par la méthode du pincement étendue aux procédés discontinus.

Daniel Favrat, Pierre Krummenacher

In pinch analysis, the tools and methods specifically developed for the modeling, the debottlenecking and the rescheduling of batch processes have been rewieved (time slice model, cascade analysis, overal plant bottleneck, time event model, batch cascade c ...

1995

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.