Abstract

Abstract
The exponential growth of mobile devices, like smart phones and tablets, has led to a growing ubiquitous computing paradigm, in which computing is distributed and available anytime, anywhere and supported by different devices. The document and workflow management in organizations is made through computers connected to one or several servers via a networking infrastructure. The emergence of ubiquitous computing paradigm leads those solutions to be adapted for mobile platforms. Thus, users tasks can be done in a more efficient way due to the availability of information wherever they are using a mobile device, improving both the time needed to complete tasks and organizations' efficiency. In this paper we present the mobile version of edoclink document and workflow management solution. Edoclink system was developed by Link Consulting c and is widely implemented in several healthcare institutions. (C) 2012 Published by Elsevier Ltd. Selection and/or peer review under responsibility of CENTERIS/SCIKA - Association for Promotion and Dissemination of Scientific Knowledge

Abstract

Abstract
Logic programming provides a high-level view of programming, giving implementers a vast latitude into what techniques to explore to achieve the best performance for logic programs. Towards obtaining maximum performance, one of the holy grails of logic programming has been to design computational models that could be executed efficiently and that would allow both for a reduction of the search space and for exploiting all the available parallelism in the application. These goals have motivated the design of the Extended Andorra Model (EAM), a model where goals that do not constrain nondeterministic goals can execute first. In this work, we present and evaluate the Basic design for EAM, a system that builds upon David H. D. Warren's original EAM with Implicit Control. We provide a complete description and implementation of the Basic design for EAM System as a set of rewrite and control rules. We present the major data structures and execution algorithms that are required for efficient execution, and evaluate system performance. A detailed performance study of our system is included. Our results show that the system achieves acceptable base performance and that a number of applications benefit from the advanced search inherent to the EAM.

Abstract
Techniques using RSS fingerprinting for localization have been studied over a number of different technologies in many different scenarios. In the case of underground tunnels localization can be quite challenging, yet it is extremely important for safety reasons. In the specific case of the CERN tunnels, accurate and automatized localization methods would additionally allow the workflow of some activities to become substantially faster. In a radiation area this would also have the added benefit of reducing the exposure time of personnel conducting so called radiation surveys which have to be carried out before access can be granted. In this paper Fingerprinting techniques for GSM and Wireless LAN are studied and enhanced to take advantage of both network technologies simultaneously as well as the channels RSS differential and an observed effect in the radiated power in the leaky-feeder cables. Besides the higher accuracy achieved for a single technology, this methodology looks promising for scenarios where several types of wireless networks are available or expected to be installed at a later stage.

Abstract
We present reliability models for a group membership protocol designed for TDMA networks such as FlexRay, a protocol that is likely to become the de facto standard for next generation automotive networks. The models are based on discrete-time Markov chains and consider a comprehensive set of fault scenarios. Furthermore, they are parametric allowing for a sensitivity analysis. The results, obtained by a numeric solution of the models using the PRISM model-checker, show that they are computationally practical for realistic configurations and that the GMP can achieve reliability levels in the range required for safety critical applications.