1728 search results - page 257 / 346 » Formal Modeling of Process Migration |
SRDS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper we investigate dependability issues of nextgeneration distributed multimedia applications. Examples of such applications are autonomous vehicle control, telemedicine...
77
Voted
ICSE
2003
IEEE-ACM
16 years 23 days 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...
133
Voted
ADAEUROPE
2007
Springer
15 years 6 months 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 ...
90
Voted
DSOM
2007
Springer
15 years 6 months 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...
94
Voted
SEMWEB
2007
Springer
15 years 6 months 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...