We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance about the correct execution of target programs at run-time. Monitoring and checking is performed based on a formal speciication of system requirements. MaC bridges the gap between formal veriication, which ensures the correctness of a desi...

extensive researches on wireless sensor networks (wsns) have been performed and many techniques have been developed for the data link (mac) layer. most of them assume single-channel mac protocols. in the usual dense deployment of the sensor networks, single-channel mac protocols may be deficient because of radio collisions and limited bandwidth. hence, using multiple channels can significantly ...

This paper presents a novel method to disseminate sensor data in a wireless sensor network, called D3 (Data-centric Data Dissemination). The method combines the advantages of data-centric routing like SPIN and directed diffusion and energyefficient MAC protocols such as S-MAC and T-MAC. The protocol’s strengths are its energy-efficiency and its simplicity. Messages are transmitted using broadca...

We have compared the ability of the Mycobacterium Growth Indicator Tube (MGIT) system, a new culture method with an oxygen-sensitive fluorescent sensor, to recover mycobacteria from sputum samples with the abilities of egg-based medium and the Septi-Chek AFB system. We have also assessed the clinical utility of the AccuProbe or the AMPLICOR-PCR assay to directly identify Mycobacterium tuberculo...

A new economical mixed nite element is formulated for the Stokes equations, in which the two components of the velocity and the pressure are deened on diierent meshes. First order error estimates are obtained for both the velocity and the pressure. Furthermore, the well known MAC method is derived from the resulting nite element method and the optimal error estimates for the MAC method are also...

Wireless networks are the widely used networks for communication now days. Hence it is very necessary to improve the performance of the Medium Access Control (MAC) layer by preventing the communication from collisions. In this work a new scheme is explained, for efficient channel access, which is based on the sequencing. The proposed method minimizes the number of collisions as well as the dela...

OBJECTIVES In order to select new drugs and to predict their in vitro activity against Mycobacterium avium complex (MAC), new quantitative structure-activity relationship (QSAR) models were developed. METHODS The activities against MAC of 29 structurally heterogeneous drugs were examined by means of linear discriminant analysis (LDA) and multilinear regression analysis (MLRA) by using topolog...

Applications of wearable and implanted wireless sensor devices are hot research area. A specialized field called the body area networks (BAN) has emerged to support this area. Managing and controlling such a network is a challenging task. An efficient media access control (MAC) protocol to handle proper management of media access can considerably improve the performance of such a network. Power...