Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6830
Full metadata record
DC FieldValueLanguage
dc.contributor.authorOliveira,Nen
dc.contributor.authorLuís Soares Barbosaen
dc.date.accessioned2018-01-17T19:17:51Z-
dc.date.available2018-01-17T19:17:51Z-
dc.date.issued2016en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/6830-
dc.identifier.urihttp://dx.doi.org/10.4204/eptcs.228.5en
dc.description.abstractApplications developed over the cloud coordinate several, often anonymous, computational resources, distributed over different execution nodes, within flexible architectures. Coordination models able to represent quantitative data provide a powerful basis for their analysis and validation. This paper extends IMCReo, a semantic model for Stochastic Reo based on interactive Markov chains, to enhance its scalability, by regarding each channel and node, as well as interface components, as independent stochastic processes that may (or may not) synchronise with the rest of the coordination circuit.en
dc.languageengen
dc.relation5603en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titleAn Enhanced Model for Stochastic Coordinationen
dc.typearticleen
dc.typePublicationen
Appears in Collections:HASLab - Articles in International Journals

Files in This Item:
File Description SizeFormat 
P-00M-51W.pdf132.97 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.