2206 search results - page 296 / 442 » Software Engineering and Modeling Education: Problems and So... |
160
click to vote
GECCO
2005
Springer
16 years 1 days ago
2005
Springer
Cellular genetic algorithms (cGAs) are mainly characterized by their spatially decentralized population, in which individuals can only interact with their neighbors. In this work,...
182
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...
205
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
172
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
A prerequisite of participating in an enterprise system is the ability to cope with the rigorous demands experienced within the system. In order to cope with these demands, a numb...
143
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...