Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Iakovos Ouranos"'
Publikováno v:
Internet of Things ISBN: 9783030978174
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7230244a04aabecc7f35d24ba43e2138
https://doi.org/10.1007/978-3-030-97818-1_19
https://doi.org/10.1007/978-3-030-97818-1_19
Autor:
Joost Vennekens, Harold Boley, Theodoros Mitsikas, Marjolein Deryck, Panayiotis Frangos, Iakovos Ouranos, Petros Stefaneas, Sofia Almpani
Publikováno v:
Rules and Reasoning ISBN: 9783030310943
RuleML+RR
RuleML+RR
This paper studies Knowledge Bases (KBs) in PSOA RuleML and IDP, aligning, interoperating, and co-executing them for a use case of Air Traffic Control (ATC) regulations. We focus on the common core of facts and rules in both languages, explaining bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0637e831ab9eb3f9a74dfe866d6fed28
https://lirias.kuleuven.be/handle/123456789/640163
https://lirias.kuleuven.be/handle/123456789/640163
Publikováno v:
Springer Proceedings in Mathematics & Statistics ISBN: 9783319681023
The constantly augmenting loads of the aviation industry inevitably define the evolutions in the field of Air Traffic Control. Relevant regulations are changing, in order to accommodate the increase in passenger, flight, and cargo numbers. This paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81dfa1ef1d8a4d2cb8001d35c575a7fa
https://doi.org/10.1007/978-3-319-68103-0_20
https://doi.org/10.1007/978-3-319-68103-0_20
Publikováno v:
IEICE Transactions on Information and Systems. :1160-1170
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aaeb7b95c316e083e50cb5cf5f5866aa
https://doi.org/10.1587/transinf.e97.d.1160
https://doi.org/10.1587/transinf.e97.d.1160
Autor:
E.G. Papkelis, Hristos T. Anastassiu, K.T. Karakatselos, A. Tzoulis, C.G. Moschovitis, Iakovos Ouranos, Panayiotis Frangos
Publikováno v:
IEEE Transactions on Antennas and Propagation. 58:233-238
A time-efficient high frequency analytical model for the calculation of the scattered field from a perfect electric conductor (PEC) plate is presented here, which is based on the physical optics (PO) approximation and the stationary phase method (SPM
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2cc1fa7ce8b697b363bc7b88da0bfb8a
https://doi.org/10.1109/tap.2009.2024015
https://doi.org/10.1109/tap.2009.2024015
Publikováno v:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :1986-1999
We present MobileOBJ, a formal framework for specifying and verifying mobile systems. Based on hidden algebra, the components of a mobile system are specified as behavioral objects or Observational Transition Systems, a kind of transition system, enr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4abb33b1dbc1ba3ec136bd3cbe160745
https://doi.org/10.1093/ietfec/e90-a.9.1986
https://doi.org/10.1093/ietfec/e90-a.9.1986
Autor:
Iakovos Ouranos, C.G. Moschovitis, Hristos T. Anastassiu, E. Vagenas, Panayiotis Frangos, K.T. Karakatselos, I. Psarros, E.G. Papkelis
Publikováno v:
IEEE Antennas and Propagation Magazine. 49:156-165
In this paper, a two-dimensional (2D) simulation method for the calculation of radio coverage in urban-area sites is presented, based on the analytical methods of physical optics (PO) and the physical theory of diffraction (PTD). The method takes int
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::73947e3a603ac0f74677ef919f8dc99c
https://doi.org/10.1109/map.2007.376622
https://doi.org/10.1109/map.2007.376622
Autor:
Iakovos Ouranos, Petros Stefaneas
Publikováno v:
Software Engineering Research, Management and Applications ISBN: 9783319009476
SERA (selected papers)
SERA (selected papers)
We sketch some first steps towards the definition of a protocol algebra based on the framework of behavioural algebraic specification. Following the tradition of representing protocols as state machines, we use the notion of Observational Transition
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7d520baddd5d1f57de4500793f34ba8d
https://doi.org/10.1007/978-3-319-00948-3_6
https://doi.org/10.1007/978-3-319-00948-3_6
Publikováno v:
Specification, Algebra, and Software ISBN: 9783642546235
Specification, Algebra, and Software
Specification, Algebra, and Software
In this paper we present briefly some of the engineering applications of the OTS/CafeOBJ method, conducted by researchers of the National Technical University of Athens in recent years. Such domains of applications include reactive rule-based systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d7508298b096ff7f13a438b76d43c62
https://doi.org/10.1007/978-3-642-54624-2_27
https://doi.org/10.1007/978-3-642-54624-2_27
Publikováno v:
Communications in Computer and Information Science ISBN: 9783642252051
ICETE (Selected Papers)
ICETE (Selected Papers)
The protection of the distribution of digital contents via mobile networks has been standardized by Open Mobile Alliance (OMA) with the proposition of the OMA Digital Rights Management System. When multiple licenses refer to the same content a decisi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ff8dd80f21930491f1785a8e4ce2061
https://doi.org/10.1007/978-3-642-25206-8_28
https://doi.org/10.1007/978-3-642-25206-8_28