These days life has become completely mobile. Today neither a person does have to sit in front of his home computer to search for nearby restaurants in Google, nor does he or she have to do the same for knowing the transport schedule before leaving for work. With the advent of mobile phones and Online-Social-Networks it has become very easy to communicate with friends, find shopping destination...

Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformations must be verified to ensure they behave as desired. Simultaneously, transformations may be reused as requirements evolve. In this paper we present novel algorithms to determine if a reused transformation preserves the same p...

this study aimed to consider the dimensions and parameters of handling individual abilities in religious system and contemporary theories based on quran and hadith related to body training and physical skills in islam. as there are a large amount of evidence related to the fit body and relaxed mind, many case studies can be observed accordingly. besides a brief review of the history of islam, c...

Engineering analysis often involves the accurate numerical solution of boundary value problems in discrete form. Hierarchical quadtree (or octree) grid generation offers an efficient method for the spatial discretisation of arbitrary-shaped two- (or three-) dimensional domains. It consists of recursive algebraic splitting of sub-domains into quadrants (or cubes), leading to an ordered hierarchi...

This paper is about transforming constraint networks to accommodate additional constraints in specific ways. The focus is on two intertwined issues. First, we investigate how partial solutions to an initial network can be preserved from the potential impact of additional constraints. Second, we study how more permissive constraints, which are intended to enlarge the set of solutions, can be acc...

S E P T E M B E R / O C T O B E R 2 0 1 5 InsideGNSS 67 Ubiquitous locat ion-aware mobile devices, mainly GPSenabled smartphones, have led to a boom in location-based services (LBS), which have been revolutionizing businesses and lifestyles. Common uses of LBSs include asset tracking, locationbased advertising, emergency roadside service, turn-by-turn navigation, and real-time traffic & road in...

An important problem facing large, distributed organizations is the efficient management and distribution of information, knowledge, and expertise. In this paper we present the design and implementation of a low-cost, extensible, flexible, and dynamic peer-to-peer (P2P) knowledge network that helps address this problem. This system, known as Shock, is designed to protect the privacy of user’s p...