Results 31 to 40 of about 2,368 (218)

An experience report on the verification of autonomic protocols in the cloud [PDF]

Innovations in Systems and Software Engineering, 2013
Cloud applications are often complex distributed applications composed of multiple software components running on separate virtual machines. Setting up, (re)configuring, and monitoring these applications are complicated tasks because a software application may depend on several remote software and virtual machine configurations.
Salaün, Gwen, Boyer, Fabienne, Coupaye, Thierry, de Palma, Noël, Etchevers, Xavier, Gruber, Olivier   +5 more
openaire   +3 more sources

Dynamics Verification Experiment of the Stewart Parallel Manipulator

International Journal of Advanced Robotic Systems, 2015
As the basis of dynamic analysis and driving force calculation, dynamic models and dynamic parameters are important issues in mechanical design and control.
Zhu-Feng Shao, Xiaoqiang Tang, Liping Wang   +2 more
doaj   +1 more source

Enteropathogenic E. coli shows delayed attachment and host response in human jejunum organoid‐derived monolayers compared to HeLa cells

FEBS Letters, EarlyView.
Enteropathogenic E. coli (EPEC) infects the human intestinal epithelium, resulting in severe illness and diarrhoea. In this study, we compared the infection of cancer‐derived cell lines with human organoid‐derived models of the small intestine. We observed a delayed in attachment, inflammation and cell death on primary cells, indicating that host ...
Mastura Neyazi, Pilar Samperio Ventayol, Natalie Burkard, Nicolas Schlegel, Carmen Aguilar, Sina Bartfeld   +5 more
wiley   +1 more source

EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS

International Journal of Computing, 2014
This paper presents a case study in the application of formal methods to the verification of communication protocols. We analyze one component block of telephone switching software developed in the SDL language at Alcatel Network Systems Romania. We use the IF toolset from VERIMAG Grenoble to build a state-transition model of the system and verify ...
Marius Minea, Cornel Izbasa, Calin Jebelean   +2 more
openaire   +2 more sources

Reciprocal control of viral infection and phosphoinositide dynamics

FEBS Letters, EarlyView.
Phosphoinositides, although scarce, regulate key cellular processes, including membrane dynamics and signaling. Viruses exploit these lipids to support their entry, replication, assembly, and egress. The central role of phosphoinositides in infection highlights phosphoinositide metabolism as a promising antiviral target.
Marie Déborah Bancilhon, Bruno Mesmin
wiley   +1 more source

Retrieval Priming in Product Verification: Evidence From Retrieval-Induced Forgetting

Journal of Numerical Cognition, 2018
The conditions under which multiplication verification (3 × 6 = 12, true or false?) involves product retrieval and comparison or familiarity-based recognition judgements has not been clearly established.
Josh Neudorf, Yalin Chen, Jamie I. D. Campbell   +2 more
doaj   +1 more source

Spatiotemporal and quantitative analyses of phosphoinositides – fluorescent probe—and mass spectrometry‐based approaches

FEBS Letters, EarlyView.
Fluorescent probes allow dynamic visualization of phosphoinositides in living cells (left), whereas mass spectrometry provides high‐sensitivity, isomer‐resolved quantitation (right). Their synergistic use captures complementary aspects of lipid signaling. This review illustrates how these approaches reveal the spatiotemporal regulation and quantitative
Hiroaki Kajiho, Shin Morioka, Junko Sasaki, Takehiko Sasaki   +3 more
wiley   +1 more source

Thread Verification - An Experience Report

Electronic Notes in Theoretical Computer Science, 2007
AbstractThe paper details the author's thread verification experiences with four applications: Linux kernel code, the Red Hat Linux POSIX Thread library, a portable PThread library, which was developed by the author for NASA, and a HandyChecker prototype.
openaire   +1 more source

Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation

FEBS Letters, EarlyView.
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe, Tanmay Kumar Mohanty, Rashna Bhandari, Dorothea Fiedler   +3 more
wiley   +1 more source

Clearance Analysis of Rotor–Stator Coupled Structures Under Maneuver Flight Conditions Considering Multi-Physical Fields

Aerospace
In the previous studies on the clearance between rotors and stators, only a single physical field or part of the physical fields are considered.
Dongxu Du, Shihao Ma, Yu Zhang, Kunpeng Xu, Junzhe Lin, Shang Lv, Xuedong Sun, Wei Sun   +7 more
doaj   +1 more source