21319 search results - page 397 / 4264 » An Approach for Method Reengineering |
154
click to vote
CAISE
1997
Springer
15 years 11 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
190
click to vote
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
165
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
171
click to vote
ENC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this work, by using the local node refinement technique purposed in [2, 1], and a quad-tree type algorithm [3, 13], we built a global refinement technique for Kansa's unsy...
185
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Vision based tracking of an object using the ideas of perspective projection inherently consists of nonlinearly modelled measurements although the underlying dynamic system that en...