Sciweavers

1458 search results - page 92 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
ENTCS
2010
84views more  ENTCS 2010»
14 years 10 months ago
Resource Modeling for Timed Creol Models
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
Rudolf Schlatte, Bernhard K. Aichernig, Andreas Gr...
CSSW
2007
14 years 11 months ago
Collaborative Web-Publishing with a Semantic Wiki
Abstract: Semantic wikis have been introduced for collaborative authoring of ontologies as well as for annotating wiki content with semantic meta data. In this paper, we introduce ...
Rico Landefeld, Harald Sack
POPL
1994
ACM
15 years 1 months ago
A Needed Narrowing Strategy
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
Sergio Antoy, Rachid Echahed, Michael Hanus
ENASE
2009
179views Hardware» more  ENASE 2009»
14 years 7 months ago
Evolving System's Modeling and Simulation through Reflective Petri Nets
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
Lorenzo Capra, Walter Cazzola
ECEASST
2008
69views more  ECEASST 2008»
14 years 10 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai