2050 search results - page 45 / 410 » A formal foundation for process modeling |
145
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we introduce a layout description and generation model, GBLD, based on the notions and elements of L-systems and context-free grammars. Our layout model is compatib...
156
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
151
click to vote
FAC
2007
15 years 6 months ago
2007
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
173
click to vote
IGPL
2007
15 years 6 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
178
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...