3514 search results - page 641 / 703 » Evolving Specification Engineering |
ICMT
2011
Springer
12 years 11 months ago
2011
Springer
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...
ISBI
2004
IEEE
14 years 8 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
KDD
2006
ACM
14 years 8 months ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...