1147 search results - page 58 / 230 » Termination in language-based systems |
SAC
2000
ACM
14 years 1 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...
ISORC
1998
IEEE
14 years 1 months ago
1998
IEEE
Traditionally transactions have been singlethreaded. In such an environment the thread terminating the transaction is, by definition, the thread which performed the work. Therefor...
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present a design methodology for specifying embedded systems that addresses the complex nature of embedded systems design. Our approach uses modern model-based techniques to co...
CADE
2009
Springer
14 years 9 months ago
2009
Springer
The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
HICSS
2005
IEEE
14 years 2 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...