4726 search results - page 22 / 946 » Domain Modeling of Software Process Models |
ML
2000
ACM
13 years 8 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
TAICPART
2006
IEEE
14 years 2 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
ICONIP
2008
13 years 10 months ago
2008
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...
AISS
2010
13 years 6 months ago
2010
Service orientation is one of the solutions for achieving agile enterprises, that helps make an alignment between business and information technology. By the influx of service ori...
FMICS
2010
Springer
13 years 8 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...