The increasing complexity in highly technological systems such as aviation, maritime, air
traffic control, telecommunications, nuclear power plants, defence and aerospace, chemical …

Semiotics, the science of signs, has long been recognised as an important discipline for
understanding information and communications. Moreover it has found wide application in …

Formal representations of values and norms are employed in several academic disciplines
and specialties, such as economics, jurisprudence, decision theory and social choice theory …

This paper reviews the state of the art in the area of enhancing eGovernment interoperability
by using common models and/or ontologies. This area has currently become a very active …

Norms in human societies are expectations of behaviours of the individuals. In human
societies, there are several types of norms such as moral norms, social norms and legal …

Abstract We study Normative Temporal Logic (ntl), a formalism intended for reasoning about
the temporal properties of normative systems. ntl is a generalisation of the well-known …

Drawing meaningful conclusions from organisational data is challenging, and theoretical
frameworks can often illuminate information in fresh and useful ways. This book is one of the …

We develop a logic of normative ability, as an extension to the Alternating-time Temporal
Logic (atl) of Alur, Henzinger, and Kupferman. While conventional atl contains cooperation …

Policies are rules governing the choices in behaviour of a system. They are often used as a
means of implementing flexible and adaptive systems for management of internet services …

(57) ABSTRACT A system and method for modifying execution scripts asso ciated with a job
Scheduler may include monitoring for the execution of a task to determine when the task has …