Sciweavers

6431 search results - page 282 / 1287
» Model Building by Resolution
Sort
View
CVPR
2010
IEEE
15 years 4 months ago
Rectilinear parsing of architecture in urban environment
We propose an approach that parses registered images captured at ground level into architectural units for large-scale city modeling. Each parsed unit has a regularized shape, whi...
Peng Zhao, Tian Fang, Jianxiong Xiao, Honghui Zhan...
MDAFA
2004
Springer
114views Hardware» more  MDAFA 2004»
15 years 12 months ago
Modeling in the Large and Modeling in the Small
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...
Jean Bézivin, Frédéric Jouaul...
152
Voted
APSEC
2000
IEEE
15 years 11 months ago
Enterprise modeling using class and instance models
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
Rakesh Agarwal, Giorgio Bruno, Marco Torchiano
ICSE
2008
IEEE-ACM
16 years 7 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
DAC
2005
ACM
16 years 7 months ago
Simulation based deadlock analysis for system level designs
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
Xi Chen, Abhijit Davare, Harry Hsieh, Alberto L. S...