Parking spaces have been considered as vital resources in urban areas. Finding parking spaces in jam-packed areas is often challenging, stressful, and uncertain for the drivers that causes traffic congestion with a consequent of wastage of time, fuel, and increase of pollution. In recent years, context-aware computing paradigm has been considered to be the most effective approach to address these kinds of issues. Context-aware systems acquire and understand contextual information according to the current situation, perform reasoning, and then act intelligently on behalf of the user. These applications often run on tiny resource-bounded smart devices with the incorporation of embedded or attached sensors on these devices and they often exhibit complex and adaptive behaviour. In this paper, we propose a context-aware parking application framework to assist drivers in finding parking slots dynamically while moving and/or arriving at the destination. We optimize the context-aware parking framework with bounds on computational resources for the decision support dynamically in a highly decentralized environment. To illustrate the use of the proposed system, we model the context-aware parking system using UPPAAL model checker for formal analysis and verify the correctness properties of the system.

This research dealt with social networking sites and their relationship to tourism marketing in companies, as they contribute to reaching target customers as well as their importance in tourism organizations. It affects many users through its availability and ease of use in smart devices. Tourism marketing via the Internet and social networking sites is distinguished by being a fast-dissemination process at a lower cost, unlike traditional marketing. It works to attract the largest possible number of tourists from all over the world to deal with tourism companies and attract them to tourist destinations that they fit. The researcher discussed several research problems, what is the role of social networks in promoting tourism marketing? What is meant by social networking and tourism marketing? What is the importance of the success of the marketing campaigns for the tourist destination? What are the marketing methods for tourist destinations? What is the importance of tourism marketing organization? What are the pros and cons of tourism marketing? What is the impact of tourism on the local population? The research aims to statement of the concept of social networking sites and tourism marketing. Explanation of the types of tourism marketing and Discover ways to succeed in tourism marketing campaigns and statement of the impact of social networks and their impact on tourism marketing.

No abstract