323 search results - page 46 / 65 » Verify Your Runs |
CSMR
2008
IEEE
13 years 11 months ago
2008
IEEE
Propagating incremental changes and maintaining traceability are challenges for interactive model transformations, i.e. ones that combine automation with user decisions. After evo...
DAWAK
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Data mining algorithms are often embedded in more complex systems, serving as the provider of data for internal decision making within these systems. In this paper we add...
FITRAMEN
2008
13 years 11 months ago
2008
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...
FM
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
ECIS
2004
13 years 11 months ago
2004
Assuming a rational perspective, the adoption and development of a new organisational technology can be viewed as a way to achieve an higher level of efficiency by finding the bes...