8828 search results - page 398 / 1766 » Formal methods in practice |
199
click to vote
CAISE
2010
Springer
15 years 8 months ago
2010
Springer
Despite advances in situational method engineering, many software organizations continue to adopt an ad-hoc mix of method fragments from wellknown development methods such as Scrum...
145
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
151
click to vote
ECIS
2003
15 years 8 months ago
2003
Knowledge management (KM) plays an increasingly important role in software development. We find that a missed aspect of software development methods is their possibility to play a...
195
click to vote
SIAMIS
2010
15 years 1 months ago
2010
Image restoration problems are often converted into large-scale, nonsmooth and nonconvex optimization problems. Most existing minimization methods are not efficient for solving su...
189
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
In the numerical simulation of many practical problems in physics and engineering, finite volume methods are an important and popular class of discretization methods due to the loc...