Timeliness of reports sent by laboratories and providers is a continuous challenge for disease surveillance and management. Public health organizations often collect communicable disease reports with various degrees of timeliness raising the concern about the delay in patient information received. Timely reports are beneficial to accurately evaluate community health needs and investigate diseas...

Although fair exchange protocols are being widely implemented, there are few formal methods able to verify them. This work introduces the strand spaces method for verifying certified mail delivery protocols, a subclass of fair exchange protocols. Three fair exchange properties are verified: effectiveness, verifiability of TTP and timeliness. For effectiveness and verifiability we used the FPH p...

To achieve efficient search performance for the multi-robot system which carries out the goal search task with consideration of timeliness, a multi-robot collaborative path planning system is designed to guide the robots during the search process. In the system, a planning method based on an Improved Ant Colony Optimization (IACO) algorithm is proposed. In the solution procedure, the path cost ...

In real-time systems, the basic criteria are to satisfy both timeliness and correctness of real-time solutions. The former requirement is controlled by both resource and task scheduling at operating system level whereas the latter is achieved at language level. The efficiency of a scheduling strategy depends upon several factors such as hardware configuration, type of real-time application and ...

The article develops metrics for an economic oriented management of data quality. Two data quality dimensions are focussed: consistency and timeliness. For deriving adequate metrics several requirements are stated (e. g. normalisation, cardinality, adaptivity, interpretability). Then the authors discuss existing approaches for measuring data quality and illustrate their weaknesses. Based upon t...

We develop a framework for addressing correctness and timeliness-of-propagation issues for reactive constraints-global constraints or user-deened constraints that are implemented through constraint propagation. The notion of propagation completeness is introduced to capture timeliness of constraint propagation. A generalized form of arc-consistency is formulated which uniies many local consiste...

Methods This project compared EpiCom posts and HealthMap alerts in Florida for similarities in timing for outbreaks from January 1, 2009 to August 31, 2013. The project assessed sensitivity and timeliness of HealthMap, whether both sources captured the outbreak, and which source’s post was earlier. HealthMap alert date was compared to EpiCom’s post date and the date the outbreak was reported to...

Efficient resource reservations play a vital role in providing acceptable performance and Quality of Service (QoS) guarantees (e.g., timeliness) in wireless real-time applications such as mobile media streaming. However, the computation of the resource requirements of a wireless node have been widely ignored so far, which has often resulted in degraded support for real-time traffic and overprov...

Introduction: Tuberculosis is an infectious disease that still a global concern, and most sufferers are of productive age. Factors for treatment failure usually related to supervision the quality health services. This study aimed analyze relationship between services level satisfaction tuberculosis patients at Palu City Health Center. Methods: research quantitative with cross sectional conducte...