Development of a map service

Geographic Information Systems (GIS) a computerized mapping system for capturing, storing, retrieving, analysing, and displaying spatial data (the type of data that has a geographic location). It is one of the fastest growing high tech fields and has been widely used in my areas where analysis of spatial referenced data is needed. In this paper we developed and implemented a GIS-based personalized Travel Planning application. Our goal is to provide a map based information system that gives recommendation information (e.g. closeby sights, must-see sights) to travellers according to their destinations, locations and preferences. Furthermore, the TP application was developed as a client-side service under the Tourist Information Provider System. It runs on client machines and uses the spatial referenced data stored at the TIP server-side database

An algorithm for compositional nonblocking verification using special events

This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the remainder of the system and check how events are being used. Always enabled events, selfloop-only events, failing events, and blocked events are easy to detect and often help with simplification even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before

Novos serviços turísticos para mobile advertising

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 201

A Service for Audio Icon and Audio Books in the Mobile Tourist Information System (TIP) via the Greenstone Digital Library

This project provides an audio notification about nearby tourism place to visit (named sight in this thesis), a chapter based Audio Books related to the current sight and involving Digital Library to provide text for the Audio Books for the Tourist Information Provider on a mobile device (TIP). The current system plays a background sound for the sight only when the system displays the specific information for that sight after user selects it. This has been improved to provide a notification by which to receive audios from the recommendation service, and then keep sending audio data to clients on real time. So users can know the sight nearby before they look at their screen. The limitation of current Audio Books is that it only provides Audio Books when the books start from the current sight. This problem is solved by providing a list of books that has any chapter related to that sight, and users can add them into a now-playing list. The Travel Planning Service has been involved to place the Audio Books chapters into the now-playing list based on the order of the visiting sight in their plan. The TIP/Greenstone Service, which can load particular text from Greenstone Digital Library into TIP, has been involved in this project to provide related chapter-based text for those Audio Books. The implemented prototype has been evaluated on effeteness and performance based on the purpose of this project. The result has been discussed to prove it has effectively solved the problem described above. Finally, the result of the experiment on distinguishing audio, and technology for implementation and audio transfers, has been left for future study

Interaction Design for a Mobile Context-Aware System Using Discrete Event Modelling

This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users with small screen devices. The dynamics of this system are very complex and pose several challenges, firstly because of the sophisticated interaction of several applications on a small screen device and the user, and secondly because of the need for communication with highly asynchronous event-based information systems