771 search results - page 40 / 155 » Modelling and Analysing Socio-Technical Systems |
100
click to vote
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
Accountability mechanisms, which rely on after-the-fact verification, are an attractive means to enforce authorization policies. In this paper, we describe an operational model of ...
124
click to vote
SOSYM
2010
14 years 9 months ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Models addressing both structure and behaviour of a system are usually quite complex. Much of the complexity is caused by the necessity to distinguish between different c...
CMSB
2003
Springer
15 years 4 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
ENVSOFT
2006
14 years 10 months ago
2006
We present a set of models for simulating vegetation dynamics in disturbance-prone ecosystems with different complexity levels, integrated in a modelling environment for generatin...