Results 41 to 50 of about 22,226,095 (257)
Engineering runtime requirements-monitoring systems using MDA technologies [PDF]
, 2005 . The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties that data must exhibit, the OCL.
Skene, J +3 more
core +1 more source
DfAnalyzer: Runtime dataflow analysis tool for Computational Science and Engineering applications
SoftwareX, 2020 DfAnalyzer is a tool for monitoring, debugging, and analyzing dataflows generated by Computational Science and Engineering (CSE) applications. It collects strategic raw data, registering provenance data, and enabling query processing, all asynchronously ...
Vítor Silva +7 more
doaj +1 more source
07011 Executive Summary – Runtime Verification
, 2008 From January 2 to January 6, 2007, the Dagstuhl Seminar 07011 "Runtime Verification" was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.
Sokolsky, Oleg +3 more
core +1 more source
hpcwhisk/openwhisk-runtime-go: SC22
, 2022 Apache OpenWhisk Runtime Go supports Apache OpenWhisk functions written in ...
Michele Sciabarra +20 more
core +1 more source
MagmaFlow: A desktop platform for artificial intelligence‐driven expression analysis
FEBS Open Bio, EarlyView.MagmaFlow is a free, no‐code platform for gene expression analysis. It generates interactive volcano plots, links genes to literature, pathways, and diseases, prioritizes candidates using millions of publications, identifies affected biological processes, builds network diagrams, and exports publication‐ready figures and reports for macOS and Windows ...
Carlos E. Buss +7 more
wiley +1 more source
Comparative Analysis of Mobile App Reverse Engineering Methods on Dalvik and ART [PDF]
Journal of Internet Services and Information Security, 2016 The runtime system for the Android platform has changed to ART. ART differs from previously used Dalvik in that it is to be a runtime environment for the application’s machine code. As a result, ART does not execute Dalvik bytecode through an interpreter
Geonbae Na +3 more
doaj
System Runs Analysis with Process Mining
Моделирование и анализ информационных систем, 2015 Information systems (IS) produce numerous traces and logs at runtime. In the context of SOA-based (service-oriented architecture) IS, these logs contain details about sequences of process and service calls.
S. A. Shershakov, V. A. Rubin
doaj +1 more source
Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs [PDF]
Logical Methods in Computer Science, 2012 We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astr\'ee, we focus on embedded critical programs without recursion nor dynamic memory allocation, but ...
Antoine Miné
doaj +1 more source
Advanced Engineering Materials, EarlyView.This article presents the NFDI‐MatWerk Ontology (MWO), a Basic Formal Ontology‐based framework for interoperable research data management in materials science and engineering (MSE). Covering consortium structures, research data management resources, services, and instruments, MWO enables semantic integration, Findable, Accessible, Interoperable, and ...
Hossein Beygi Nasrabadi +4 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Building machine‐readable vocabularies for materials science is slow, expert‐driven work. This study benchmarks 13 large language models on two of its first steps: finding candidate terms in engineering articles and deciding where they belong in a class hierarchy.
Thomas Bjarsch +3 more
wiley +1 more source