Sciweavers

1458 search results - page 160 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
JUCS
2010
162views more  JUCS 2010»
14 years 4 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
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...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
TOCL
2012
235views Formal Methods» more  TOCL 2012»
13 years 12 days ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner
GISCIENCE
2010
Springer
215views GIS» more  GISCIENCE 2010»
14 years 10 months ago
Microtheories for Spatial Data Infrastructures - Accounting for Diversity of Local Conceptualizations at a Global Level
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
Stephanie Duce, Krzysztof Janowicz
ACSAC
2004
IEEE
15 years 1 months ago
Role-Based Delegation Model/ Hierarchical Roles (RBDM1)
The basic idea behind delegation is that some active entity in a system delegates authority to another active entity in order to carry out some functions on behalf of the former. ...
Ezedin Barka, Ravi S. Sandhu
SOFTVIS
2003
ACM
15 years 3 months ago
Visualizing Model Mappings in UML
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
Jan Hendrik Hausmann, Stuart Kent