114 search results - page 16 / 23 » Specialized Aspect Languages Preserving Classes of Propertie... |
JMIV
2010
14 years 10 months ago
2010
Shape estimation and object reconstruction are common problems in image analysis. Mathematically, viewing objects in the image plane as random sets reduces the problem of shape es...
211
click to vote
SCP
2011
14 years 6 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...
108
click to vote
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
ECOOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
141
click to vote
POST
2012
13 years 7 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...