2186 search results - page 97 / 438 » Model Transformation Technologies in the Context of Modellin... |
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Grid-BGC is a Grid-enabled terrestrial biogeochemical cycle simulator collaboratively developed by the National Center for Atmospheric Research (NCAR) and the University of Colorad...
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
AGP
2010
IEEE
13 years 11 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
ER
2006
Springer
13 years 11 months ago
2006
Springer
Though new technological trends and paradigms arise for developing complex software systems, systematic reuse continues to be an elusive goal. In this context, the adoption of Comm...