Results 41 to 50 of about 526,453 (338)
Simulation of stevedoring work in the Klaipėda oil terminal [PDF]
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
D. Makackas, H. Pranevičius
doaj
Teaching Formal Models of Concurrency Specification and Analysis
Моделирование и анализ информационных систем, 2015 There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj +1 more source
Requirements analysis of the VoD application using the tools in TRADE [PDF]
, 1996 This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a
Huyts, Sander, Wieringa, R.J.
core +2 more sources
Refinement and verification of concurrent systems specified in Object-Z and CSP [PDF]
, 1997 The formal development of large or complex systems can often be facilitated by the use of more than one formal specification language. Such a combination of languages is particularly suited to the specification of concurrent or distributed systems, where
Derrick, John, Smith, Graeme
core +2 more sources
Neutrophil deficiency increases T cell numbers at the site of tissue injury in mice
FEBS Letters, EarlyView.In wild‐type mice, injury or acute inflammation induces neutrophil influx followed by macrophage accumulation. Mcl1ΔMyelo (neutrophil‐deficient) mice lack neutrophils, and in response to muscle injury show fewer macrophages and exhibit strikingly elevated T‐cell numbers, primarily non‐conventional “double‐negative” (DN) αβ and γδ T cells.
Hajnalka Halász +6 more
wiley +1 more source
Formal Specification and Verification of Self-Adaptive Concurrent Systems
IEEE Access, 2018 The assurance of required quality properties is one of the major challenges in self-adaptive systems (SASs). SASs have the capability to adapt their dynamic behavior autonomously at runtime due to uncertain changes in the environment.
Muhammad Ilyas Fakhir +1 more
doaj +1 more source
Formal refinement of extended state machines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle +3 more
doaj +1 more source
Molecular Oncology, EarlyView.Integrating ancestry, differential methylation analysis, and machine learning, we identified robust epigenetic signature genes (ESGs) and Core‐ESGs in Black and White women with endometrial cancer. Core‐ESGs (namely APOBEC1 and PLEKHG5) methylation levels were significantly associated with survival, with tumors from high African ancestry (THA) showing ...
Huma Asif, J. Julie Kim
wiley +1 more source
Concurrency specification using Event-based Specification Chart [PDF]
Computer Science Journal of Moldova, 2012 Architecting framework proposed in [1] can be used efficiently for developing concurrency-intensive systems only if there exist languages and tools corresponding to the described concepts.
Dumitru Ciorba, Victor Besliu
doaj
Molecular Oncology, EarlyView.In patients treated with atezolizumab as a part of the MyPathway (NCT02091141) trial, pre‐treatment ctDNA tumor fraction at high levels was associated with poor outcomes (radiographic response, progression‐free survival, and overall survival) but better sensitivity for blood tumor mutational burden (bTMB).
Charles Swanton +17 more
wiley +1 more source