22114 search results - page 253 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
184
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
193
click to vote
HCI
2007
15 years 8 months ago
2007
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
162
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This article introduces two techniques to improve the propagation efficiency of CSP based finite model generation methods. One approach consists in statically rewriting ...
237
click to vote
WSCG
2003
15 years 8 months ago
2003
The visual representation of complex data has always been a major motivation for computer graphics. However, there have always been computer graphics scenes which were too complex...
180
click to vote
IADIS
2004
15 years 8 months ago
2004
MIDAS is a model-driven methodology for Web Information Systems development based on the OMG's Model Driven Architecture. It proposes to use UML to describe different views o...