Zobrazeno 1 - 10
of 144
pro vyhledávání: '"Component oriented programming"'
Publikováno v:
Automation in Construction, 129:103778. Elsevier
Although achievements have been made in research on robotic construction for specific construction tasks, robots are still not capable of working together to accomplish multiple construction tasks. To achieve this goal it is necessary to study how to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::618aad5052bba984dccd95897a4d2380
https://research.tue.nl/en/publications/75d8fc27-a7cb-4e83-ba2d-b9be2de2d217
https://research.tue.nl/en/publications/75d8fc27-a7cb-4e83-ba2d-b9be2de2d217
Autor:
Francisco Heron de Carvalho Junior, Wagner Guimarães Al-Alam, Allberson Bruno de Oliveira Dantas
Publikováno v:
Concurrency and Computation: Practice and Experience. 33
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abde8e1fa4b1c17a59845c3301823a0b
https://doi.org/10.1002/cpe.6225
https://doi.org/10.1002/cpe.6225
Publikováno v:
Requirements Engineering: Foundation for Software Quality ISBN: 9783030731274
REFSQ
REFSQ
The majority of requirements formalisation techniques operate on textual requirements as input. To establish and verify the reliability and coverage of such techniques, a large set of textual requirements with diverse structures and formats is requir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ebb3e2146a3c2035f958f9b8c32a2f25
https://doi.org/10.1007/978-3-030-73128-1_4
https://doi.org/10.1007/978-3-030-73128-1_4
Autor:
Petra van den Bos, Frits W. Vaandrager
Publikováno v:
Formal Aspects of Component Software ISBN: 9783030409135
FACS
FACS
For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd9a24844c2172bc6c1fdc30c8e94ac6
https://doi.org/10.1007/978-3-030-40914-2_10
https://doi.org/10.1007/978-3-030-40914-2_10
Autor:
Kirill Belyaev, Indrakshi Ray
Publikováno v:
Computers & Security. 71:15-35
In modern day operating systems, such as Linux, it is now possible to handle a large number of concurrent application services on a single server instance. Individual application components of such services may run in different isolated runtime envir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::514c6026e89ed9b6c8685a835422f51d
https://doi.org/10.1016/j.cose.2017.06.004
https://doi.org/10.1016/j.cose.2017.06.004
Autor:
Christian Richter
Publikováno v:
SNE Simulation Notes Europe. 27:125-130
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f60c01fa206f06bddc5d890110e87121
https://doi.org/10.11128/sne.27.tn.10381
https://doi.org/10.11128/sne.27.tn.10381
Autor:
Agnieszka Generowicz, Krzysztof Gaska
Publikováno v:
Architecture, Civil Engineering, Environment. 10:117-130
Poland was collected 9.6 million tonnes of municipal waste in 2012 (plus update). The primary method of dealing with municipal waste collected was organized depositing them in landfills. Mixed municipal waste accounted for almost 90% of all municipal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fadc537dce150e6b341e45acc687950
https://doi.org/10.21307/acee-2017-012
https://doi.org/10.21307/acee-2017-012
Publikováno v:
Energy. 112:353-363
In this paper, optimization of a post combustion carbon capture process based on two different objective functions of energy and utility requirements and associated costs is presented. CO2 residual mole fraction of the regenerated solution, solution
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c53d11b7dbf92bf75c50f46afc983375
https://doi.org/10.1016/j.energy.2016.06.063
https://doi.org/10.1016/j.energy.2016.06.063
Publikováno v:
Scientific and Technical Volga region Bulletin. 6:116-119
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c7385c1ea4bad44ec0e93ddfa166a4f
https://doi.org/10.24153/2079-5920-2016-6-2-116-119
https://doi.org/10.24153/2079-5920-2016-6-2-116-119