5525 search results - page 921 / 1105 » Verification of Model Transformations |
126
click to vote
CF
2007
ACM
15 years 8 months ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...
150
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
143
click to vote
WSC
2007
15 years 6 months ago
2007
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
170
click to vote
IMAGING
2003
15 years 5 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
133
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...