Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Konstantinos Mokos"'
Publikováno v:
IEEE Access, Vol 10, Pp 84094-84119 (2022)
System requirements specify how a system meets stakeholder needs. They are a partial definition of the system under design in natural language that may be restricted in syntax terms. Any natural language specification inevitably lacks a unique interp
Externí odkaz:
https://doaj.org/article/77257b14a7b041929bb71749a800af5b
Publikováno v:
Array, Vol 7, Iss , Pp 100030- (2020)
System requirements define conditions and capabilities to be met by a system under design. They are a partial definition in natural language, with inevitable ambiguities. Formalisation concerns with the transformation of requirements into a specifica
Externí odkaz:
https://doaj.org/article/cda90da4e3f94dc186c4bd772895874b
Publikováno v:
International Journal of Digital Multimedia Broadcasting, Vol 2009 (2009)
Chroma is an important attribute of music and sound, although it has not yet been adequately defined in literature. As such, it can be used for further analysis of sound, resulting in interesting colorful representations that can be used in many task
Externí odkaz:
https://doaj.org/article/4afc32e0526e4f6bb44091d9bedc0095
Publikováno v:
Array, Vol 7, Iss, Pp 100030-(2020)
System requirements define conditions and capabilities to be met by a system under design. They are a partial definition in natural language, with inevitable ambiguities. Formalisation concerns with the transformation of requirements into a specifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef5bf72a4d7e5931ec03554f354ec602
https://doi.org/10.1016/j.array.2020.100030
https://doi.org/10.1016/j.array.2020.100030
The evolutional course of music through centuries has shown an incremental use of chromatic variations by composers and performers for melodies' and music sounds' enrichment. This chapter presents an integrated model, which contributes to the calcula
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3873d21c4e48df5ad3b43508df1fc3a9
https://doi.org/10.4018/978-1-5225-0264-7.ch005
https://doi.org/10.4018/978-1-5225-0264-7.ch005
Autor:
Viet Yen Nguyen, Konstantinos Mokos, Thomas Noll, Joost-Pieter Katoen, Bart Postma, Panagiotis Katsaros, Marco Bozzano, Marco Roveri, Alessandro Cimatti
Publikováno v:
Reliability engineering & system safety, 132, 20-35. Elsevier
The size and complexity of software in spacecraft is increasing exponentially, and this trend complicates its validation within the context of the overall spacecraft system. Current validation methods are labor-intensive as they rely on manual analys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a08a541ca3697dd3a62e4233fc3706d
https://research.utwente.nl/en/publications/70f1048c-d0fa-4a86-8949-23146e64f494
https://research.utwente.nl/en/publications/70f1048c-d0fa-4a86-8949-23146e64f494
Autor:
Panagiotis Katsaros, Vangelis Vasiliades, George Meditskos, Nick Bassiliades, Konstantinos Mokos
Publikováno v:
EUROMICRO-SEAA
Safety assessment of dependable systems is a complex verification task that is desirable to be explicitly incorporated into the development cycle during the very early stages of a project. The main reason is that the cost to correct a safety error at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8afbdfb1bb6859065582ed56617864a5
https://doi.org/10.1109/seaa.2010.60
https://doi.org/10.1109/seaa.2010.60
Publikováno v:
International Journal of Digital Multimedia Broadcasting, Vol 2009 (2009)
Chroma is an important attribute of music and sound, although it has not yet been adequately defined in literature. As such, it can be used for further analysis of sound, resulting in interesting colorful representations that can be used in many task
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4369c151c0d04132cd77a0c519d6975d