Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139852623> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2139852623 abstract "Disaster situations are dynamic and demanding a change in response, and information is received in a fragmented manner during the early stages of the event. Therefore, a Rapid Assessment and Intervention Team (RAIT Team) is established to respond quickly to the event, by achieving an initial assessment helping to understand the nature and scope of the incident and to determine the required assistance. The RAIT Team can be considered as a Reactive Collaborative Network, having to coordinate numerous actors and two or more reactive parallel sub-processes. Therefore, formal specification and validation methods and tools are needed while specifying and verifying RAIT processes to detect and correct deficiencies and faults In this perspective, the present paper proposes to use the Decisional Reactive Agents (DRA) based approach for the formal modeling and checking of RAIT system processes, so that they can be directly implemented in software environments with the maximum of logical correctness. The proposed approach is illustrated by formally checking temporal constraints of a transversal RAIT process acting in case of medical or humanitarian emergency." @default.
- W2139852623 created "2016-06-24" @default.
- W2139852623 creator A5025960568 @default.
- W2139852623 creator A5089697598 @default.
- W2139852623 date "2012-03-01" @default.
- W2139852623 modified "2023-09-28" @default.
- W2139852623 title "Formal specification of humanitarian disaster management processes" @default.
- W2139852623 cites W1578361860 @default.
- W2139852623 cites W1639193690 @default.
- W2139852623 cites W1948811792 @default.
- W2139852623 cites W1972718709 @default.
- W2139852623 cites W1992449635 @default.
- W2139852623 cites W2023095461 @default.
- W2139852623 cites W2099529102 @default.
- W2139852623 cites W2104665883 @default.
- W2139852623 cites W2104902480 @default.
- W2139852623 cites W2106340479 @default.
- W2139852623 cites W2184078534 @default.
- W2139852623 cites W2202860973 @default.
- W2139852623 doi "https://doi.org/10.1109/ismict.2012.6203056" @default.
- W2139852623 hasPublicationYear "2012" @default.
- W2139852623 type Work @default.
- W2139852623 sameAs 2139852623 @default.
- W2139852623 citedByCount "0" @default.
- W2139852623 crossrefType "proceedings-article" @default.
- W2139852623 hasAuthorship W2139852623A5025960568 @default.
- W2139852623 hasAuthorship W2139852623A5089697598 @default.
- W2139852623 hasConcept C110251889 @default.
- W2139852623 hasConcept C111498074 @default.
- W2139852623 hasConcept C112930515 @default.
- W2139852623 hasConcept C115903868 @default.
- W2139852623 hasConcept C116253237 @default.
- W2139852623 hasConcept C121332964 @default.
- W2139852623 hasConcept C12713177 @default.
- W2139852623 hasConcept C127413603 @default.
- W2139852623 hasConcept C154945302 @default.
- W2139852623 hasConcept C17744445 @default.
- W2139852623 hasConcept C195094911 @default.
- W2139852623 hasConcept C199360897 @default.
- W2139852623 hasConcept C199539241 @default.
- W2139852623 hasConcept C201995342 @default.
- W2139852623 hasConcept C2778012447 @default.
- W2139852623 hasConcept C2779662365 @default.
- W2139852623 hasConcept C41008148 @default.
- W2139852623 hasConcept C55439883 @default.
- W2139852623 hasConcept C62520636 @default.
- W2139852623 hasConcept C62555980 @default.
- W2139852623 hasConcept C71924100 @default.
- W2139852623 hasConcept C75606506 @default.
- W2139852623 hasConcept C98045186 @default.
- W2139852623 hasConceptScore W2139852623C110251889 @default.
- W2139852623 hasConceptScore W2139852623C111498074 @default.
- W2139852623 hasConceptScore W2139852623C112930515 @default.
- W2139852623 hasConceptScore W2139852623C115903868 @default.
- W2139852623 hasConceptScore W2139852623C116253237 @default.
- W2139852623 hasConceptScore W2139852623C121332964 @default.
- W2139852623 hasConceptScore W2139852623C12713177 @default.
- W2139852623 hasConceptScore W2139852623C127413603 @default.
- W2139852623 hasConceptScore W2139852623C154945302 @default.
- W2139852623 hasConceptScore W2139852623C17744445 @default.
- W2139852623 hasConceptScore W2139852623C195094911 @default.
- W2139852623 hasConceptScore W2139852623C199360897 @default.
- W2139852623 hasConceptScore W2139852623C199539241 @default.
- W2139852623 hasConceptScore W2139852623C201995342 @default.
- W2139852623 hasConceptScore W2139852623C2778012447 @default.
- W2139852623 hasConceptScore W2139852623C2779662365 @default.
- W2139852623 hasConceptScore W2139852623C41008148 @default.
- W2139852623 hasConceptScore W2139852623C55439883 @default.
- W2139852623 hasConceptScore W2139852623C62520636 @default.
- W2139852623 hasConceptScore W2139852623C62555980 @default.
- W2139852623 hasConceptScore W2139852623C71924100 @default.
- W2139852623 hasConceptScore W2139852623C75606506 @default.
- W2139852623 hasConceptScore W2139852623C98045186 @default.
- W2139852623 hasLocation W21398526231 @default.
- W2139852623 hasOpenAccess W2139852623 @default.
- W2139852623 hasPrimaryLocation W21398526231 @default.
- W2139852623 hasRelatedWork W1533392491 @default.
- W2139852623 hasRelatedWork W1539375065 @default.
- W2139852623 hasRelatedWork W1564547580 @default.
- W2139852623 hasRelatedWork W2029812561 @default.
- W2139852623 hasRelatedWork W2057562551 @default.
- W2139852623 hasRelatedWork W2111056634 @default.
- W2139852623 hasRelatedWork W2112401744 @default.
- W2139852623 hasRelatedWork W2150049371 @default.
- W2139852623 hasRelatedWork W2160348120 @default.
- W2139852623 hasRelatedWork W2227922959 @default.
- W2139852623 hasRelatedWork W2615933747 @default.
- W2139852623 hasRelatedWork W290674199 @default.
- W2139852623 hasRelatedWork W2943710525 @default.
- W2139852623 hasRelatedWork W3036471916 @default.
- W2139852623 hasRelatedWork W3089494795 @default.
- W2139852623 hasRelatedWork W3099572272 @default.
- W2139852623 hasRelatedWork W818966346 @default.
- W2139852623 hasRelatedWork W118506761 @default.
- W2139852623 hasRelatedWork W1883567032 @default.
- W2139852623 hasRelatedWork W3020260120 @default.
- W2139852623 isParatext "false" @default.
- W2139852623 isRetracted "false" @default.
- W2139852623 magId "2139852623" @default.
- W2139852623 workType "article" @default.