Arkadi zaslavsky biography sample

We validate CaQoEM using extensive experimentation, user studies and simulations. For QoE prediction, an overall accuracy of In pervasive and ubiquitous computing systems, human activity recognition has immense potential in a large number of application domains. Current activity recognition techniques i do not handle variations in sequence, concurrency and interleaving of complex activities; ii do not incorporate context; and iii require large amounts of training data.

Arkadi zaslavsky biography sample: Bio: Dr Arkady Zaslavsky

There is a lack of a unifying theoretical framework which exploits both domain knowledge and data-driven observations to infer complex activities. We develop a mechanism using probabilistic and Markov chain analysis to discover complex activity signatures and generate complex activity definitions. It achieves an overall accuracy of CDAT utilizes context and links complex activities to situations, which reduces inference time by Context awareness is one of the central features of pervasive computing systems.

From pervasive computing perspective a situation can be defined as external semantic interpretation of context. Situation awareness aims to infer situations out of context. Developing situation awareness is a challenging task, which can be significantly hampered by errors during design stage. In this article we propose a novel method for verification of fuzzy situation definitions.

Fuzzy logic is a powerful mechanism for reasoning in pervasive computing systems and verification of situation models is a new method of formally ensuring correctness of context awareness and situation awareness. Verification is applied at the design time to check that definitions of situations are error-free. Verification approach allows developers to rigorously specify expected relationships between situations and then formally check that definitions of situations comply with expected relationships.

If an error is found, then additional task is to find counterexamples - particular context attribute values, which can cause situation awareness inconsistency. Counterexamples provide additional insight into the cause of error and help repairing situation definitions. We also discuss a method to formalize requirements, as well as propose and formally prove the novel verification algorithm for fuzzy situation models.

Arkadi zaslavsky biography sample: Bio: Dr Zaslavsky is a

Last, but not least, we analyze theoretical and practical complexity of the proposed solution. Pervasive computing is a paradigm that focuses on availability of computer resources anytime anywhere for any application and supports non-intrusive integration of computing services into everyday life. Context awareness is the core feature of pervasive computing.

High-level context awareness can be enhanced by situation awareness that represents the ability to detect and reason about the real-life situations. In this article we propose, analyze and validate the formal verification method for situation definitions and demonstrate its feasibility and efficiency. Situations are often defined manually by domain experts and are, therefore, susceptible to definition inconsistencies and possible errors, which in turn can cause situation reasoning problems.

The proposed method takes as an input properties of situations and dependencies among them as well as situation definitions in terms of low-level context features, and then either formally proves that the definitions do comply with the expected properties, or provides a complete set of counterexamples — context parameters that prove situation inconsistency.

Evaluation and complexity analysis of the proposed approach are also presented and discussed. Examples and evaluation results demonstrate that the proposed approach can be used to verify real-life situation definitions, and detect non-obvious errors in situation specifications. Purpose — The recent advances of mobile computing and sensing technologies have enabled mobile devices to individually sense environment context and develop situation awareness capability.

To gain a better understanding of the environment, mobile devices that are co-located can establish a mobile peer-to-peer MP2P environment to share their individual context information. The purpose of this paper is to propose a theoretical model for representing and reasoning about situations using uncertain context information captured by multiple devices in an MP2P environment.

A data fusion technique is then integrated into the proposed model. To deal with uncertainty of context information captured by multiple independent devices, several models to estimate reliability of context information captured in the environment is proposed and developed. Findings — The proposed arkadi zaslavsky biography sample has been implemented as a middleware and evaluated using data from real experiments in various scenarios and environment settings.

The results of the experiments show the robust performances of the proposed model as the basis for situation reasoning in the environment. The proposed model is then implemented as a middleware and validated using context data taken captured by multiple independent devices in a MP2P environment. Pervasive computing systems execute in dynamic highly variable environments and need software that are context-aware and can adapt at runtime.

Mobile agents are viewed as an enabling technology for building software for such environments due to their flexibility, migratory nature and scalability. This paper presents a novel approach which aims to further enhance this advantage by building compositionally adaptive mobile software agents that are also context-driven, component-based and have the ability to exchange their components with peer agents.

We present the formal underpinnings of our approach and a decision making model which assists agent adaptation. We also describe our current implementation and experimental results to evaluate the benefits of the proposed approach.

Arkadi zaslavsky biography sample: The Context Spaces Theory (CST)

Pervasive, ubiquitous, invisible, wearable computing all refer to different foci in addressing implications of mobility in diverse computer applications. Mobile computing is associated with mobility of users, hardware, software and data. This talk concentrates on various aspects of mobility and its implications, as well as on enabling technologies.

Enterprises are undergoing major evolution and changes linked to pervasiveness of distributed electronic services, available "anytime, anywhere". We will discuss challenges that business applications face with regards to mobility. These challenges include adaptability, context management, security, customisable interfaces, accuracy and credibility of information, system reliability and cost-efficiency.

The architectural issues of building enterprise applications, which support mobile and pervasive computational activities, will also be presented. Arkady Zaslavsky has more than publications throughout his professional career.