Results 91 to 100 of about 113,367 (297)
A Method for the Quality‐Aware Automated Selection of Deployment Technologies
ABSTRACT Domain The deployment of distributed multi‐component cloud applications typically requires a combination of multiple heterogeneous deployment technologies. A different combination of deployment technologies should be chosen due to varying deployment qualities, such as the functional suitability and reliability of the deployment technologies ...
Miles Stötzner+7 more
wiley +1 more source
JSClassFinder: A Tool to Detect Class-like Structures in JavaScript [PDF]
With the increasing usage of JavaScript in web applications, there is a great demand to write JavaScript code that is reliable and maintainable. To achieve these goals, classes can be emulated in the current JavaScript standard version. In this paper, we
Anquetil, Nicolas+5 more
core +3 more sources
Traceability Support for Engineering Reviews of Horizontal Model Evolution
ABSTRACT At its very core, model‐based systems engineering uses models to enable a multidisciplinary view on a system design in the early stages. These early stage models evolve horizontally: new diagrams for further perspectives and disciplines are added, using the same notation and the same abstraction level.
Johan Cederbladh+4 more
wiley +1 more source
Generating Logical Architectures from SysML Behavior Models
ABSTRACT Modeling solution‐neutral operating principles of system features as SysML behavior models enable systems engineers to specify reusable product features for a variety of similar products and to specify and document a product's functionality in an easy‐to‐understand manner.
Christian Granrath+4 more
wiley +1 more source
A GROOVE Solution for the BPMN to BPEL Model Transformation [PDF]
In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set.
Mol, M.J. de, Zimakova, M.V.
core +2 more sources
Fast, Flexible, and Declarative Construction of Abstract Syntax Trees with PEGs
To appear in Journal of Information Processing (2015)
openaire +4 more sources
Exploring the Potential of Conversational AI for Assessing Second Language Oral Proficiency
Abstract Interactional Competence (IC) is an important subcomponent of oral proficiency, but many computer‐mediated oral English assessments fall short in assessing this construct mainly due to technological limitations. Spoken Dialogue Systems (SDSs) have shown promise in assessing L2 oral communication, yet further investigation is needed on their ...
Yasin Karatay, Jing Xu
wiley +1 more source
Identifying Energy Efficiency Patterns in Sorting Algorithms via Abstract Syntax Tree Mining
Anonymous
openalex +4 more sources
This evolution of PaNET builds on the initial foundational work, which established the infrastructure and incorporated domain expert knowledge, by introducing logical frameworks that provide enhanced reasoning capabilities, and is proposed to address the limitations of the current version of the ontology. This under‐the‐hood development has resulted in
Terence Tan+16 more
wiley +1 more source
Proof Relevant Corecursive Resolution
Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood ...
D Ancona+14 more
core +1 more source