Volume 70
Introduction (Volume 70)
... Broader in its coverage of methods and means of warfare is The LAw of War Since 1949 (1995), a sweeping survey of the major post-war instruments governing armed conflic[r] ...
12
Volume 70: Automated Verification of Critical Systems 2014
... For any line which is part of the unknown maximization a soft variable is introduced, and this allows to switch between existential (known) and universal (unknown) quantification (values[r] ...
16
Full Volume 70: Professor Howard Levie and the Law of War
... Was it an international armed conflict thereby requiring compliance by all Parties to the Convention, or was it a non-international armed conflict, in which case only the minimal protect[r] ...
554
Volume 70: Automated Verification of Critical Systems 2014
... Tasks themselves are represented via a number of variables: t i represents the i -th task, t run keeps track of the currently running task, ci represents task computation clock explained[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... Event-B layers each communication protocol and algorithm to create and verify node controller models through refinement steps, whereas each protocol layer in MiXiM environments only cont[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... presents the number of reset transitions generated by our algorithm with respect to the number of nodes that have no path to the initial state.. These are the nodes that potentially requ[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... In this paper, we introduce Probabilistic Timed Rebeca (PTRebeca) as an actor-based language for modeling probabilistic distributed real-time systems with asynchronous message passing.. [r] ...
16
Index (Volume 70)
... and naval actions/blockades, 19 prisoners of war, repatriation of, 13-14 violations of, provision regarding, 27n146 Repatriation. See Civilian sanctuaries[r] ...
39
Volume 70: Automated Verification of Critical Systems 2014
... The blue circles indicate the estimated number of states assuming that the state space consists of two random parallel systems.. The estimated fan-outs for two parallel systems are drawn[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... That thread executes its current statement (or block of statements) without interruption by other threads, for the number of time units indicated by the corresponding timing annotation..[r] ...
15
Volume 70: Automated Verification of Critical Systems 2014
... In a language- theoretic setting, where the system behaviour is described by a language, we define the class of rational information flow properties (RIFP), where observers are mod- eled[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... We show that there exists a class of probabilistic hybrid automata that features dependence of variable’s rate of change on the value of other variables (where these variables are consta[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... Exception handling in C++ consists of three major parts: unwind tables, landing pads and exception handlers which are all generated by the compiler based on the input code, using special[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... Supporting multiple runtime conformance in monitoring Dealing with multiple confor- mance in an explicit state runtime monitoring approach as CoMA, would require to keep track of all the[r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... Of particular interest for this paper are stochastic hybrid automata (SHA) and probabilistic timed automata (PTA): The analysis technique we present is based on an existing one for SHA, [r] ...
16
Volume 70: Automated Verification of Critical Systems 2014
... GPUVerify is a formal verification technique and tool for the analysis of GPU kernels—programs designed to be executed in parallel on graphics processing units —with respect to two types[r] ...
18
Volume 70: Automated Verification of Critical Systems 2014
... ∗ This author was supported by the US NSF CPS award 1136099... nature; for the latter, see, e.g., [WW09, SP10, NKM + 14] .) The hioco theory is based on hybrid transition systems formali[r] ...
17
The HTS Teologiese Studies/Theological Studies 70 year anniversary volume – dedicated to Johan Buitendag
... until Volume 64 in 2008, four issues were published ...with Volume 65 of HTS, the Netherdutch Reformed Church of Africa entered into a publishing agreement with African Online Scientific Information Systems ...
5
Regional Connectivity in South Asia Prospects and Challenges for Shipping Business: Indian Perspective
... Growth in long distance and containerized trade has led to the growth in establishment of transshipment hubs. It is not possible to establish direct shipping connections between every country because either there may not ...
9
Study of etiopathogenesis and clinical profile of patients presenting with abnormal uterine bleeding
... January 2020 Volume 9 Issue 1 Page 70 International Journal of Reproduction, Contraception, Obstetrics and Gynecology Yeole N et al Int J Reprod Contracept Obstet Gynecol 2020 Jan;9(1) 70 76 www ijrco[.] ...
7