653 search results - page 10 / 131 » Implications of a Data Structure Consistency Checking System |
ICPPW
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper addresses the Microarray Gene Ordering problem. It consists in ordering a set of genes, grouping together the ones with similar behavior. This behavior can be measured ...
APSEC
1999
IEEE
14 years 18 hour ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
FMOODS
2008
13 years 9 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
EMSOFT
2003
Springer
14 years 28 days ago
2003
Springer
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...