A formal framework to reduce communications in communication systems

Authors:
Manuel Núñez;Ismael Rodríguez;Fernando Rubio
Affiliations:
Facultad Informática, Universidad Complutense de Madrid, Madrid, Spain;Facultad Informática, Universidad Complutense de Madrid, Madrid, Spain;Facultad Informática, Universidad Complutense de Madrid, Madrid, Spain
Venue:
IICS'04 Proceedings of the 4th international conference on Innovative Internet Community Systems
Year:
2004

Citing 5
Cited 0

Design and validation of computer protocols

Design and validation of computer protocols
Finite state machine based formal methods in protocol conformance testing: from theory to implementation

Computer Networks and ISDN Systems - Protocol specification, testing and verification
Computer-aided verification of coordinating processes: the automata-theoretic approach

Computer-aided verification of coordinating processes: the automata-theoretic approach
Introduction To Automata Theory, Languages, And Computation

Introduction To Automata Theory, Languages, And Computation
A Technique for High-Performance Data Compression

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a method that, given a communicating system, allows us to reduce on average the number of messages sent. The basic idea is to shortcut the most frequent dialogs appearing in the communications. By doing so, some large dialogs can be reduced to only two messages. In addition, not only the number of messages, but also the size of them, can be minimized, on average, by considering the probabilities of sending each message in each state.