نتایج جستجو برای: tla
تعداد نتایج: 616 فیلتر نتایج به سال:
This paper presents a series of TLA + speciication/implementations that lead to an implementation of the retransmission policy of RLP1, the Radio Link Protocol proposed for TDMA-based digital cellular radio. Both safety and liveness properties are proved for SWPInitial, a very abstract, but formal, speciication of a sliding window protocol. The rest of the work consists of a series of reenement...
The temporal logic of actions (TLA) provides operators to express liveness requirements in an abstract speciication model. TLA does not, however, provide high level composition mechanisms which are essential for synthesising and analysing complex behaviour. Contrastingly, the object oriented paradigm has proven itself in the development of structured speciications. However, most, if not all, of...
INTRODUCTION HPTN 071 (PopART) is a three-arm community randomized trial in Zambia and South Africa evaluating the impact of a combination HIV prevention package, including universal test and treat (UTT), on HIV incidence. This nested study examined factors associated with timely linkage-to-care and ART initiation (TLA) (i.e. within six-months of referral) in the context of UTT within the inter...
Šiame tyrime yra nagrinėjamas metodas, padedantis užtikrinti Elixir programos atitikimą programinės įrangos inžinieriaus kurtai TLA+ specifikacijai. Kuriant metodą apibrėžtas vertimo taisyklių rinkinys, skirtas specifikacijų išskyrimui iš nuosekliosios išskirstyto algoritmo dalies. Naudojant sudarytas taisykles, buvo įgyvendintas įrankis, kodą paverčiantis į specifikaciją. Sugeneruotos specifik...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید