3429 search results - page 379 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
156
Voted
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we present Reo2MC, a tool chain for the performance evaluation of coordination models. Given a coordination model represented by a stochastic Reo connector, Reo2MC ...
186
click to vote
EDOC
2006
IEEE
16 years 22 days ago
2006
IEEE
Increasingly, distributed systems are being constructed by composing a number of discrete components. This practice, termed composition, is particularly prevalent within the Web s...
171
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
Resource Space Model (RSM) is a semantic model to manage and share heterogeneous resources on the Internet. This paper focuses on the general architecture, physical implementation ...
192
Voted
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
154
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...