The Automarine Module is a simple cost effective method for transforming underwater remotely operated vehicles (ROVs) into autonomous underwater vehicles (AUVs), with minimum development time, and with no ROV circuit alteration. This paper presents architecture of autonomization of the VideoRay Pro II ROV together with its technical specifications. The paper also presents a procedure for open-l...

In this paper we present a practical RS-CC concatenated coding scheme in the WiMAX system. In our proposed scheme, the information is first coded at the transmitter using RS-CC coder and then decoded at the receiver using RS-CC decoder for different channel models. This paper presents Bit Error Rate for Reed-Solomon Convolutional Coding (RS-CC) based WiMax system with QPSK modulation scheme und...

We present a general overview of features and technical specifications of an original interactive key web application for the identification of Chrysochromulina species. The list of species, originally described as belonging in the genus Chrysochromulina, is given and recent taxonomic changes in species and genera of the order Prymnesiales are provided. We briefly discuss the interest of such a...

A matrix-based LucidTM key is presented for the twelve genera of Monotomidae (Coleoptera: Cucujoidea) represented in the New World. A general overview is given for the features and technical specifications of an original interactive key for the identification of these genera. The list of terminal taxa included with the key provides a current summary of monotomid generic diversity for the Nearct...

Traditional requirements engineering approaches give little emphasis on the engineering of interactions. Increasingly, the software systems of today are developed independently and integrated with each other, as in sociotechnical systems, where several technical systems support the interaction between the social systems. We propose the Protos methodology as a set of refinement rules which, once...

We present the AudioIndex prototype, a light-weight mobile RFIDbased point-and-listen interface that allows visually impaired to browse and search for audio books within a public library without the need for library staff guidance. AudioIndex has been specifically designed to fit well into the library environment and its routines, a fit made possible by carefully considering interaction styles ...

The 'cleanroom software development process is a new IBM technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the, introduction of statistical controls; but the main point is to deny entry for defects during the development of software. This latter point...

Requirements Engineering’s theoretical and practical developments typically look forward to the future (i.e. a system to be built). Under certain conditions, however, they can also be used for the analysis of problems related to actual systems in operation. Building on the Jackson/Zave reference model [2] for requirements and specifications, this paper presents a framework useful for the preven...

The 'cleanroom software development process is a new IBM technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the, introduction of statistical controls; but the main point is to deny entry for defects during the development of software. This latter point...

2005;172:118–122. 32. Pepin JL, Defaye P, Garrigue S, Poezevara Y, Levy P. Overdrive atrial pacing does not improve obstructive sleep apnoea syndrome. Eur Respir J 2005;25:343–347. 33. Iber C. The AASM Manual for the Scoring of Sleep And Associated Events: Rules, Terminology And Technical Specifications. 2007. 34. Kanagala R, Murali NS, Friedman PA, Ammash NM, Gersh BJ, Ballman KV, Shamsuzzaman...