Results 31 to 40 of about 566,633 (340)
Extended Resource Specification Language Reference Manual for ARC versions 0.8 and above [PDF]
, 2013 Extended Resource Specification Language Reference Manual for ARC versions 0.8 and ...
Ould-Saada, Farid
core +1 more source
, 2001 This paper presents an idiomatic construct for µ-charts which reflects the high-level specification construct of synchronization between activities. This, amongst others, has emerged as a common and useful idea during our use of µ-charts to design and ...
Anderson, Grant +2 more
core +2 more sources
On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification
Моделирование и анализ информационных систем, 2015 The article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method.
E. V. Kuzmin +2 more
doaj +1 more source
A Software Development Model for the Automatic Generation of Classes
CLEI Electronic Journal, 2018 In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications.
Eugenio Scalise, Nancy Zambrano
doaj +1 more source
LCM and MCM: specification of a control system using dynamic logic and process algebra [PDF]
, 1994 LCM 3.0 is a specification language based on dynamic logic and process algebra, and can be used to specify systems of dynamic objects that communicate synchronously.
Wieringa, Roel
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Objectives To identify predictors of chronic ITP (cITP) and to develop a model based on several machine learning (ML) methods to estimate the individual risk of chronicity at the timepoint of diagnosis. Methods We analyzed a longitudinal cohort of 944 children enrolled in the Intercontinental Cooperative immune thrombocytopenia (ITP) Study ...
Severin Kasser +6 more
wiley +1 more source
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Chronic kidney disease is a growing public health problem worldwide, and the number of patients requiring renal replacement therapy is steadily increasing. Türkiye has experienced a similar rise in both the incidence and prevalence of renal replacement therapy over the past decades; however, national‐level projections of future ...
Arzu Akgül +2 more
wiley +1 more source
On study of professional sociolect as language universalia [PDF]
SHS Web of Conferences, 2019 The concept of a “professional sociolect” is considered in the paper in terms of a sociolinguistic approach. A definition is given to the language phenomenon under consideration.
Dvorak Ekaterina
doaj +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
, 2010 Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi +16 more
core +1 more source
The Caenorhabditis elegans DPF‐3 and human DPP4 have tripeptidyl peptidase activity
FEBS Letters, EarlyView.The dipeptidyl peptidase IV (DPPIV) family comprises serine proteases classically defined by their ability to remove dipeptides from the N‐termini of substrates, a feature that gave the family its name. Here, we report the discovery of a previously unrecognized tripeptidyl peptidase activity in DPPIV family members from two different species.
Aditya Trivedi, Rajani Kanth Gudipati
wiley +1 more source