Sciweavers

396 search results - page 80 / 80
» Simplifying Particle Swarm Optimization
Sort
View
ECMDAFA
2010
Springer
228views Hardware» more  ECMDAFA 2010»
13 years 9 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...