3726 search results - page 90 / 746 » A structured definition of the modeling process |
ENTCS
2002
13 years 10 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
ER
2008
Springer
14 years 1 days ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
STTT
2008
13 years 10 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
CIBCB
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
WSC
1997
13 years 11 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...