Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

Search 250 million research papers

Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.

About 10,000 papers for “Executable”

Executable Knowledge

Russ Harmer · HAL (Le Centre pour la Communication Scientifique Directe) · 2012

workshop at NYU organized by Patrick Cousot

Cited by 0

Executable workflows

Hemang Lavana, Amit Khetawat, F. Brglez et al. · 1997

This paper introduces a directed hypergraph modelthat supports (1) workflow composition and reconfigurationwhile accessing and executing programs, data, and computingresources across the Internet, (2) synchronous and asynchronouspeer-to-peer interaction between members of anyteam during workflow composition and execution, (3) synchronousand asynchronous peer-to-workflow interaction betweenany team member and any object in the workflow.Given a library of program and data nodes, editing theworkflow and its execution is as intuitive as the hierarchicalschematic design capture and simulation.Examples of multi-sitemulti-user applications demonstrate that the proposedworkflow implementation provides a user-friendly paradigmfor distracted and collaborative team design.

Cited by 52Open access

MCMC executable

Baker, Christopher · Figshare · 2017

This zip file contains all files required to run the MCMC analysis.

Cited by 0Open access

game executable

masson_a · Bulletin of Miscellaneous Information (Royal Gardens Kew)

Cited by 0

Executable HTML

Nikolaos Batalas, Vassilis-Javed Khan, Panos Markopoulos · SoftwareX · 2021

Executable HTML is a collection of custom HTML elements that offer document authors the ability to write and execute procedural logic in HTML5. We discuss the motivation of this approach, which lies in the composition of formal Ambulatory Assessment protocols for clinical psychology research, and provide an overview of the software’s inner workings. For researchers in that field, the proposition allows a single HTML document to function as a both human-readable and computer-executable representation of a data collection protocol that can make easier the dissemination and replication of research.

Cited by 4Open access

Executable Code

David Laraway · Literatures of the Americas · 2020

Cited by 0

Submission Executable

Anonymous · Zenodo (CERN European Organization for Nuclear Research) · 2026

Cited by 0Open access

MIAS (executable)

Ning, Jing, Li, Zhou, Zhang, Xingjiang et al. · Figshare · 2022

This compressed package contains all essential components for running Multiplex image acquisition system (MIAS). <br> These include: <em>MIAS executable files for Basler, DaHeng, FLIR and HIKVISION cameras;</em> <em>drivers from the supported vendors;</em> <em>an example video recorded with MIAS.</em> <br> <br>

Cited by 0Open access

Adding Executable Context to Executable Architectures: Enabling an Executable Context Simulation Framework (ECSF)

Garcia, Johnny J. · ODU Digital Commons (Old Dominion University) · 2019

A system that does not stand alone is represented by a complex entity of component combinations that interact with each other to execute a function. In today's interconnected world, systems integrate with other systems - called a system-of-systems infrastructure: a network of interrelated systems that can often exhibit both predictable and unpredictable behavior. The current state-of-the-art evaluation process of these system-of-systems and their community of practitioners in the academic community are limited to static methods focused on defining who is doing what and where. However, to answer the questions of why and how a system operates within complex systems-of-systems interrelationships, a system's architecture and context must be observed over time, its executable architecture, to discern effective predictable and unpredictable behavior. The objective of this research is to determine a method for evaluating a system's executable architecture and assess the contribution and efficiency of the specified system before it is built. This research led to the development of concrete steps that synthesize the observance of the executable architecture, assessment recommendations provided by the North Atlantic Treaty Organization (NATO) Code of Best Practice for Command and Control (C2) Assessment, and the metrics for operational efficiency provided by the Military Missions and Means Framework. Based on the research herein, this synthesis is designed to evaluate and assess system-of-systems architectures in their operational context to provide quantitative results.

Cited by 1Open access

VHDL Executable Requirements

Allan H. Anderson, Gary A. Shaw, Chris T. Sung · 1994

In a top-down design methodology, requirements can be specified in an executable format to remove much of the ambiguity associated with written specifications. The VHSIC Hardware Description Language (VHDL) represents a potentially attractive vehicle for representing executable requirements. In connection with the first RASSP benchmark, a VHDL executable requirement was constructed to capture the interface timing and functional requirements of a real-time embedded processor for forming synthetic aperture radar (SAR) images. This paper discusses the implementation strategy, accuracy, and efficiency of the executable requirement. The associated test bench and metric for assessing image fidelity are presented. Methods for reducing execution time and plans for further work are discussed. 1 Introduction In a top-down design methodology, system requirements can be specified in an executable format to remove much of the ambiguity associated with written specifications. For a signal processin...

Cited by 0

LP-ROBIN executable

Barracchia, Emanuele Pio, Pio, Gianvito, Gomes, Heitor Murilo et al. · Figshare · 2022

The executable of the system LP-ROBIN.

Cited by 0Open access

VFSM executable specification

Flávio Rech Wagner · 2003

A software design method is presented, based on a virtual finite state machine (VFSM) concept. The concept defines a virtual environment that allows the finite state machine to be an entirely table driven software module. A hybrid finite state model is used to achieve a superior design clarity. The method separates the control part of the design problem from the data manipulation part. The specification of the control part is directly executable. The control part is not coded. It is expressed in a table that is executed by the virtual finite state machine executor. The concept of virtual environment has been utilized for the design of complex software control systems.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

Cited by 27

Executable Visual Contracts

Marc Lohmann, Stefan Sauer, Gregor Engels · 2005

Design by contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely by pre- and post-conditions. Existing DbC approaches predominantly use textual representations of contracts to annotate the actual program code with assertions. In the unified modeling language (UML), the textual object constraint language (OCL) supports the specification of preand post-conditions by constraining the model elements that occur in UML diagrams. However, textual specifications in OCL can become complex and cumbersome, especially for software developers who are typically not used to OCL. In this paper, we propose to specify the pre-and post-conditions of an operation visually by a pair of UML object diagrams (visual contract). We define a mapping of visual contracts into Java classes that are annotated with behavioral interface specifications in the Java modeling language (JML). The mapping supports testing the correctness of the implementation against the specification using JML tools, which include a runtime assertion checker. Thus we make the visual contracts executable.

Cited by 28

Android Executable Modeling

Olivier Le Goaër, Franck Barbier, Eric Cariou · Advances in systems analysis, software engineering, and high performance computing book series · 2016

Within the model-driven engineering field, model execution consists in interpreting the model through a dedicated execution engine instead of executing a code based on, or generated from, the model. The class of modeling languages endowed with such executability is called i-DSML (interpreted Domain-Specific Modeling Language). This is an important development shift because a modeling effort seamlessly substitutes to a programming effort. This alternative way for building increasingly complex software is particularly beneficial to the mobile applications market where fast development and agility are recognized as key factors of success. This chapter illustrates how parts of an Android mobApp can be modeled and executed by leveraging a well-known i-DSML, namely UML 2 State Machine Diagrams and the PauWare engine thereof. Beyond this specific case, the proposed installation of PauWare on Android OS sets up the foundation for a whole range of mobApps, provided that they are modeled with the Statecharts formalism.

Cited by 1