نتایج جستجو برای: 1394 also
تعداد نتایج: 2404200 فیلتر نتایج به سال:
This paper deals with the description in E-Lotos of the asynchronous Link layer protocol of the Ieee-1394 Standard and its veriication using model-checking. The E-Lotos descriptions are based on both the standard and the Crl description written by Luttik. The veriications are performed using the Cadp (CCsar/Ald ebaran) toolbox. We translate the E-Lotos descriptions in Lotos using the Traian too...
The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.
The European project INTEGRAL aims to build and demonstrate an industry-quality reference solution for DER aggregation-level control and coordination, based on commonly available ICT components, standards, and platforms. To achieve this, the Integrated ICT-platform based Distributed Control (IIDC) is introduced. The project includes also three field test site installations in the Netherlands, S...
The tyrosine kinase Ron, receptor for MSP (macrophage-stimulating protein), displays several serine residues of unknown functions. Using [(32)P]H(3)PO(4) metabolic labelling, we found that Ron is serine-phosphorylated and dephosphorylated in vitro by PP1 (protein phosphatase 1). PP1 associates with Ron obtained from cells of different origins. The association is stimulated by MSP or serum and i...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید