toggle visibility Search & Display Options

Select All    Deselect All
 |   | 
  Record Links
Author (up) Hans Abbink; Roel Van Dijk; Tamas Dobos; Mark Hoogendoorn; Catholijn M. Jonker; Savas Konur; Peter-Paul Van Maanen; Viara Popova; Alexei Sharpanskykh; Peet Van Tooren; Jan Treur; Jeroen M. Valk; Lai Xu; Pinar Yolum pdf  isbn
  Title Automated support for adaptive incident management Type Conference Article
  Year 2004 Publication Proceedings of ISCRAM 2004 – 1st International Workshop on Information Systems for Crisis Response and Management Abbreviated Journal ISCRAM 2004  
  Volume Issue Pages 69-74  
  Keywords Cybernetics; Information systems; Adaptive; Automated support; Dynamic property; Formal analysis; Incident Management; Intermediate results; Multi-agent; Automation  
  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. © Proceedings ISCRAM 2004.  
  Address Almende, Westerstraat 50, 3016 DJ Rotterdam, Netherlands; Department of Artificial Intelligence, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, Netherlands  
  Corporate Author Thesis  
  Publisher Royal Flemish Academy of Belgium Place of Publication Brussels Editor B. Van de Walle, B. Carle  
  Language English Summary Language English Original Title  
  Series Editor Series Title Abbreviated Series Title  
  Series Volume Series Issue Edition  
  ISSN 2411-3387 ISBN 9076971080 Medium  
  Track POSTER SESSION Expedition Conference 1st International ISCRAM Conference on Information Systems for Crisis Response and Management  
  Notes Approved no  
  Call Number Serial 65  
Share this record to Facebook
Select All    Deselect All
 |   | 

Save Citations:
Export Records: