Mostrar el registro sencillo del ítem
Ponencia
Specifying Dynamic Software Architectures by Using Membrane Systems
dc.creator | Cavaliere, Matteo | |
dc.creator | Deufemia, Vincenzo | |
dc.date.accessioned | 2016-02-25T11:07:43Z | |
dc.date.available | 2016-02-25T11:07:43Z | |
dc.date.issued | 2005 | |
dc.identifier.isbn | 84-609-6771-9 | es |
dc.identifier.uri | http://hdl.handle.net/11441/36556 | |
dc.description.abstract | We present a formalism for the definition of dynamic software architectures in terms of membrane systems, distributed computational models inspired from the structure and the functioning of living cells. The dynamics (the evolution) of the overall architecture is defined by rules that modify the contents (data) and structure of the membrane system. The evolution of the membrane system can be statically checked to ensure that some properties imposed by the architecture are preserved. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Third Brainstorming Week on Membrane Computing, 87-106. Sevilla, E.T.S. de Ingeniería Informática, 31 de Enero-4 de Febrero, 2005, | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Specifying Dynamic Software Architectures by Using Membrane Systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/36556 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
bravol87.pdf | 243.7Kb | [PDF] | Ver/ | |