[PDF] Top 20 An open extensible tool environment for Event B

... the B-Method [1], some proof obligations have vari- ables renamed or are rewritten to a point where they are difficult to relate to the ...simplified Event-B (see Section 2) so that it does not ... See full document

... and extensible for many use cases in the energy ...Thus, open-source alternatives are in demand, such as simulation environments based on the popular modeling language ...an open-source project ... See full document

... In the early days of our forensics work, we acquired disk images using the Unix dd [2] program. Although running dd with the correct argu- ments can be very fast, the program has several shortcomings. The dd program does ... See full document

... To investigate this issue we captured images from the Bub- blescope/RPi camera taken within our air-hockey table arena. Images were captured within a 7× 7 grid with a grid spacing of 15.24 cm (6 inches). The middle ... See full document

... analysis tool takes as input the answers log file as is, and extracts from it all the rank ...the tool pro- duces a table for each language pair displaying the participating systems, in descending order of ... See full document

... good tool support is ...a tool for Event-B [7], called Rodin [4], has been developed that applies these techniques used in programming to formal ...Rodin tool is implement on top of the ... See full document

... thriving open-source community constantly contributing to Node-RED, both with custom nodes and also full fledged programs (known as Flows) - the integration of which is often single click effort, again ... See full document

... the event types used in TAC KBP 2014 event-argument campaign for annotation, including: ...an event argument were annotated with coreference ...particular event, which reduces the cost of the ... See full document

... using open source Hadoop framework for manipulating large volume of data ...an extensible video processing framework in Apache Hadoop to parallelize video processing tasks in a cloud environment with ... See full document

... novel tool—the Framework for Extensible Application Testing (FEAT), implemented by the author and applicable for automatic generation and execution of test ... See full document

... (e.g., open, common format, ver- sioning, scope, relations, users, collaboration, and locus of authority) provide general principles for the development of an ontology ...of extensible relations among ... See full document

... This is a much lower response rate than had been anticipated. The reasons for the low rate are largely to do with issues of the environment in which the activities were conducted. As has been noted above, the ... See full document

... its environment, by using the power of Petri nets modelling, especially the timed ...the environment TINA, an open source tool dedicated for timed Petri ... See full document

... Turning large masses of data into useful information is a multidimensional problem, requiring appropriate data synthe- sis, analysis, results communication and visualisation. Current techniques generally fall short in ... See full document

... We propose OpenNRE, an open and extensible toolkit for relation extraction. OpenNRE achieves the balance among system encapsulation, opera- tional efficiency, model extensibility, and ease of use. Based on ... See full document

... the tool expects the language in- formation, such as English, German, ...the tool fetches through the Wiktionary API the English version of the Wiktionary page for the queried ...Our tool isolates ... See full document

... Abstract - The main aim of this project is focused on collecting the system logs (CPU usage, memory usage, resource utilization, etc.) which is designed to be used on scalable virtualized environment. For ... See full document

... semi open in X for each open set V of Y ...pre open in X for each open set V of Y ...- open in X for each open set V of Y ...each open set V of Y . 5. b-continuous ... See full document

... For a subset A of a space X, the semi-closure (resp. pre-closure,  -closure, semi- pre-closure) of A, denoted by scl A (resp. pcl A, resp.  cl A, resp.spcl A) is the intersection of all semi-closed (resp. pre-closed, ... See full document

... In Chinese, different expressions of the same sentence cannot use the same rule model. When various relationship types are extracted, these differences are very subtle and easily overlooked. The number of deaths and the ... See full document