Tools
Tools
Abbink, H., van Dijk, R., Dobos, T., Hoobendoorn, M., Jonker, C., Konur, S., van Maanen, P.P., Popova, V., Sharpanskykh, A., van Tooren, P., Treur, J., Valk, J., Xu, L. and Yolum, P., 2004. Automated Support for Adaptive Incident Management. In: First International Workshop on Information Systems for Crisis Response and Management, ISCRAM’04, May 2004, Brussels, Belgium.
Full text not available from this repository.
Official URL: http://www.few.vu.nl/~sharp/papers/iscram2004.pdf
Abstract
The project CIM, started in 2003, addresses the problem of automated support for incident management. In this paper some intermediate results are shown, especially on automated support of analysis of errors in traces of incident management. For such traces it can be checked automatically which dynamic properties hold or fail. The potential of the approach is shown in the formal analysis of a given empirical trace. The approach can also be applied in conjunction with simulation experiments.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | Cybernetic, Incident management, Adaptive, Multi-agent |
| Subjects: | Generalities > Computer Science and Informatics |
| Group: | School of Design, Engineering & Computing > Software Systems Research Centre |
| ID Code: | 13672 |
| Deposited By: | Dr. Lai Xu |
| Deposited On: | 14 Apr 2010 11:50 |
| Last Modified: | 07 Mar 2013 15:24 |
| Repository Staff Only - | |
| BU Staff Only - | |
| Help Guide - | Editing Your Items in BURO |