Sciweavers

4866 search results - page 63 / 974
» UML for Global Computing
Sort
View
JUCS
2010
152views more  JUCS 2010»
14 years 4 months ago
Verification of Structural Pattern Conformance Using Logic Programming
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim
ICNC
2005
Springer
15 years 3 months ago
A Search Algorithm for Global Optimisation
Sheng Chen, Xunxian Wang, Chris J. Harris