This paper is on the Consensus problem, in the context of asynchronous distributed systems made of n processes, at most f of them may crash. A family of failure detector classes s...
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
This survey presents the information theory of wideband communication systems, a research area that became active in the last decade following technological and regulatory advance...
Personal Communication Support enhances control over reachability in telecommunication. Conversion and screening technologies of communication media, combined with QoS evaluation,...
Tom Pfeifer, Thomas Magedanz, Radu Popescu-Zeletin
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
Benjamin Fontan, Sara Mota, Pierre de Saqui-Sannes...