Results 31 to 40 of about 89,296 (286)
Secured Workstation to Process the Data of Different Classification Levels
Journal of Telecommunications and Information Technology, 2012 The paper presents some of the results obtained within the ongoing project related with functional requirements and design models of secure workstation for special applications (SWSA).
Zbigniew Zieliński +4 more
doaj +1 more source
Extended distributed UML-based protocol synthesis method
, 2014 Synthesizing specifications for real time applications that involve distributed communication protocol entities from a service specification, which is modeled in the UML state machine with composite states, is a time-consuming and labor-intensive task ...
Dallal, Jehad Al
core +1 more source
Biosensors, 2022 An electrochemical aptasensor has been developed to determine breast cancer biomarkers (CA 15-3). Aptamer chains were immobilized on the surface of the electrode by g-C3N4/Fe3O4 nanoparticles, which increased the conductivity and active surface area of ...
Mehrab Pourmadadi +7 more
doaj +1 more source
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
An Institutional Framework for Heterogeneous Formal Development in UML [PDF]
, 2014 We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different
A. Boronat +19 more
core +2 more sources
On the Execution and Runtime Verification of UML Activity Diagrams
SoftwareThe unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj +1 more source
Towards a Step Semantics for Story-Driven Modelling [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably ...
Géza Kulcsár, Anthony Anjorin
doaj +1 more source
β‐TrCP overexpression enhances cisplatin sensitivity by depleting BRCA1
Molecular Oncology, EarlyView.Low levels of β‐TrCP (Panel A) allow the accumulation of BRCA1 and CtIP, which facilitate the repair of cisplatin‐induced DNA damage via homologous recombination (HR) and promote tumor cell survival. In contrast, high β‐TrCP expression (Panel B) leads to BRCA1 and CtIP degradation, impairing HR repair, resulting in persistent DNA damage and apoptosis ...
Rocío Jiménez‐Guerrero +8 more
wiley +1 more source
MDA-based ATL transformation to generate MVC 2 web models
, 2011 Development and maintenance of Web application is still a complex and error-prone process. We need integrated techniques and tool support for automated generation of Web systems and a ready prescription for easy maintenance.
Rahmouni, M'hamed
core +1 more source
An Automated Functional Testing Framework for Context-Aware Applications
IEEE Access, 2018 In the modern era of mobile computing, context-aware computing is an emerging paradigm due to its widespread applications. Context-aware applications are gaining increasing popularity in our daily lives since these applications can determine and react ...
Aamir Mehmood Mirza +1 more
doaj +1 more source