5113 search results - page 813 / 1023 » Model-integrated system development: models, architecture, a... |
205
click to vote
ZUM
1997
Springer
15 years 10 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
170
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
3D reconstruction of urban environments is a widely studied subject since several years, as it can lead to many useful applications: virtual navigation, augmented reality, archite...
183
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper addresses the problem of stochastic task execution time estimation agnostic to the process distributions. The proposed method is orthogonal to the application structure ...
175
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
Efficient user-adaptable similarity search more and more increases in its importance for multimedia and spatial database systems. As a general similarity model for multi-dimension...
198
click to vote
ICRE
1996
IEEE
15 years 10 months ago
1996
IEEE
Conceptual design involves requirements analysis, functional specification, and architectural design. It remains informal and poorly understood. We studied the conceptual design a...