1054 search results - page 69 / 211 » Translation Validation of System Abstractions |
162
click to vote
COMJ
2010
15 years 3 months ago
2010
tation of audio is necessarily an abstraction, it has the advantage that the observer can "visit" the image according to her will. For instance, she may see a note having...
148
click to vote
WICSA
2008
15 years 7 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
157
click to vote
IFM
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
165
click to vote
DILS
2006
Springer
15 years 9 months ago
2006
Springer
Life science researchers want biological information in their interest to become available to them as soon as possible. A monitoring system is a solution that relieves biologists f...
149
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...