200 search results - page 15 / 40 » Tyrolean Termination Tool |
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Context-aware applications are expected to become a remarkable application area within future mobile computing. As mobile phones form a natural tool for interaction between people...
APLAS
2009
ACM
13 years 11 months ago
2009
ACM
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable ...
SAC
2000
ACM
13 years 12 months ago
2000
ACM
The mobility of terminals and users is a crucial issue in the open global system represented by the Internet. Supporting terminal and user mobility requires a middleware infrastru...
HUC
2000
Springer
13 years 11 months ago
2000
Springer
Although the age of information appliances is getting close, current remote control devices are too awkward, and we cannot control sophisticated equipments without using graphical ...