Results 51 to 60 of about 2,823 (181)
Bridging the Gap between Enumerative and Symbolic Model Checkers [PDF]
, 2009 We present a method to perform symbolic state space generation for languages with existing enumerative state generators. The method is largely independent from the chosen modelling language.
Blom, Stefan +2 more
core +3 more sources
Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise [PDF]
, 2005 Mobile health systems can extend the enterprise computing system of the healthcare provider by bringing services to the patient any time and anywhere.
Brinksma, Ed, Jones, Val, Rensink, Arend
core +3 more sources
Journal of Animal Ecology, EarlyView.Trait distributions provide insight into how niches overlap within a broader trait space. By integrating individual‐level trait observations from different communities, we can explore how facets of trait dimensionality vary across environmental conditions.
Alicia McGrew +6 more
wiley +1 more source
Using Eye Lens Stable Isotopes to Identify the Rearing Origin of Fall Age‐0 Walleye (Sander vitreus)
Fisheries Management and Ecology, EarlyView.ABSTRACT Isotope values in fish eye lenses may be useful in differentiating rearing origins. We compared eye lens isotopic values of fall fingerling age‐0 walleye (Sander vitreus) reared in a hatchery pond, a recirculating aquaculture system (RAS), and a natural lake. Using 10 fish per rearing source, we delaminated layers from one eye lens per fish to
Justin M. Sturtz +5 more
wiley +1 more source
Generalising feature interactions in email [PDF]
, 2003 We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall's email model presented at FIW'00, but the implementation is at a lower level of abstraction, employing non-determinism ...
Calder, M., Miller, A.
core +2 more sources
SPIN-ning Software Architectures: A Method for Exploring Complex Systems [PDF]
, 2001 When designing complex software systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude.
Issarny, V., Kloukinas, C.
core +1 more source
Journal of Fish Diseases, Volume 48, Issue 4, April 2025.ABSTRACT The pejerrey (Odontesthes bonariensis) is a key species for recreational and commercial fisheries in Argentina and holds significant aquaculture potential. It has been introduced to various countries worldwide, including Japan, where intensive aquaculture has developed.
Aarón Torres‐Martínez +4 more
wiley +1 more source
Modelling legacy telecommunications switching systems for interaction analysis [PDF]
, 1999 No abstract ...
Calder, M., Reiff, S.
core +2 more sources
Extending promela and spin for real time [PDF]
, 1996 The efficient representation and manipulation of time information is key to any successful implementation of a verification tool. We extend the syntax and semantics of the higher level specification language Promela to include constructs and statements based on the model of timed Buchi automata [2].
Stavros Tripakis, Costas Courcoubetis
openaire +1 more source
Journal of Experimental Zoology Part A: Ecological and Integrative Physiology, Volume 345, Issue 5, Page 486-497, June 2026.ABSTRACT Across the animal kingdom, social behaviors such as aggression are critical for survival and reproductive success. While there is significant variation in social behaviors within and between species, the genetic mechanisms underlying natural variation in social behaviors are poorly understood.
Renee Mapa +5 more
wiley +1 more source