2450 search results - page 49 / 490 » On Application of Structural Decomposition for Process Model... |
146
click to vote
IAW
2003
IEEE
15 years 9 months ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...
105
Voted
CEEMAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
118
Voted
CGF
2010
15 years 3 months ago
2010
We present a set of techniques for the synthesis of artificial images that depict branching structures like rivers, cracks, lightning, mountain ranges, or blood vessels. The centr...
133
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
This paper presents a generic architecture for handwriting documents analysis. It covers all analysis steps from the content description of the document (layout analysis, handwrit...
128
Voted
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...