CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Ubiquitous system can be considered as the intelligent space, in which many kinds of component are connected by networks and also each component recognizes their connection and coo...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. We propose a new approach to collaborative filtering in mobile tourist information systems based on spatio-temporal proximity in social contexts. Users store ratings and ...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Context awareness is a vital element in pervasive and ubiquitous systems. While most existing research has focused on designing context-aware systems to integrate into th...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. As communication technologies are becoming more and more advanced, the opportunities to deliver improved, user friendly services using these technologies are increasing. ...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
In this paper, we will address two underlying problems of Web service continuity in mobile ubiquitous networks. On the one hand, our work presents a lightweight solution for connec...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
The evolution of mobile technologies, like web-enable cellphones, PDAs and wireless networks, makes it now possible to use these technologies for collaborative work through web-bas...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Deviational analysis is a traditional way of exploring the safety of systems. The results of deviational analysis contribute to traditional safety cases and safety arguments. We ex...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
CAISE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...