Performance measurement and analysis is crucial for steering the organization to realize its
strategic and operational goals. Relevant performance indicators and their relationships to …

This chapter presents the hybrid Temporal Trace Language (TTL) for formal specification
and analysis of dynamic properties of multi-agent systems. This language supports …

A new, formal, role-based, framework for modeling and analyzing both real world and
artificial organizations is introduced. It exploits static and dynamic properties of the …

This paper introduces a formal framework for modeling and analysis of organizations. It
allows representing a great variety of organizational concepts and relations that are …

This paper presents various formal techniques for analysis of executions of organizational
scenarios based on specifications of organizations. Organizational specifications describe …

The paper deals with the transfer of finite verb structure from Tamil to Hindi using a rule-
based approach in a machine translation system. This task is challenging as it involves the …

For agent-based modelling of collective phenomena individual agent behaviours can be
modelled either from an agent-internal perspective, in the form of relations involving internal …

Agent-based simulation methods are a relatively new way to address complex systems.
Usually, the idea is that the agents used are rather simple, and the complexity and adaptivity …

Agent-based modelling approaches are usually based on logical languages, whereas in
many areas dynamical system models based on differential equations are used. This paper …

Support: PhD scholarship has been granted by the Andalusian Local Government under
project ISABEL (P07-TIC-2533). Additional support for research visit granted by the …