Sciweavers

1728 search results - page 185 / 346
» Formal Modeling of Process Migration
Sort
View
JUCS
2010
106views more  JUCS 2010»
15 years 1 months ago
Situational Method Engineering: State-of-the-Art Review
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
Brian Henderson-Sellers, Jolita Ralyté
AIEDAM
2007
86views more  AIEDAM 2007»
15 years 3 months ago
An ontology of situated design teams
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
John S. Gero, Udo Kannengiesser
JLP
2006
66views more  JLP 2006»
15 years 3 months ago
Petri net modules in the transformation-based component framework
Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two a...
Julia Padberg, Hartmut Ehrig
MODELS
2007
Springer
15 years 9 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
HPCN
1995
Springer
15 years 6 months ago
A model-driven tool for performance measurement and analysis of parallel programs
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
Xiandeng Huang, Christoph Steigner