3909 search results - page 282 / 782 » Extreme Model Checking |
142
click to vote
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper revisits the model-based approaches for groupwise shape alignment. The key contribution is modeling the landmarks instead of considering them as nodes sliding along the...
122
click to vote
ESTIMEDIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract—Few analytical performance models that relate performance figure of merit to architectural design decisions are reported in recent studies of network-on-chip, which pre...
134
Voted
ENTCS
2008
15 years 3 months ago
2008
Model Driven Engineering proposes the use of models at different levels of ion. Step by step validation of model refinements is necessary to guarantee the correctness of the final ...
149
click to vote
PPOPP
2010
ACM
16 years 22 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
168
Voted
SCESM
2006
ACM
15 years 9 months ago
2006
ACM
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...