Zobrazeno 1 - 10
of 47
pro vyhledávání: '"ASSL"'
Autor:
EMIL VASSEV, MIKE HINCHEY
Publikováno v:
TASK Quarterly, Vol 25, Iss 2 (2021)
Autonomic computing promises computer systems capable of self-management, which augurs great promise for unmanned spacecraft. Such spacecraft are extremely appropriate for deep space exploration missions because the former bring onboard intelligence
Externí odkaz:
https://doaj.org/article/b14d396ea46b4df6971cb9ad08f34c73
Autor:
Ricardo Rodrigues Mastroti, Eduinetty Ceci Pereira Moreira de Sousa, Denis Moledo de Souza Abessa, Vânia Sass
Publikováno v:
Brazilian Journal of Oceanography, Vol 46, Iss 2, Pp 187-193 (1998)
Com a finalidade de avaliar a biodegradabilidade de quatro tensoativos aniônicos (ASSL, DSS, n-DBSS, TPBSS) em água do mar, foram realizados testes, de 19 dias, seguindo o método exigido pelo Ministério da Saúde para a aprovação de produtos co
Externí odkaz:
https://doaj.org/article/c6aaeb54c5a843e9a105ab2a2b3926cd
Autor:
Eduinetty Ceci Pereira Moreira de Sousa, Denis Moledo de Souza Abessa, Ricardo Rodrigues Mastroti, Vânia Sass
Publikováno v:
Revista Brasileira de Oceanografia; v. 46 n. 2 (1998); 187-193
Revista Brasileira de Oceanografia
Universidade de São Paulo (USP)
instacron:USP
Revista Brasileira de Oceanografia
Universidade de São Paulo (USP)
instacron:USP
Com a finalidade de avaliar a biodegradabilidade de quatro tensoativos aniônicos (ASSL, DSS, n-DBSS, TPBSS) em água do mar, foram realizados testes, de 19 dias, seguindo o método exigido pelo Ministério da Saúde para a aprovação de produtos co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::012a5ee7da1f08204a57ac793724bf3f
https://doi.org/10.1590/s1679-87591998000200007
https://doi.org/10.1590/s1679-87591998000200007
Autor:
Emil Vassev, Mike Hinchey
Publikováno v:
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems ISBN: 9783642212918
Monterey Workshop
Monterey Workshop
non-peer-reviewed We discuss our experiences in building tools for software verification of autonomic systems developed with the Autonomic System Specification Language (ASSL). ASSL is a software framework that aims to assist developers of autonomic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1384085cb48068f792387f68226d20ec
https://doi.org/10.1007/978-3-642-21292-5_1
https://doi.org/10.1007/978-3-642-21292-5_1
Autor:
Emil Vassev, Mike Hinchey
peer-reviewed The increasing complexity of contemporary embedded computing systems requires the use of selfmanagement in order to handle unforeseen changes in both hardware and control software. The idea behind computer systems capable of self-manage
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::315546bc8066f9824fd11cccac2c3596
Autor:
Vassev, Emil, Mokhov, Serguei A.
non-peer-reviewed In this paper, we discuss our research towards developing special properties that introduce autonomic behavior in pattern-recognition systems. In our approach we use ASSL (Autonomic System Speci cation Language) to formally develop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::1647ab8489632b50df535a5683145fb8
Autor:
Emil Vassev, Mike Hinchey
Publikováno v:
Software Engineering and Formal Methods ISBN: 9783642246890
SEFM
SEFM
peer-reviewed The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due to the synthesis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d7c8e5e7acb4ff1ded31afac331cd08f
Autor:
Emil Vassev, Tiziana Margaria, Bernhard Steffen, Marco Bakera, Christian Wagner, Mike Hinchey
Publikováno v:
2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems.
peer-reviewed Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used succes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::031cd04ca92220671b8575ee33173ddc
https://doi.org/10.1109/ease.2010.23
https://doi.org/10.1109/ease.2010.23