3429 search results - page 190 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
112
Voted
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...
229
Voted
ICDE
1997
IEEE
16 years 3 months ago
1997
IEEE
Transaction delegation, as introduced in ACTA, allows a transaction to transfer responsibility for the operations that it has performed on an object to another transaction. Delega...
171
Voted
CALCO
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
126
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
129
click to vote
WSC
2000
15 years 3 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...