Results 71 to 80 of about 2,823 (181)
Model checking programmable router configurations [PDF]
, 2010 Programmable networks offer the ability to customize router behaviour at run time, thus increasing flexibility of network administration. Programmable network routers are configured using domain-specific languages. In this paper, we describe our approach
Emmerich, W, Mascolo, C, Zanolin, L
core
Property specification and static verification of UML models [PDF]
, 2008 We present a static verification tool (SVT), a system that performs static verification on UML models composed of UML class and state machine diagrams.
Siveroni, I. +2 more
core +1 more source
Aquatic Conservation: Marine and Freshwater Ecosystems, Volume 36, Issue 3, March 2026.ABSTRACT Agricultural development is a global wide‐spread alteration to natural landscapes that can impact stream fish assemblages at multiple scales. Knowing how environmental variables affect stream fish diversity and abundance is important for the conservation and management of stream fish assemblages.
Eli J. Lagacy, Michael J. Weber
wiley +1 more source
Journal of Experimental Zoology Part A: Ecological and Integrative Physiology, Volume 345, Issue 2, Page 148-161, March 2026.ABSTRACT In fish, sex determination and gonadal development are controlled by various genetic and environmental factors. In this study, experiments were conducted on the estuarine mummichog (Fundulus heteroclitus) to investigate gonadal differentiation following exposure to the synthetic estrogen, 17α‐ethinylestradiol (EE2).
Ibrahim Chehade +5 more
wiley +1 more source
VERIFICATION OF PARALLEL AUTOMATA-BASED PROGRAMS [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2014 The paper deals with an interactive method of automatic verification for parallel automata-based programs. The hierarchical state machines can be implemented in different threads and can interact with each other.
M. A. Lukin
doaj
Environmental DNA metabarcoding reflects rank‐based abundance of fish
Journal of Applied Ecology, Volume 63, Issue 3, March 2026.This approach provides a practical tool for managers to rapidly assess rank abundance of freshwater fishes, offering particular value for monitoring smaller species that are often missed by conventional surveys. Abstract Increasingly, molecular methods of species monitoring are integrated into freshwater biodiversity surveys and fisheries management ...
Joanne E. Littlefair +4 more
wiley +1 more source
Distributed embedded control systems design with verification support
Моделирование и анализ информационных систем, 2010 We consider a problem of integrating a formal method of verification (model checking) into the process of designing complex distributed software systems to improve the quality of software. We use an approach based on the Model-Driven Engineering.
I. V. Shoshmina
doaj
Formal Modeling and Verification of Block Production BABE Protocol in Polkadot
IEEE AccessPolkadot is an emerging blockchain application in the cryptocurrency ecosystem, where a large number of participants actively take part to earn rewards. Block production in Polkadot is one of the most critical and technically complex components, which is
Muhammad Rashid +5 more
doaj +1 more source
An Object-Oriented Framework for Explicit-State Model Checking [PDF]
, 2007 This paper presents a conceptual architecture for an object-oriented framework to support the development of formal verification tools (i.e. model checkers).
Kattenbelt, M., Rensink, A., Ruys, T.C.
core +2 more sources
Model Driven Development of m-Health Systems (with a Touch of Formality) [PDF]
, 2006 We propose a model driven design and development methodology augmented with formal validation and verification (V&V) for the development of mobile health systems.
Jones, Val
core +4 more sources