Zobrazeno 1 - 10
of 24
pro vyhledávání: '"L. Vidaller"'
Publikováno v:
Techniques Sciences Méthodes. :77-82
Comme de nombreux services publics d’assainissement, le Syndicat interdepartemental pour l’assainissement de l’agglomeration parisienne (Siaap) s’est interesse a la mise en place d’un outil de gestion de patrimoine du reseau adapte a ses be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7a68379a381f88db2130742065b648d
https://doi.org/10.1051/tsm/201212077
https://doi.org/10.1051/tsm/201212077
Publikováno v:
International Journal of Satellite Communications. 13:473-484
In recent years technological evolution has made it possible to develop portable meshed VSAT networks (PMVN). Among the distinguishing features of this satellite network family we can cite the following : portable terminals, direct connectivity is al
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c71e6387528b8ba7c741c67db164c1e9
https://doi.org/10.1002/sat.4600130605
https://doi.org/10.1002/sat.4600130605
Publikováno v:
Formal Aspects of Computing. 5:253-281
A common characteristic of process algebras is that they permit us the partial description of concurrent systems by including non-deterministic behaviours. These non-deterministic components are abstractions of the actual ones, and they can be detail
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::566a6dc7f4dd791180c4844319766e42
https://doi.org/10.1007/bf01211557
https://doi.org/10.1007/bf01211557
Publikováno v:
Computer Networks and ISDN Systems. 25:791-814
This paper describes a LOTOS (ISO International Standard 8807) based technique (LOTOS-TP), and a performance evaluation tool (TOPO-SIM) based on it. LOTOS-TP is able to cope with the modeling of timing and probabilistic system characteristics. It is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::114bd485a28b7031f4c5644c2cb816a4
https://doi.org/10.1016/0169-7552(93)90049-a
https://doi.org/10.1016/0169-7552(93)90049-a
Publikováno v:
Proceedings. Electrotechnical Conference Integrating Research, Industry and Education in Energy and Communication Engineering'.
The authors describe the design and development of terminals for the mobile communications system PRODAT. They consider the network topology and the solutions relating to different technology fields, such as forward error correction codes, multiple a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00afa7d7961b9f1e4a710b88171af3bb
https://doi.org/10.1109/melcon.1989.50088
https://doi.org/10.1109/melcon.1989.50088
Publikováno v:
The OSI95 Transport Service with Multimedia Support ISBN: 9783540583165
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0144fba94faa5c64badcd3beff1c10e4
https://doi.org/10.1007/978-3-642-85165-0_19
https://doi.org/10.1007/978-3-642-85165-0_19
Publikováno v:
The OSI95 Transport Service with Multimedia Support ISBN: 9783540583165
The OSI95 Transport Service with Multimedia Support
The OSI95 Transport Service with Multimedia Support
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cb72673ee95a2423e6988a7055a823a
https://doi.org/10.1007/978-3-642-85165-0_21
https://doi.org/10.1007/978-3-642-85165-0_21
Publikováno v:
PSTV
This paper shows how LOTOS has been applied to the design and development of real communication systems in many stages of the software life cycle. These stages commence with the system analysis, and end with its final implementation. The system analy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f06721d898ee30e3fb9cb9121a03e81e
https://doi.org/10.1016/b978-0-444-89874-6.50018-0
https://doi.org/10.1016/b978-0-444-89874-6.50018-0
Publikováno v:
International Journal of Satellite Communications; 1995, Vol. 13 Issue 6, p473-484, 12p
Publikováno v:
Annual Review in Automatic Programming. 14:7-13
The article describes an experience on using the formal description technique LOTOS for developing a protocol architecture on a real time embedded multiprocessor systems. The product developed during the project is a satellite communications mobile t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4914a70863f0be826989c92cc0857d3
https://doi.org/10.1016/0066-4138(88)90002-x
https://doi.org/10.1016/0066-4138(88)90002-x