859 search results - page 118 / 172 » Implementing CMMI using a Combination of Agile Methods |
136
Voted
IFL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...
147
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
140
Voted
IEEESCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Service modeling and composition is a fundamental method for offering advanced functionality by combining a set of primitive services provided by the system. Unlike in t...
137
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
128
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
The learning classifier system XCS is an iterative rulelearning system that evolves rule structures based on gradient-based prediction and rule quality estimates. Besides classifi...