Research methods with roots in complexity science are increasingly popular social research. However, they not widespread and have potential to deliver value more fully consistently research methodology. One reason for this is that often used alone, or only traditional methods. We attempt support catalyse the use of complexity-framed combination research, by systematically reviewing which framed...

This theme section aims to disseminate the latest research results in area of open environmental software systems modeling. Software-intensive systems, such as cyber-physical and self-adaptive need be able constantly operate dynamic environments, which requires them continuously evolve, handle internal external uncertainties, so on. Traditional engineering methodologies extended for tackling th...

Methods We identified all out patient clinic letters with food allergy over one year period (April 201011). After modifying the NICE audit proforma, we collected further information including the professional who referred these children, team reviewing them and management including discharge planning or referral to other specialties. We also collected information on final diagnosis and any refe...

In this work we present the on-the-fly workload prediction and redistribution techniques used in Zeus [12,13], a Distributed Model Checker that evolves from the tool Kronos [14]. After reviewing why it is so hard to have good speedups in distributed timed model checking, we present the methods used to get promising results when verifying reachability properties over timed automata [3].