Sciweavers

12487 search results - page 143 / 2498
» Graspable Work Modeling
Sort
View
GTTSE
2007
Springer
15 years 9 months ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens
WOA
2007
15 years 4 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
107
Voted
STTT
2002
69views more  STTT 2002»
15 years 3 months ago
Program model checking as a new trend
This paper introduces a special section of the STTT journal containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - Septe...
Klaus Havelund, Willem Visser
128
Voted
FUZZIEEE
2007
IEEE
15 years 9 months ago
Towards Fuzzy Compositional Modelling
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
Xin Fu, Qiang Shen, Ruiqing Zhao
ICMCS
2006
IEEE
149views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Video Texture and Motion based Modeling of Rate Variability-Distortion (VD) Curves of I, P, and B Frames
We examine the bit rate variability-distortion (VD) curve of I, P, and B frames of MPEG-4 VBR encoded video sequences. We show that the concave VD curve shape at high compression ...
Geert Van Der Auwera, Martin Reisslein, Lina J. Ka...