Event-B
Formal Modeling and Verification of Time- Constrained ARQ Protocols with Event-B
... applying Event-B and UPPAAL for modeling and verification of time-constrained ARQ ...within Event-B and transform this pattern to pattern in ...augmenting Event-B modeling with ...
10
Verifying ODP trader function by using Event B
... The use of formal methods in the design process of ODP systems is explicitly required. Currently there are no formal specifications of ODP concepts which are widely accepted. One interesting question concerns the ...
6
Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
... Em Event-B existe a separação da parte estática (contexto) e a parte dinâmica (modelo) do sistema modelado (Figura ...disso, Event-B possui uma ferramenta que ajuda no desenvolvimento da ...
112
Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B
... Este trabalho provê um modo de obter informação potencialmente útil nas situações citadas no parágrafo anterior, ao utilizar o plug-in para solucionadores SMT, quando uma PO não é verificada. Isto pode ajudar a melhorar a ...
81
Arq. NeuroPsiquiatr. vol.71 número6
... left middle cerebral artery (A), left middle cerebral artery calcific embolus three days after index event (B), and left internal carotid artery (ICA) injection shows occlusion (arrow) of M1 segment of the ...
1
ICTOR ALFONSO RIVERA Z ´
... from B, where users can manually write Java code. Then we realised that Event-B method (an evolution of the B method) is a better starting candidate for the development of systems, so we ...
170
J. Braz. Comp. Soc. vol.14 número1
... and event dispatching, enabling the implementation of user ...these event def- initions. The click event denotes the mouse click ac- tion performed on a specified item, such as a button or menu ...
20
UNDERSTANDING A SIMPLE ARABIC STORIES USING EVENT CALCULUS
... Event calculus is a good approach for representation commonsense knowledge and story events, also for performing commonsense reasoning. The proposed system uses that to infer the details of the events of the story ...
9
Event-duration semantics in online sentence processing
... the Event-Classification-Driven – predict the habitual coercion but could not find ...the event can happen once a day or even be randomly distributed during some ...
11
The Event Management Problem in a Container Terminal
... All these activities are planned to carry out the processes of importing and exporting goods that are supported by an integrated logistics chain between the different stakeholders involved in international trade. The aim ...
8
Rain event properties and dimensionless rain event hyetographs at the source of the Blue Nile River
... situated at the source basin of the upper Blue Nile River in Ethiopia. The rainfall data was recorded at eight stations. The results reveal that rain event depth is more related to peak intensity than to ...
45
Base maior Base menor Altura
... Matemática B, os alunos de uma turma da Escola Secundária APRENDERMAIS desenvolveram um trabalho de projecto que incluía um estudo sobre a intenção dos jovens da sua região, que frequentavam o ensino secundário, ...
5
B AHIA ,B RASIL
... geograficamente) pela forma e dimensões da lâmina, indumento tomentoso e pelos estiletes ar queados. S ão no entanto , f acilmen te diferenciadas pela forma das pétalas: em H. jardimii, a pétala posterior apresenta ...
5
A incompatibilidade entre o <b>saber</b> e o <b>poder</b> em <i>O velho e o mar</i>
... ção, no início da espiritualização da matéria... Espero por ela com uma grande impaciência..[r] ...
16
Forecast convergence score: a forecaster's approach to analysing hydro-meteorological forecast systems
... fixed event forecasts pro- vides a forecaster’s approach to system behaviour and adds an important perspective to the suite of forecast verification tools commonly used in this ...
6
Evolution of surface velocities and ice discharge of Larsen B outlet glaciers from 1995 to 2013
... Larsen B Ice Shelf affected the stability of the remnant ice shelf in Scar Inlet rather ...Larsen B disintegration event had a rather immediate impact on the stress field of Scar Inlet ice ...
13
Relationship between the frequency magnitude distribution and the visibility graph in the synthetic seismicity generated by a simple stick-slip system with asperities.
... good (R 2 ,0.98). In Fig. 9 the relationship shown in Fig. 8 concerning the results of the synthetic seismicity, is enriched by the results obtained by Telesca et al. [10] on real seismicity data recorded in five seismic ...
7
B
... Tentamos reconstruir a história da implantação do PPP da Rede Municipal de Educação do Município de Londrina a partir das entrevistas realizadas, fazendo uma análise de alguns pontos f[r] ...
86
Cad. Saúde Pública vol.32 número10
... adverse event and length of ICU stay signals the possibility of reverse ...(adverse event) ...adverse event, difference in length of stay with and without AE and addition- al procedures/treatments ...
14
Heinrich event 1: an example of dynamical ice-sheet reaction to oceanic changes
... Here we propose an alternative driving mechanism, specif- ically for Heinrich event 1 (H1; 18 to 15 ka BP), by which North Atlantic ocean circulation changes are found to have strong impacts on LIS dynamics. By ...
10