9018 search results - page 1056 / 1804 » 3D-Brain Model Software |
202
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
194
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
325
click to vote
POPL
2005
ACM
16 years 8 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
229
click to vote
KBSE
2005
IEEE
16 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
260
click to vote
JIT
2004
Springer
16 years 29 days ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...