TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
Analysis of System-Failure Rate Caused by Soft-Errors using a UML-Based Systematic Methodology in an SoC [PDF]
, 2007 This paper proposes an analytical method to assess the soft-error rate (SER) in the early stages of a System-on-Chip (SoC) platform-based design methodology.
Benso, Alfredo +6 more
core +2 more sources
Fog Computing-Based System for Decentralized Smart Parking System by Using Firebase
Jurnal Nasional Teknik Elektro dan Teknologi InformasiThe growth of vehicle number is unavoidable whilst the availability of parking is not directly proportional with this condition. Nowadays, many shopping centers do not have sufficient parking spot, causing customers to have difficulty in finding ...
Haposan Yoga Pradika Napitupulu +1 more
doaj +1 more source
The pros and cons of using SDL for creation of distributed services [PDF]
, 1999 In a competitive market for the creation of complex distributed services, time to market, development cost, maintenance and flexibility are key issues.
Bjorkander, M. +6 more
core +2 more sources
Crosstalk between the ribosome quality control‐associated E3 ubiquitin ligases LTN1 and RNF10
FEBS Letters, EarlyView.Loss of the E3 ligase LTN1, the ubiquitin‐like modifier UFM1, or the deubiquitinating enzyme UFSP2 disrupts endoplasmic reticulum–ribosome quality control (ER‐RQC), a pathway that removes stalled ribosomes and faulty proteins. This disruption may trigger a compensatory response to ER‐RQC defects, including increased expression of the E3 ligase RNF10 ...
Yuxi Huang +8 more
wiley +1 more source
Supporting process reuse in PROMENADE [PDF]
, 2002 Process reuse (the ability to construct new processes by assembling already built ones) and process harvesting (the ability to build generic processes that may be further reused, from existing ones) are two crucial issues in process technology.
Franch Gutiérrez, Javier +1 more
core +1 more source
Semantic modelling of learning objects and instruction [PDF]
, 2006 We introduce an ontology-based semantic modelling framework that addresses subject domain modelling, instruction modelling, and interoperability aspects in the development of complex reusable learning objects.
C. Pahl +3 more
core +3 more sources
Real‐time assay of ribonucleotide reductase activity with a fluorescent RNA aptamer
FEBS Letters, EarlyView.Ribonucleotide reductases (RNR) synthesize DNA building blocks de novo, making them crucial in DNA replication and drug targeting. FLARE introduces the first single‐tube real‐time coupled RNR assay, which enables isothermal tracking of RNR activity at nanomolar enzyme levels and allows the reconstruction of allosteric regulatory patterns and rapid ...
Jacopo De Capitani +4 more
wiley +1 more source
Can unsupervised machine learning gain new insights into urodynamic pressure flow pattern analysis? [PDF]
BJU IntObjectives To explore the use of unsupervised machine learning (UML) to analyse segments of the pressure flow study (PFS) curve after maximum flow, and subsequently to analyse the urodynamic and patient characteristics of men in the detected clusters. Subjects and Methods In this study, we considered 1650 PFSs of men with lower urinary tract symptoms ...
van Dort W +4 more
europepmc +2 more sources
IEEE Standard 1500 Compliance Verification for Embedded Cores [PDF]
, 2008 Core-based design and reuse are the two key elements for an efficient system-on-chip (SoC) development. Unfortunately, they also introduce new challenges in SoC testing, such as core test reuse and the need of a common test infrastructure working with ...
Benso, Alfredo +3 more
core +1 more source