Sciweavers

5189 search results - page 69 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 10 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
ECCV
1996
Springer
15 years 12 days ago
Reconstructing Polyhedral Models of Architectural Scenes from Photographs
This paper presents a new image-based modeling method that facilitates the recovery of accurate polyhedral models of architectural scenes. The method is particularly e ective becau...
Camillo J. Taylor, Paul E. Debevec, Jitendra Malik
EWSA
2004
Springer
14 years 4 months ago
Generation and Enactment of Controllers for Business Architectures Using MDA
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
Günter Graw, Peter Herrmann
DSD
2009
IEEE
126views Hardware» more  DSD 2009»
14 years 2 months ago
Architecture-Driven Synthesis of Reconfigurable Cells
In this paper, we present a novel method for merging sets of computational patterns into a reconfigurable cell respecting design constraints and optimizing specific design aspects...
Christophe Wolinski, Krzysztof Kuchcinski, Erwan R...
TOSEM
2002
118views more  TOSEM 2002»
13 years 10 months ago
Modeling software architectures in the Unified Modeling Language
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
Nenad Medvidovic, David S. Rosenblum, David F. Red...