Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Angel Julián Martín Fernández"'
Autor:
Esperanza Ayuga Téllez, Mª Angeles Grande Ortiz, Concepción González García, Angel Julián Martín Fernández, Ana Isabel García García
Publikováno v:
Journal of Systemics, Cybernetics and Informatics, Vol 6, Iss 2, Pp 23-27 (2008)
In many fields of biosystems engineering, it is common to find works in which statistical information is analysed that violates the basic hypotheses necessary for the conventional forecasting methods. For those situations, it is necessary to find alt
Externí odkaz:
https://doaj.org/article/08f7ec56da0f47468af31deb23c33a55
Publikováno v:
Estudios Geográficos, Vol 65, Iss 255, Pp 321-341 (2004)
Estudios Geográficos; Vol 65, No 255 (2004); 321-341
Estudios Geográficos; Vol. 65 No. 255 (2004); 321-341
Estudios Geográficos; Vol. 65 Núm. 255 (2004); 321-341
Estudios Geográficos
Consejo Superior de Investigaciones Científicas (CSIC)
Estudios Geográficos; Vol 65, No 255 (2004); 321-341
Estudios Geográficos; Vol. 65 No. 255 (2004); 321-341
Estudios Geográficos; Vol. 65 Núm. 255 (2004); 321-341
Estudios Geográficos
Consejo Superior de Investigaciones Científicas (CSIC)
Leisure or business? Is it the hunt a really profitable activity? If it is like that, who are the biggest beneficiaries? How it has influenced in the most disadvantaged rural zones? Here there are some of the questions about economic and social reali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e302fb35558c54428d5d904287a451c8
http://estudiosgeograficos.revistas.csic.es/index.php/estudiosgeograficos/article/view/187
http://estudiosgeograficos.revistas.csic.es/index.php/estudiosgeograficos/article/view/187
Publikováno v:
The Smart Computing Review. 3
This paper presents and evaluates a new communications architecture to provide services to terrestrial sensor networks using a space delay-tolerant networking (DTN)?based solution. We propose a new multiple access mechanism based on extended unslotte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d5e2b7b100424fcb22d5403d3f72568
https://doi.org/10.6029/smartcr.2013.05.009
https://doi.org/10.6029/smartcr.2013.05.009
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
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:
Automatic Verification Methods for Finite State Systems ISBN: 9783540521488
Automatic Verification Methods for Finite State Systems
Automatic Verification Methods for Finite State Systems
LOTOS is a Formal Description Technique developed within ISO to specify services and protocols. This paper describes a tool for doing LOTOS to LOTOS transformations. It has applications in state exploration, deadlock detection, testing, validation an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f5124cf540f152585cc15ee36da5c17
https://doi.org/10.1007/3-540-52148-8_25
https://doi.org/10.1007/3-540-52148-8_25
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