9018 search results - page 139 / 1804 » 3D-Brain Model Software |
112
click to vote
CISIS
2008
IEEE
15 years 5 months ago
2008
IEEE
Shadows are well known as a programming language feature in the application area of MUDs (a certain type of multi-player online game). We argue that agile methodologies can be enh...
ISMIS
1999
Springer
15 years 3 months ago
1999
Springer
Software quality prediction can be cast as a concept learning problem. In this paper, we discuss the full cycle of an application of Machine Learning to software quality predictio...
101
click to vote
PST
2008
15 years 14 days ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
CAV
2007
Springer
15 years 5 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...