2373 search results - page 212 / 475 » The Design of the Zinc Modelling Language |
166
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
193
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
171
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a platform that aims to support the whole process and facilitate archiving tasks at museums and galleries. When we try to preserve tacit knowledge or skills of ...
192
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Model transformations support a model-driven design by providing an c translation of abstract models into more concrete ones, and eventually program code. Crucial to a successful a...
158
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...