Results 31 to 40 of about 1,158 (136)
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
Transforming UML 'Collaborating' Statecharts for Verification and Simulation [PDF]
Journal of Systemics, Cybernetics and Informatics, 2003 Due to the increasing complexity of real world problems, it is costly and difficult to validate today's software-intensive systems. The research reported in the paper describes our experiences in developing and applying a set of methodologies for ...
Patrick O. Bobbie +2 more
doaj
Environmental Toxicology and Chemistry, EarlyView.Abstract There is increasing concern regarding pollutants disrupting the vertebrate thyroid hormone (TH) system, which is crucial for development. Thus, identification of TH system–disrupting chemicals (THSDCs) is an important requirement in the Organisation for Economic Co‐operation and Development (OECD) testing framework.
Lisa Gölz +9 more
wiley +1 more source
Journal of Applied Toxicology, EarlyView.ABSTRACT The ubiquitous presence of microplastics and nanoplastics (MNPs) is raising concerns about their impact on the health of humans and other living organisms. Due to its tiny size, this particle can accumulate and circulate in the body after uptake, resulting in a variety of harmful outcomes on the organism, such as increased oxidative stress and
Trang Thi Nguyen +2 more
wiley +1 more source
Discrete-time Promela and Spin
, 1998 Spin is a software package for the verification of concurrent systems. A system to be verified is modeled in Promela — Spin’s input language. We present an extension of Promela and Spin with discrete time that provides an opportunity to model systems ...
Ravn, A.P. +3 more
core +2 more sources
Моделирование и анализ информационных системThis paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj +1 more source
Journal of Applied Toxicology, EarlyView.ABSTRACT 6PPD‐quinone (6PPD‐Q), a transformation product of the tire antioxidant 6PPD, causes acute mortality in several salmonid species, but its toxicity varies markedly among fish species. Disruption of vascular‐barrier integrity and inflammatory signaling has been proposed as a key mechanism of 6PPD‐Q toxicity.
Kyoshiro Hiki
wiley +1 more source
Environmentally Realistic Metal Mixture Concentration Impacts Early Development in Zebrafish Larvae
Environmental Toxicology, EarlyView.ABSTRACT The dispersion of metals in the environment leads to the presence of metal mixtures in impacted ecosystems, but few studies have addressed their impact on early developmental processes in fish. Here, we investigated the effect of metal mixtures reported in the Doce River basin in Brazil, including Fe, Mn, and Cd, either singly or as a mixture ...
Anderson K. S. Macêdo +4 more
wiley +1 more source
Environmental Toxicology, EarlyView.ABSTRACT Secondary microplastics (MPs) from single‐use consumer products are rapidly becoming one of the most persistent and widespread pollutants of our time. Freshwater systems act as early sinks for MPs where fragmentation and additive leaching expose aquatic life to a broad spectrum of toxic compounds.
Alisha M. Janiga‐MacNelly +3 more
wiley +1 more source
Data Decision Diagrams for Promela Systems Analysis
, 2010 International audienceIn this paper, we show how to verify computation tree logic (CTL) properties, using symbolic methods, on systems described in Promela.
Beaudenon, Vincent +2 more
core +1 more source