In general, faults cannot be prevented; instead, they need to be tolerated to guarantee certain degrees of software dependability. We develop a theory for fault tolerance for a distributed pi-calculus, whereby locations act as units of failure and redundancy is distributed across independently failing locations. We give formal definitions for fault tolerant programs in our calculus, based on th...

We give a model for Nakano’s typed lambda calculus with guarded recursive definitions in a category of metric spaces. By proving a computational adequacy result that relates the interpretation with the operational semantics, we show that the model can be used to reason about contextual equivalence.

We define a π-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when no longer required. We use a substructural type system tracking permission transfer to construct coinductive proof techniques for comparing behaviour and resource usage efficiency of concurrent processes. We establish f...

For the growing population of cancer survivors, an obvious conceptual framework to guide the inquiry of health related quality of life (HRQOL) in rural cancer survivors has not emerged. In this paper, Walker and Avant’s theory derivation procedures are used to adapt Ashing-Giwa’s Contextual Model of HRQOL, the parent Model, to incorporate rurality into the Model’s contextual dimensions. Rural c...

Lyytikäinen, Virpi Contextual and structural metadata in enterprise document management Documents have a central role in organizations. While the amount of information continually increases, new kinds of methods for managing the documents are needed. Enterprise document management concerns the whole life cycle of documents in organizations, from emergence to disposition, and also development of...

The present study integrates role theory, social exchange, organizational citizenship, and climate research to suggest that employees will reciprocate implied obligations of leadership-based social exchange (e.g., leader-member exchange [LMX]) by expanding their role and behaving in ways consistent with contextual behavioral expectations (e.g., work group climate). Using safety climate as an ex...

The term ‘meaning’, as it is presently employed in Linguistics, a polysemous concept, covering broad range of operational definitions. Focussing on two these definitions, meaning ‘concept’ and ‘context’ (also known ‘distributional semantics’), this paper explores to what extent definitions lead converging conclusions regarding the number nature distinct senses form covers. More specifically, in...

Abstract This article describes the creation of a lightweight ontology European Union (EU) criminal procedural rights in judicial cooperation. The is intended to help legal practitioners understand precise contextual meaning terms as well helping inform rule In particular, we started from problem that directives sometimes do not contain articles dedicated definitions. issue provided us with an ...

We introduce a method for content-based advertisement selection for personal blog pages, based on combining multiple representations of the blog. The core idea behind the method is that personal blogs represent individuals, whose interests can be modeled by the language used in the blog itself combined with the language used in related sources of information, such as comments posted to a blog p...