5525 search results - page 143 / 1105 » Verification of Model Transformations |
119
click to vote
IPPS
2000
IEEE
15 years 7 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...
116
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple ...
139
click to vote
MA
2010
Springer
15 years 1 months ago
2010
Springer
: Semiparametric linear transformation models have received much attention due to its high flexibility in modeling survival data. A useful estimating equation procedure was recent...
133
click to vote
AOSE
2001
Springer
15 years 8 months ago
2001
Springer
We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agentsystem technologies and RequirementsEngineering researc...
114
Voted
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...