Data triangulation in a user evaluation of the sealife semantic web browsers

There is a need for greater attention to triangulation of data in user-centred evaluation of Semantic Web Browsers. This paper discusses triangulation of data gathered during development of a novel framework for user-centred evaluation of Semantic Web Browsers. The data was triangulated from three sources: quantitative data from web server logs and questionnaire results, and qualitative data from semi-structured interviews. This paper shows how triangulation was essential in validation and completeness of the results, and was indispensable in ensuring accurate interpretation of the results in determining user satisfaction

Diversity Characterization of Optimized Two-Antenna Systems for UMTS Handsets

This paper presents the evaluation of the diversity performance of several two-antenna systems for UMTS terminals. All the measurements are done in a reverberation chamber and in a Wheeler cap setup. First, a two-antenna system having poor isolation between its radiators is measured. Then, the performance of this structure is compared with two optimized structures having high isolation and high total efficiency, thanks to the implementation of a neutralization technique between the radiating elements. The key diversity parameters of all these systems are discussed, that is, the total efficiency of the antenna, the envelope correlation coefficient, the diversity gains, the mean effective gain (MEG), and the MEG ratio. The comparison of all these results is especially showing the benefit brought back by the neutralization technique

Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling