1481 search results - page 224 / 297 » Enriching the Software Development Process by Formal Methods |
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...
101
click to vote
ISSS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...
103
click to vote
AIPS
2000
15 years 1 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
102
click to vote
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
109
click to vote
IGARSS
2010
14 years 9 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...