Results 71 to 80 of about 100,126 (270)
Journal of Advanced Transportation, 2020 CADS (cooperative autonomous driving systems) are software-intensive and safety-critical reactive systems and give great promise to our daily life, but system errors may not be identified in the design stage until the implement stage, and the cost to ...
Jinyong Wang +4 more
doaj +1 more source
Validate implementation correctness using simulation: the TASTE approach [PDF]
, 2012 High-integrity systems operate in hostile environment and must guarantee a continuous operational state, even if unexpected events happen. In addition, these systems have stringent requirements that must be validated and correctly translated from high ...
Delange, Julien +2 more
core +1 more source
Timed k-Tail: Automatic Inference of Timed Automata
, 2017 Accurate and up-to-date models describing the be- havior of software systems are seldom available in practice. To address this issue, software engineers may use specification mining techniques, which can automatically derive models that capture the ...
Mariani, Leonardo +2 more
core +1 more source
Photothermal‐Activated Antibacterial Amyloid‐Polyphenol‐Iron Hydrogels for Synergistic Wound Healing
Advanced Healthcare Materials, EarlyView.We report a thermally triggered supramolecular hydrogel (LTFe) formed by Fe3+ and tannic acid on lysozyme amyloid fibrils. Fe3+ enables rapid gelation and photothermal transduction with an efficiency of 88.56%. The LTFe hydrogel exhibits excellent biocompatibility, potent antibacterial activity against E. coli and S.
Di Wu +8 more
wiley +1 more source
Труды Института системного программирования РАН, 2018 In this paper, we consider an approach to reverse engineering of UML sequence diagrams from event logs of information systems with a service-oriented architecture (SOA).
K. V. Davydova, S. A. Shershakov
doaj +1 more source
Advanced Materials, EarlyView.In this work, low bandgap (≈1.55 eV) semitransparent perovskite solar cells (ST‐PSCs) having thin (thickness < ≈100 nm) perovskite layers and transparent conductive oxide‐based rear electrodes are fabricated using vacuum‐deposition methods. Two different ST‐PSCs demonstrated a high light utilization efficiency value of 4.2 (PCE: 9.26% and AVT: 45.3 ...
Abhyuday Paliwal +9 more
wiley +1 more source
Mining Hybrid UML Models from Event Logs of SOA Systems
Труды Института системного программирования РАН, 2018 In the paper we consider a method for mining so-called “hybrid” UML models, that refers to software process mining. Models are built from execution traces of information systems with service-oriented architecture (SOA), given in the form of event logs ...
K. V. Davydova, S. A. Shershakov
doaj +1 more source
Advanced Materials, EarlyView.A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song +14 more
wiley +1 more source
An Intelligent Method for C++ Test Case Synthesis Based on a Q-Learning Agent
Applied SciencesEnsuring software quality during development requires effective regression testing. However, test suites in open-source libraries often grow large, redundant, and difficult to maintain. Most traditional test suite optimization methods treat test cases as
Serhii Semenov +4 more
doaj +1 more source
Beyond Earth: Resilience of Quasi‐2D Perovskite Solar Cells in Space
Advanced Materials, EarlyView.In the article (DOI: 10.1002/adma.202520433), Christoph Putz and co‐workers demonstrate rigid quasi‐2D perovskite solar cells operating in low Earth orbit, delivering stable power for more than 100 days under real‐space conditions. In‐orbit performance is correlated with extensive ground‐based thermal and proton‐irradiation studies on rigid and ...
Christoph Putz +17 more
wiley +1 more source