2050 search results - page 320 / 410 » A formal foundation for process modeling |
138
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
200
click to vote
ADAEUROPE
2007
Springer
16 years 17 days ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
155
click to vote
DSOM
2007
Springer
16 years 16 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
162
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
OBO is an ontology language that has often been used for modeling ontologies in the life sciences. Its definition is relatively informal, so, in this paper, we provide a clear spe...
153
click to vote
ANSS
2006
IEEE
16 years 13 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...