Results 51 to 60 of about 494,717 (236)
Z Specification and Verification of Feature Interaction in Telecommunication Service System [PDF]
Jisuanji gongcheng, 2016 For formally describing feature interaction problems in telecommunication system accurately and compactly,this paper applies Z language into the research on these feature interaction problems.It does the formal description for three main types of feature
PENG Zhan,LIANG Gen,ZHOU Bing
doaj +1 more source
Molecular Oncology, EarlyView.Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla +9 more
wiley +1 more source
OCL-BASED TEST CASE GENERATION USING CATEGORY PARTITIONING METHOD [PDF]
ICTACT Journal on Soft Computing, 2015 The adoption of fault detection techniques during initial stages of software development life cycle urges to improve reliability of a software product.
A. Jalila, D. Jeya Mala
doaj
Method specification for automated evaluation of documents formal quality
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2009 Automated documents processing allows production of large amount of documents. Formal quality of the documents is very important as it contributes to better understanding and information transmission.
Petra Talandová, Jiří Rybička
doaj +1 more source
AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B
Jordanian Journal of Computers and Information Technology, 2020 Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing. This problem is not recent.
Kheira-Zineb Bousmaha Ossoukine +1 more
doaj +1 more source
Table‐based formal specification approaches for control engineers—empirical studies of usability
IET Cyber-Physical Systems, 2021 The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements.
Suhyun Cha +4 more
doaj +1 more source
Formal Specification of Domain-Specific ECA Policy Models [PDF]
2011 Fifth International Conference on Theoretical Aspects of Software Engineering, 2011 Policy-based management allows to adapt systems to changed requirements in a flexible and automated way. Policy development usually starts with the specification of high-level policies, which are then refined into a low-level representation. We use models to specify event-condition-action (ECA) policies at different levels of abstraction and ...
Romeikat, Raphael, Bauer, Bernhard
openaire +2 more sources
Molecular Oncology, EarlyView.Targeted therapy was evaluated in SHH medulloblastoma using neuroepithelial stem cell (NES) and tumor‐derived NES‐like (tNES) models in 2D monolayers and 3D spheroids. PI3K, AKT, and CDK4/6 inhibitors had minimal effects in NES but markedly reduced viability and growth and induced apoptosis in tNES cells, revealing distinct therapeutic vulnerabilities.
Monika Lukoseviciute +4 more
wiley +1 more source
Formal model and Policy specification for software defined networks
Journal of Kufa for Mathematics and Computer, 2016 Software-defined networking SDN is gaining a sharp increase in adoption by very well-known companies Like Google and Microsoft. Currently, the two stands out reliability and security are the most issues that hampering the SDN rapid growth.
DAWOOD SALMAN JASIM AL-FARTTOOSI
doaj +1 more source
Molecular Oncology, EarlyView.We have established a humanized orthotopic patient‐derived xenograft (Hu‐oPDX) mouse model of high‐grade serous ovarian cancer (HGSOC) that recapitulates human tumor–immune interactions. Using combined anti‐PD‐L1/anti‐CD73 immunotherapy, we demonstrate the model's improved biological relevance and enhanced translational value for preclinical ...
Luka Tandaric +10 more
wiley +1 more source