2730 search results - page 169 / 546 » An Abstract Model for Process Mediation |
171
click to vote
SAC
2003
ACM
15 years 10 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
151
click to vote
FMOODS
2006
15 years 7 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
171
click to vote
ENTCS
2008
15 years 5 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
165
click to vote
QEST
2007
IEEE
15 years 12 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
159
click to vote
TSMC
2010
15 years 7 days ago
2010
Abstract--It is critical to use automated generators for synthetic models and data, given the sparsity of benchmark models for empirical analysis and the cost of generating models ...