Implementing context-dependent behaviour of pervasive computing applications puts a great burden on programmers: Devices need to continuously adapt not only to their own context, but also to the context of other devices they interact with. We present an approach that modularises behavioural adaptations into roles. Role selection takes the context of all the devices involved in an interaction in...

Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although directed model checking has proved to be very successful in the past, additional search techniques provide much potential to efficiently handle larger and larger systems. In this work, we propose a novel technique for trav...

Context aware E-Learning systems provide learning content according to a learner’s context. In order to determine a learner’s context, the parameters that constitute the context and the values of these parameters in the current learner’s situation have to be found. There are several existing context aware E-Learning systems and each of these are taking care of some of the context parameters lik...

abstractone challenge face political system is implementation national development. there are various models for national development. some countries have relied on import model, but other has emphasis on their indigenous, the purpose of this study is designing intelligence development model in iranian national context. based on the selected theory building methodology, we have theorized intell...

Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reasoning about uncertainty. Besides, the underlying rule-based reasoning mechanism of current context-aware systems obviously can not reason about ambiguity and vagueness in context information. In this paper, we present an ongoing...

Many context-aware computing applications form inferences and execute corresponding actions based on context that is uniquely associated with a user. We refer to such applications as customized context-aware applications and recognize that their design poses a very challenging burden to application designers due to the degree of customization that is required. To tackle this problem, we propose...

customers extend robust trust to a business when they believe the business puts their interests first. good experience of banking services and recommendations of other customers can increase trust. loyalty and word of mouth (wom) is accepted as key factors successes of marketing. this paper seeks to discover the affecting factors on positive word of mouth and loyalty based on trust enhancement ...