2437 search results - page 370 / 488 » Model-Driven Software Adaptation |
FSEN
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
SLE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. API migration refers to adapting an application such that its dependence on a given API (the source API) is eliminated in favor of depending on an alternative API (the ta...
SIGCOMM
2009
ACM
14 years 3 months ago
2009
ACM
Mobile thin client computing is an enabler for the execution of demanding applications from mobile handhelds. In thin client computing, the application is executed on remote serve...
UIST
2009
ACM
14 years 3 months ago
2009
ACM
In this paper, we extrapolate the evolution of mobile devices in one specific direction, namely miniaturization. While we maintain the concept of a device that people are aware of...
UIST
2009
ACM
14 years 3 months ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...