3928 search results - page 354 / 786 » order 2006 |
173
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The support of mobile workers with mobile IT solutions can create dremendous improvements in mobile business processes of a company. The main charateristic of such a mobile system ...
180
click to vote
CAISE
2006
Springer
15 years 11 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 ...
190
click to vote
CAISE
2006
Springer
15 years 11 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...
187
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
235
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...