Sciweavers

173 search results - page 14 / 35
» Refinement and Consistency in Multiview Models
Sort
View
INFSOF
2006
97views more  INFSOF 2006»
13 years 7 months ago
Applying Model-Driven Architecture to achieve distribution transparencies
This paper proposes a principled methodology for the realization of distribution transparencies. The proposed methodology is placed within the general context of Model-Driven Arch...
Apostolos Zarras
APSEC
2004
IEEE
13 years 11 months ago
Extending a Graphic Modeling Language to Support Partial and Evolutionary Specification
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
Yong Xia, Martin Glinz
EC
2008
209views ECommerce» more  EC 2008»
13 years 7 months ago
Human Body Pose Estimation with Particle Swarm Optimisation
In this paper we address the problem of human body pose estimation from still images. A multi-view set of images of a person sitting at a table is acquired and the pose estimated....
Spela Ivekovic, Emanuele Trucco, Yvan R. Petillot
APN
2000
Springer
13 years 11 months ago
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
Mohammed Elkoutbi, Rudolf K. Keller
ASPDAC
2009
ACM
249views Hardware» more  ASPDAC 2009»
14 years 4 days ago
Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus models from a formal model
— This paper proposes the first automatic approach to simultaneously generate Cycle Accurate and Cycle Count Accurate transaction level bus models. Since TLM (Transaction Level M...
Chen Kang Lo, Ren-Song Tsay