Scenarios, or Message Sequence Charts, offer an intuitive way of describing the desired behaviors of a distributed protocol. In this paper we propose a new way of specifying and synthesizing finite-state protocols using scenarios: we show that it is possible to automatically derive a distributed implementation from a set of scenarios augmented with a set of safety and liveness requirements, pro...

PT. XX. is a company engaged in the automotive sector, precisely production of metal components, always prioritizing and trying to create products with high quality, but process until now, reject are still found both during after passing inspection, while zero defects become standard process. Based on data obtained from August November 2021, part number 57835-0K020 product highest rejects. In t...

A specialized transition network mechanism, the interruptable transition network (ITN) is used to perform the last of three stages in a multiprocessor syntactic parser. This approach can be seen as an exercise in implementing a parsing procedure of the active chart parser family. Most of the ATN parser implementations use the left-to-right top-down chronological backtracking control structure (...

OBJECTIVES To evaluate the safety and efficacy of low-dose desmopressin in elderly men with and without nocturnal polyuria (NP) in real-life practice. METHODS Patients with lower urinary tract symptoms (LUTS)/ benign prostate hyperplasia (BPH) who were≧ 65 years old with refractory nocturia were enrolled in this study. We retrospectively analysed elderly men treated with adding desmopressin t...

Many resource allocation problems in the cloud can be described as a basic Virtual Network Embedding Problem (VNEP): the problem of finding a mapping of a request graph (describing a workload) onto a substrate graph (describing the physical infrastructure). Applications range from mapping testbeds (from where the problem originated), over the embedding of batch-processing workloads (virtual clu...

We are interested in implementing a fully automated software development process starting from sequence charts, which have proven their naturalness and usefulness in industry. We show in this paper that even for the simplest variants of sequence charts, there are strong impediments to the implementability of this dream. In the case of a manual development, we have to check the final implementat...

Control charts, known for more than 80 years, have been important tools for business and industrial manufactures. Among many different types of control charts, the attribute control chart (np-chart or p-chart) is one of the most popular methods to monitor the number of observed defects in products, such as semiconductor chips, automobile engines, and loan applications. The attribute control cha...

Background. The optimal timing of tracheotomy and its impact on weaning from mechanical ventilation in critically ill morbidly obese patients remain controversial. Methods. We conducted a retrospective chart review of morbidly obese subjects (BMI ≥ 40 kg/m(2) or BMI ≥ 35 kg/m(2) and one or more comorbid conditions) who underwent a tracheotomy between July 2008 and June 2013 at a medical intensi...