Knowledge management and tourism

The study and practice of knowledge management has grown rapidly since the 90s, driven by social, economic, and technological trends. Tourism has been slow in adopting this app oach due to not only a lack of gearing between researchers and tourism, but also to a 'hostile' knowledge adoption environment. Its acquisition would close the gap and also provide both insights and potential applications for tourism. Research in Australia supports the assertion that this field is a late adopter of knowledge management. In response, this paper provides a model for tourism. (c) 2005 Elsevier Ltd. All rights reserved.

Termination of real-time programs: Definitely, definitely not, or maybe

Real-time control programs are often used in contexts where (conceptually) they run forever. Repetitions within such programs (or their specifications) may either (i) be guaranteed to terminate, (ii) be guaranteed to never terminate (loop forever), or (iii) may possibly terminate. In dealing with real-time programs and their specifications, we need to be able to represent these possibilities, and define suitable refinement orderings. A refinement ordering based on Dijkstra's weakest precondition only copes with the first alternative. Weakest liberal preconditions allow one to constrain behaviour provided the program terminates, which copes with the third alternative to some extent. However, neither of these handles the case when a program does not terminate. To handle this case a refinement ordering based on relational semantics can be used. In this paper we explore these issues and the definition of loops for real-time programs as well as corresponding refinement laws.