10072 search results - page 50 / 2015 » Composition of Model Programs |
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
133
click to vote
JDCTA
2010
14 years 8 months ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
130
click to vote
JOT
2010
14 years 8 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
112
click to vote
ALP
1994
Springer
15 years 6 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
104
click to vote
IJHPCA
2007
15 years 1 months ago
2007
While MPI is the most common mechanism for expressing parallelism, MPI programs are not composable by using current MPI process managers or parallel shells. We introduce MPISH2, an...