Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Madeira, Alexandre Leite Castro"'
Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a Boolean outcome nor by a probability distribution. This paper introduces a se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::9a2227c1a90167f2ccd7f799f9ce2bbb
https://hdl.handle.net/1822/78051
https://hdl.handle.net/1822/78051
Recon gurable software systems behave di erently in di erent modes of operation and commute between them along their lifetime. Such di erent behaviours can be modelled by a transition system, to express the overall system's dynamics, but with structu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::5067c3d6421807db16c4a7804db01019
https://hdl.handle.net/1822/69409
https://hdl.handle.net/1822/69409
Publicado em "Theoretical aspects of computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings". ISBN 978-3-319-46749-8
This paper introduces a logic to support the specification and developme
This paper introduces a logic to support the specification and developme
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::cd9eb9b39c5981b2ea44c62529dbf8a8
https://hdl.handle.net/1822/43346
https://hdl.handle.net/1822/43346
Autor:
Barbosa, L. S., Martins, Manuel A., Madeira, Alexandre Leite Castro, Neves, Renato Jorge Araújo
Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of fi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::6e65f5a970b307d25116d35b181b86cf
https://hdl.handle.net/1822/43309
https://hdl.handle.net/1822/43309
Architectural (bad) smells are design decisions found in software architectures that degrade the ability of systems to evolve. This paper presents an approach to verify that a software architecture is smellfree using the Archery architectural descrip
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::91b4f814dd56036e18be13dc5a7ac841
https://hdl.handle.net/1822/40552
https://hdl.handle.net/1822/40552
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Programa de doutoramento em Informática das Universidades do Minho, de Aveiro e do Porto
The qualifier reconfigurable is used for software systems which behave differently in different modes of operation (often called configurations) and commut
The qualifier reconfigurable is used for software systems which behave differently in different modes of operation (often called configurations) and commut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d06558f909ad5755537a7c3da2a550c8
Doctoral programme in Computer Science
Esta tese debruça-se sobre computações pesadas ou, por outras palavras, programas e asserções sobre estes cuja execução ou avaliação tem alguma forma de peso associado. Por peso queremos dizer um v
Esta tese debruça-se sobre computações pesadas ou, por outras palavras, programas e asserções sobre estes cuja execução ou avaliação tem alguma forma de peso associado. Por peso queremos dizer um v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::c706b764eec5ca26a3af5e6609de64a8
https://hdl.handle.net/1822/77908
https://hdl.handle.net/1822/77908
Autor:
Cruz, Ana Luzia
Dissertação de mestrado integrado em Engenharia Física
Superconducting quantum circuits are a promising model for quantum computation, al though their physical implementation faces some adversities due to the hardly unavoidable decoherence of
Superconducting quantum circuits are a promising model for quantum computation, al though their physical implementation faces some adversities due to the hardly unavoidable decoherence of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::dad95d58bbdeade709cfa7742252b099
https://hdl.handle.net/1822/81065
https://hdl.handle.net/1822/81065
Dissertação de mestrado integrado em Engenharia Física
This dissertation introduces a logic aimed at combining dynamic logic and paraconsistent logic for application to the quantum domain, to reason about quantum phase properties: Paraconsist
This dissertation introduces a logic aimed at combining dynamic logic and paraconsistent logic for application to the quantum domain, to reason about quantum phase properties: Paraconsist
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::e7640523a5cee738dc648e8da6d8870c
https://hdl.handle.net/1822/82761
https://hdl.handle.net/1822/82761