State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
Lawrence Rauchwerger, Nancy M. Amato, Josep Torrel...
We describe a new system, called guievict, that enables the graphical user interface (GUI) of any application to be transparently migrated to or replicated on another display with...
Wearable medical systems, which are used for medical monitoring, assessment, and/or treatment have the essential requirements to be low energy consuming and reliable. They must be...
The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, t...
Application generators have been championed because they can be used to shorten a system’s development cycle and therefore lower its development costs. Application generators ar...