Sciweavers

9491 search results - page 72 / 1899
» Modeling Cultural Dynamics
Sort
View
ICSR
2004
Springer
15 years 3 months ago
A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...
Abdelmadjid Ketfi, Noureddine Belkhatir
ECAI
2000
Springer
15 years 2 months ago
Graph Based Representation of Dynamic Planning
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...
Pavlos Moraitis, Alexis Tsoukiàs
JAPLL
2006
97views more  JAPLL 2006»
14 years 10 months ago
Model checking propositional dynamic logic with all extras
This paper presents a model checking algorithm for Propositional Dynamic Logic (PDL) with looping, repeat, test, intersection, converse, program complementation as well as context...
Martin Lange
COMPSAC
2002
IEEE
15 years 2 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
WSC
2008
15 years 8 days ago
System dynamics: What's in it for healthcare simulation modelers
In the past decade there has been an explosion in the use of system dynamics modeling in healthcare. Despite this, the approach is still far less well known than discreteevent sim...
Sally C. Brailsford