Brand and Zaaropulo BZ83] introduced the model of communicating nite-state machines to represent a distributed system connected with FIFO channels. Several diierent communication protocols can be speciied with this simple model. In this paper we address the problem of automatically validating protocols by verifying properties such as well-formedness and absence of deadlock. Our method is based ...

a r t i c l e i n f o The Ratio of Equivalent Transparency (Req) is a basic index for assessing whether a building is energy-efficient in Taiwan. Req is the ratio of the area of total building envelope and the area of envelope equivalent transparency. Calculation of Req requires not simply the consideration of natural factors such as building location, direction, ambient lighting and sunshine, ...

Alkaline elution was done on a variety of cells following cyclophosphamide (CY) treatment in vivo.Cells used were 1.1210 leukemia, normal mouse bone marrow, and peripheral blood cells obtained from a patient with chronic lymphatic leukemia (d.i.). Endpoints used were determi nation of single strand breaks, DNA-DNA interstrand and DNA-protein cross-links. After treatment of mice with CY (4 mg/mo...

OBJECTIVES The aim of this study was to validate the Japanese version of the Recovery Experience Questionnaire (REQ-J), which assesses how individuals unwind and recuperate from work during leisure time (i.e., psychological detachment, relaxation, mastery and control). METHODS The translated and back-translated REQ was administered via the Internet to 2,520 Japanese employees from various occ...

Rural population has continually declined in response to the rapid urbanization process occurring China, and related negative socioeconomic impacts on rural development have attracted considerable attention from scholars. Currently, few studies investigated eco-environmental impact of decline. By employing remote-sensing data, including land-use normalized difference vegetation index (NDVI) thi...

req1 ack1 req2 ack2 reqP ackP req ack req ack req ack parent client2 client1 merge Abstract A merge element combines two, concurrent, handshake streams. For every request received from a client, a merge element may send a request to its parent, and for each acknowledgement received from its parent, the merge element may send an acknowledgement to a client. We show that that a merge-element can ...

Alkaline elution was done on a variety of cells following cyclophosphamide (CY) treatment in vivo. Cells used were L1210 leukemia, normal mouse bone marrow, and peripheral blood cells obtained from a patient with chronic lymphatic leukemia (CLL). Endpoints used were determination of single strand breaks, DNA-DNA interstrand and DNA-protein cross-links. After treatment of mice with CY (4 mg/mous...

A thermochemical investigation of singlet dication (bipolaron) structures in a set of 3-methyl-thiophene oligomers (up to the length of 24-mers) was carried out. Equlibrium structures and heats of formation were calculated with the semiempirical quantum chemical method RHF/PM3 for the doubly oxidized forms. All-cisoid planar structural variants of the form An1Qn2An3 were considered, where A and...

––Antecedentes: La Gestión del Conocimiento (GC) busca el mejoramiento de los procesos de negocio de una organización, a través de la incorporación de nuevas experiencias e información y su adecuado uso para la toma de decisiones. La GC presenta un alto grado de concordancia con la Ingenieŕıa de Requisitos (IR) entre sus atributos de calidad y las fases de su proceso. Por lo tanto, la GC podŕıa...

Suinmary ConqionentSize KBytes Operatmg Systems (Required) Computer Language (Required) Component Format (Req\)ired) Please choose one of the followings