1,721,080 research outputs found
Verso la costruzione di una VET-Polis nell'area Mediterranea: la Cittadella mediterranea dell'Istruzione e Formazione Professionale
No full text
Low-cost home monitoring using a Java-based embedded computer
No full textIn this paper the design and development of a low-cost homecare architecture for remote patient telemetry built upon a Java-based embedded computer is presented. The proposed architecture has been validated by experiencing real-time ECG monitoring by means of desktop PCs equipped with Web browsers, Personal Digital Assistants and WAP-enabled GSM/GPRS mobile phones. The modular approach followed in the development of the home station allows additional medical devices to be easily integrated to fulfil the requirements of heterogeneous homecare scenarios. We expect that the availability of such a low-cost telemedicine device will contribute to further extend healthcare reach to the homecare environment
Static Analysis of Java Mutithreaded and Distributed Applications
No full textThe Java language enables the development of concurrent and distributed software through the concepts of thread and remote method invocation (RMI). It is known that developing concurrent and distributed software is a challenging task, mainly because of potential concurrency errors such as deadlocks and livelocks. One promising way to help the designer bl this task is providing static analysis tools that can detect such errors in the source code, as documented in the rich literature on static analysis of Ada tasking programs. This paper extends the approach followed for Ada tasking programs to the new Java language, providing formal models for the main thread synchronization primitives offered by the language. The formalism used is Promela, the input language of the model checker SPIN, which is based on extended communicating finite state machines and provides an efficient analysis algorith
- …
