2050 search results - page 228 / 410 » A formal foundation for process modeling |
154
click to vote
TCBB
2010
15 years 5 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
156
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
174
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
170
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
183
click to vote
WER
2007
Springer
16 years 22 days ago
2007
Springer
Since 1996, the core Use Case Map (UCM) notation has remained remarkably stable. As the structure and intent of workflow and scenario languages are very similar, UCMs have been ap...