3410 search results - page 413 / 682 » Measuring Model Transformation in Model Driven Development |
137
Voted
PADS
2004
ACM
15 years 10 months ago
2004
ACM
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
148
click to vote
ISW
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
122
click to vote
FORTE
1996
15 years 6 months ago
1996
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
152
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper introduces an approach for handling complex labelling problems driven by local constraints. The purpose is illustrated by two applications: detection of the road networ...
145
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
Driven by continuing scaling of Moore's law, chip multiprocessors and systems-on-a-chip are expected to grow the core count from dozens today to hundreds in the near future. ...