4924 search results - page 857 / 985 » A Software System for Spatial Data Analysis and Modeling |
151
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
202
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
To avoid unnecessary maintenance costs in large IT systems resulting from poorly planned changes, it is essential to manage and control changes to the system and to verify that all...
151
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
A panel of cell lines of diverse molecular background offers an improved model system for high-content screening, comparative analysis, and cell systems biology. A computational p...
157
click to vote
APSEC
2003
IEEE
15 years 11 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
176
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...