Results 31 to 40 of about 864 (171)
An improved multiple manoeuver management protocol for platoon mobility in vehicular ad hoc networks
IET Intelligent Transport Systems, 2021 Techniques in vehicular ad‐hoc networks have been utilised to reduce challenging issues such as pollution, accidents and traffic jams. The platoon management system (PMS) has shown promising results to solve the aforementioned problems.
Nigar Anjum Fida +4 more
doaj +1 more source
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analysis tools, known as the SCR Toolset, but its availability is restricted by
Gastón Scilingo +2 more
doaj +1 more source
Formal Verification of a MAC Protocol for Underwater Sensor Networks
IEEE Access, 2023 The use of Underwater Sensor Networks (UWSN) for underwater ocean applications such as seismic event detection, target detection, marine resource monitoring, and oil bed monitoring is growing.
N. Suresh Kumar +3 more
doaj +1 more source
An Analytic Evaluation of SystemC Encodings in Promela [PDF]
, 2011 SystemC is a de-facto standard language for high-level modeling of systems on chip. We investigate the feasibility of explicit state model checking of SystemC programs, proposing several ways to convert SystemC into Promela. We analyze the expressiveness of the various encoding styles, and we experimentally evaluate their impact on the search carried ...
Daniele Campana +3 more
openaire +1 more source
Model checking programs in process-oriented IEC 61131-3 Structured Text
Моделирование и анализ информационных системThe process-oriented programming is a paradigm based on the process concept where each process is a concurrent finite state machine inside. The paradigm is intended for PLC (programmable logic controllers) developers to write Industry 4.0-enabled ...
Natalia O. Garanina +3 more
doaj +1 more source
Treo: Textual Syntax for Reo Connectors [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Formal verification tools exist to ensure correctness and compliance of protocols specified in Reo, which can readily be (re ...
Kasper Dokter, Farhad Arbab
doaj +1 more source
On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
Труды Института системного программирования РАН, 2018 This article analyzes existing methods of verification of cache coherence protocols of scalable systems. Based on the research literature, the paper describes a method of formal parameterized verification of safety properties of cache coherence protocols.
Vladimir Burenkov
doaj +1 more source
Using SPIN for Verification of Multi-agent Data Analysis
Моделирование и анализ информационных систем, 2014 The paper presents an approach to formal verification of multi-agent data analysis algorithms for ontology population. The system agents correspond to information items of the input data and the rule of ontology population and data processing.
N. O. Garanina +2 more
doaj +1 more source
A Rule-Based Language and Verification Framework of Dynamic Service Composition
Future Internet, 2020 The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how
Willy Kengne Kungne +2 more
doaj +1 more source
Porogadus promelas Gilbert 1891
, 2021 Porogadus promelas Gilbert, 1891. 31.9 cm TL (12.6 in) TL. Queen Charlotte Sound, British Columbia (51°26’N, 130°41’W); Gulf of California. Depth: 1,838 –1,967 m (6,029 –6,452 ft). All in Hanke et al. (2015). Perhaps a junior synonym of Porogadus catena (Goode & Bean, 1885) (Hanke et al. 2015).
Love, Milton S. +4 more
openaire +2 more sources