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...
Traditionally, intrusion detection systems detect intrusions at the operating system (OS) level. In this paper we explore the possibility of detecting intrusion at the application...