43 search results - page 3 / 9 » Migrating Supervisory Control Architectures Using Model Tran... |
DAC
2002
ACM
14 years 6 months ago
2002
ACM
The major concerns in state-of-the-art model reduction algorithms are: achieving accurate models of sufficiently small size, numerically stable and efficient generation of the mod...
EICS
2009
ACM
13 years 9 months ago
2009
ACM
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...
JUCS
2010
13 years 2 days ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
SACMAT
2006
ACM
13 years 11 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
WWW
2005
ACM
14 years 6 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...