For constraint satisfaction problems (CSPs), Haralick and Elliott [1] introduced the Fail-First Principle and defined in it terms of minimizing branch depth. By devising a range of variable ordering heuristics, each in turn trying harder to fail first, Smith and Grant [2] showed that adherence...

A significant characteristic of ubiquitous computing is the need for interactions of highly mobile entities to be secure: secure both for the entity and the environment in which the entity operates. Moreover, ubiquitous computing is also characterised by partial views over the state of the...

Simulation is a vital tool in research methods for investigating lifecycle issues in critical application areas, such as scenarios involving trust. Our trust model is premised on the belief that the ability to form and evolve explicit values for trust in other principals in an interaction allows...