Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Synthesis of Reo circuits from scenario-based interaction specificationsMeng, Sun ; Arbab, Farhad ; Baier, ChristelScience of computer programming, 2011-08, Vol.76 (8), p.651-680 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
Connectors as designs: Modeling, refinement and test case generationMeng, Sun ; Arbab, Farhad ; Aichernig, Bernhard K. ; Aştefănoaei, Lăcrămioara ; de Boer, Frank S. ; Rutten, JanScience of computer programming, 2012-07, Vol.77 (7-8), p.799-822 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
QoS-Driven Service Selection and Composition Using Quantitative Constraint AutomataMeng, Sun ; Arbab, FarhadFundamenta informaticae, 2009-01, Vol.95 (1), p.103-128 [Periódico revisado por pares]Texto completo disponível |
|
4 |
Material Type: Ata de Congresso
|
Towards Using Reo for Compliance-Aware Business Process ModelingArbab, Farhad ; Kokash, Natallia ; Meng, SunISoLA, 2008, p.108-123 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
5 |
Material Type: Ata de Congresso
|
QoS-driven service selection and compositionSun Meng ; Arbab, F.2008 8th International Conference on Application of Concurrency to System Design, 2008, p.160-169IEEETexto completo disponível |
|
6 |
Material Type: Ata de Congresso
|
Synthesis of Connectors from Scenario-Based Interaction SpecificationsArbab, Farhad ; Meng, SunCBSE, 2008, p.114-129 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
7 |
Material Type: Ata de Congresso
|
From Coordination to Stochastic Models of QoSArbab, Farhad ; Chothia, Tom ; van der Mei, Rob ; Meng, Sun ; Moon, YoungJoo ; Verhoef, ChrétienCOORDINATION, 2009, p.268-287 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |
|
8 |
Material Type: Artigo
|
Connectors as DesignsMeng, Sun ; Arbab, FarhadElectronic Notes in Theoretical Computer Science, 2009-11, Vol.255 (10), p.119-135Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Component Connectors with QoS GuaranteesHutchison, David ; Kanade, Takeo ; Kittler, JosefCOORDINATION, 2007, Vol.4467, p.286-304 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergSem texto completo |
|
10 |
Material Type: Ata de Congresso
|
Web services choreography and orchestration in Reo and constraint automataMeng, Sun ; Arbab, FarhadProceedings of the 2007 ACM symposium on applied computing, 2007, p.346-353ACMTexto completo disponível |