Results 41 to 50 of about 565,922 (289)

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, Syed Asad Raza Kazmi   +1 more
doaj   +1 more source

Formal Specification with JML

, 2014
This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It is a preview of a chapter planned to appear in a book about the KeY approach and tool to the verification of Java software. JML is the dominating starting point of KeY style Java verification. However, this paper does not in any way depend
Huisman, Marieke, Ahrendt, Wolfgang, Bruns, Daniel, Hentschel, Martin   +3 more
openaire   +3 more sources

Plecstatin inhibits hepatocellular carcinoma tumorigenesis and invasion through cytolinker plectin

Molecular Oncology, EarlyView.
The ruthenium‐based metallodrug plecstatin exerts its anticancer effect in hepatocellular carcinoma (HCC) primarily through selective targeting of plectin. By disrupting plectin‐mediated cytoskeletal organization, plecstatin inhibits anchorage‐dependent growth, cell polarization, and tumor cell dissemination.
Zuzana Outla, Jan Kosla, Magdalena Prechova, Lukas Frick, Patricia Bortel, Yasmin Borutzki, Andrea Bileck, Christopher Gerner, Samuel M. Meier‐Menches, Selma Osmanagic‐Myers, Martin Gregor   +10 more
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  

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, Marc Frappier, Régine Laleau, Frédéric Gervais   +3 more
doaj   +1 more source

Formalizing Anaesthesia: A case study in formal specification [PDF]

, 1996
We report on the formalization of knowledge for a support system in the field of anaesthesiology. It is a case study in the use of the formal specification method we are developing. The method consists of guidelines (using concepts from object-oriented design methods), language (AFSL, Almost Formal Specification Language) and tools (type-checker ...
Groenboom, R, Saaman, Erik, Rotterdam, Ernest, Renardel de Lavalette, Gerard   +3 more
openaire   +2 more sources

Peroxidasin enables melanoma immune escape by inhibiting natural killer cell cytotoxicity

Molecular Oncology, EarlyView.
Peroxidasin (PXDN) is secreted by melanoma cells and binds the NK cell receptor NKG2D, thereby suppressing NK cell activation and cytotoxicity. PXDN depletion restores NKG2D signaling and enables effective NK cell–mediated melanoma killing. These findings identify PXDN as a previously unrecognized immune evasion factor and a potential target to improve
Hsu‐Min Sung, David Bickel, Lena C. M. Krause, Daria Ezeriņa, Christian Ickes, Julian Wojtachnia, Christine S. Gibhardt, Magdalena Shumanska, Khadija Wahni, Andrea Paluschkiwitz, Julia Malo Pueyo, Ekaterina Baranova, Wim Vranken, Hedwig Stanisz, Ioana Stejerean‐Todoran, Michael P. Schön, Joris Messens, Ivan Bogeski   +17 more
wiley   +1 more source

Review of Formal Specification and Verification for Operating Systems [PDF]

Jisuanji gongcheng
Operating Systems (OSs), which form a critical infrastructure in the information age, are widely used in core fields such as medical care, industries, and the military.
WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing
doaj   +1 more source

Correlation of the differential expression of PIK3R1 and its spliced variant, p55α, in pan‐cancer

Molecular Oncology, EarlyView.
PIK3R1 undergoes alternative splicing to generate the isoforms, p85α and p55α. By combining large patient datasets with laboratory experiments, we show that PIK3R1 spliced variants shape cancer behavior. While tumors lose the protective p85α isoform, p55α is overexpressed, changes linked to poorer survival and more pronounced in African American ...
Ishita Gupta, Yang Song, Madeleine Ndahayo, Anirudh Saxena, Theresa Guo, Dylan Z. Kelley, Jessica Gore, Andrew Hennigan, Alexa Anderson, John C. Papadimitriou, Daria A. Gaykalova   +10 more
wiley   +1 more source

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