|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 15 keywords
|
|
|
|
|
Results
Found 5 publication records. Showing 5 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Young-Joo Moon, Alexandra Silva, Christian Krause, Farhad Arbab |
A Compositional Semantics for Stochastic Reo Connectors  |
FOCLASA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef |
From Coordination to Stochastic Models of QoS. |
COORDINATION |
2009 |
DBLP DOI BibTeX RDF |
Performance evaluation, Markov Chains, Coordination language, Reo |
| 1 | Farhad Arbab, Sun Meng, Young-Joo Moon, Marta Z. Kwiatkowska, Hongyang Qu |
Reo2MC: a tool chain for performance analysis of coordination models. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
performance analysis, markov chain, coordination model, reo |
| 1 | Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon |
Component Connectors with QoS Guarantees. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
Quantitative Constraint Automata, Quality of Service, Coordination, Composition, Reo |
| 1 | Il-Gon Kim, Young-Joo Moon, Inhye Kang, Ji-Yeon Lee, Keun-Hee Han, Jin-Young Choi |
Model-Based Analysis of Money Accountability in Electronic Purses. |
WINE |
2005 |
DBLP DOI BibTeX RDF |
e-commerce protocol, money accountability, security, model checking, FDR, Formal specification and verification, CEPS, Casper |
Displaying result #1 - #5 of 5 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")