535 search results - page 85 / 107 » Towards a compositional approach to model transformation for... |
AOSD
2008
ACM
13 years 10 months ago
2008
ACM
Aspect-oriented programming languages provide new composition mechanisms for improving the modularity of crosscutting concerns. Implementations of such language support use advanc...
CVPR
2012
IEEE
11 years 11 months ago
2012
IEEE
Objects in scenes interact with each other in complex ways. A key observation is that these interactions manifest themselves as predictable visual patterns in the image. Discoveri...
SQJ
2002
13 years 8 months ago
2002
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...
ASWEC
2010
IEEE
13 years 8 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract— The execution environments For scientific applications have evolved significantly over the years. Vector and parallel architectures have provided significantly faste...