Formal methods for communication services: meeting the industry expectations
Related publications (42)
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.
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 ...
The cities of Porto and Gaia have grown exponentially towards the seaside, but mainly to the inland. The river Douro, being the sheer existence of the two cities, has been left to an absolute state of lethe. The Douro River has become an amorphous element, ...
There is growing interest in using alternative, resistless patterning techniques. Stencil lithography or shadow masking is one of the possible solutions. By means of physical vapor deposition many different materials can be evaporated in vacuum and pattern ...
It is clear to all, after a moments thought, that nature has much wemight be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name a few. The implementation of bio-inspired systems in hardware has however bee ...
The increasing importance of sustainability in urban and architectural design is strongly questioning the actual logic of built environment dispersion. In this context, the regeneration of urban wastelands constitutes an important potential for urban densi ...
The implementation of bio-inspired systems in hardware has traditionally been more a matter of artistry than of method. The reasons are multiple, but one of the main problems has always been the lack of a universal platform, of a standardized architecture, ...
This paper presents a general overview of the current research activities in the European PICASSO project on speaker verification for telephone applications. First, the general formalism used by the project is described. Then the scientific issues under fo ...
This paper presents a general overview of the current research activities in the European PICASSO project on speaker verification for telephone applications. First, the general formalism used by the project is described. Then the scientific issues under fo ...
The Collaborative Concept Mapping project is a joint research project between IMD and EPFL. The goal of the project is to create a collaborative tool that helps managers to define business strategies in the face of complex situations. Addressing complex pr ...
We survey formal methods as they are applied to the development of communication services. We report on industrial and academic projects, consider different communication architectures and work related to the feature interaction problem. Based on our surve ...