Sciweavers

116 search results - page 24 / 24
» A new quantum behaved particle swarm optimization
Sort
View
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
13 years 8 months ago
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
Marouane Kessentini, Arbi Bouchoucha, Houari A. Sa...