While organisational collaborations are increasingly common they often fail. More effective design of collaborations should be facilitated by improved understanding of the relationships created. It is suggested that while the most commonly used theoretical lens is transaction cost economics it might not be the most appropriate. Resource dependency theory is proposed as an alternative since it a...

We present a precise deenition of cause and eeect in terms of a fundamental notion called unresponsiveness. Our deenition is based on Savage's (1954) formulation of decision theory and departs from the traditional view of causation in that our causal assertions are made relative to a set of decisions. An important consequence of this departure is that we can reason about cause locally, not requ...

This set of theories presents a formalisation in Isabelle/HOL [3] of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property.

We derive the waiting time distribution in a GI/M/1 queueing system with dependence between the service time of each customer and the subsequent interarrival times. In addition, the server takes exponentially distributed vacations when there are no customers left to serve in the queue.

At the early stages of the cooperative information system development one of the major problems is to explore the space of alternative ways of assignment and delegations of goals among system actors. The exploration process should be guided by a number of criteria to determine whether the adopted alternative is good-enough. This paper frames the problem of designing actor dependency networks as...

Rough set theory, proposed by Pawlak in 1980’s as a result of a long term program on mathematical fundamental research can be seen as a new mathematical approach to vagueness (set) and uncertainty (element) from databases (information systems) [1]. One of the important issues in rough set-based database analysis is discovering dependencies between attributes. An attribute dependency states that...

This paper analyses several points of interlingual dependency mismatch on the material of a parallel Czech-English dependency treebank. Particularly, the points of alignment mismatch between the valency frame arguments of the corresponding verbs are observed and described. The attention is drawn to the question whether such mismatches stem from the inherent semantic properties of the individual...

We contribute a general apparatus for dependenttactic-based proof refinement in the LCF tradition, in which thestatements of subgoals may express a dependency on the proofs ofother subgoals; this form of dependency is extremely useful andcan serve as an algorithmic alternative to extensions of LCF basedon non-local instantiation of schematic variables. Additionally,we in...