Formal methods for communication services: meeting the industry expectations
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.
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 ...
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 ...
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 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, ...
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 ...
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, ...
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 ...
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 ...