Run-time monitoring and on-line testing of middleware based communication services
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.
The aim of this paper is to present an experimental validation of a frequency- domain approach to the solution of the lightning electromagnetic field-to- buried cable coupling equations. The coupling to the inner conductor is evaluated using the concept of ...
In this thesis, the modelling and scheduling of remanufacturing systems is considered. An eXtended two-level Coloured Petri Net (XCPN) model is proposed for the objective of modelling remanufacturing shops. The extended model integrates the formalism of an ...
Determinisation and complementation are foundational notions in computer science. When considering finite automata on finite words nondeterminisation and complementation are one and the same. Given a nondeterministic finite automaton there exists an expone ...
The Object Constraint Language (OCL) offers so-called non-deterministic constructs which are often only poorly understood even by OCL experts. They are widely ignored in the OCL literature, their semantics given in the official language description of OCL ...
Highly quantitative biomarkers of neurodegenerative disease remain an important need in the urgent quest for disease-modifying therapies. For Huntington's disease (HD), a genetic test is available (trait marker), but necessary state markers are still in de ...
Flexural and torsional rigidity are important properties of skis. However, the flexural and torsional rigidity that lead to optimal performance remain to be established. In the present study, four pairs of slalom skis that differed in flexural and torsiona ...
For networks on chips to succeed as the next generation of on-chip interconnect, researchers must solve the major problems involved in designing, implementing, verifying, and testing them. This article surveys the latest NoC architectures, methods, and too ...
This paper presents an overview on the IF toolset which is an environment for modelling and validation of heterogeneous real-time systems. The toolset is built upon a rich formalism, the IF notation, allowing structured automata-based system representation ...
A mechanical slit mask mechanism has been designed for the Near Infrared Spectrograph of the James Webb Space Telescope. This mechanism was successfully tested at a cryogenic temperature of 30K, in vacuum. The reconfigurable mask allows to form 24 optical ...
SPIE Society of Photo-Optical Instrumentation Engineers2004
