Search Results

Algorithm visualizations have historically shown mixed results in effectiveness. This study aims to clarify their utility by comparing an algorithm visualization based on an expert skill, abstract tracing, against typical debuggers in helping students ...

   Background: Previous work has shown that students can understand more complicated pieces of code through the use of common software development tools (code execution, debuggers) than they can without them.

Objectives: Given that tools can enable ...

Shared code in blockchains, known as smart contracts, stands to replace important parts of our digital governance and financial infrastructure. The permissionless execution of smart contracts is tightly coupled to cryptocurrencies and Proof-of-Work ...

Executing code is essential for various program analysis tasks, e.g., to detect bugs that manifest through exceptions or to obtain execution traces for further dynamic analysis. How- ever, executing an arbitrary piece of code is often difficult in ...

With the increasing adoption of smart home devices, users rely on device automation to control their homes. This automation commonly comes in the form of smart home routines, an abstraction available via major vendors. Yet, questions remain about how a ...

Many software process modeling languages are available today, but the majority do not meet the community's expectations. They are complex, difficult for enactment, and so forth. After studying the state of the art, we asked this research question: ...

Process Orchestration, Execution and Modeling Language (POEML) is an abstract enough but also expressive enough Software Process Modeling Language (SPML) that suits different domains of process modeling and that allows the orchestration and execution of ...

A key challenge in engineering distributed systems consists in the integration into their development of a decentralised infrastructure allowing the system participants to trust each other. In this article, we face such a challenge by proposing a model-...

This paper presents the latest updates to the RIVER open-source testing platform for x86 programs, focusing on how artificial intelligence (AI) techniques can be used to improve the automated testing processes. It is also important to mention that RIVER ...

We develop the optimal trading strategy for a foreign exchange (FX) broker who must liquidate a large position in an illiquid currency pair. To maximize revenues, the broker considers trading in a currency triplet which consists of the illiquid pair and ...

When a robot has to imitate an observed action sequence, it must first understand the inherent characteristic features of the individual actions. Such features need to reflect the semantics of the action with a high degree of invariance between different ...

This article reviews relevant theories and literature on big data management, management decision-making, execution, and other aspects, discusses the two significant factors of decision-making force and executive power that are the realization of ...

Business Process Management Systems (BPMS) aim to support users accomplishing their work tasks in a timely and accurate way. Due to agility requirements stakeholders increasingly model business processes themselves before executing them. They are likely ...

Service Network (SN) is a feasible approach to deal with mass personalized customer requirements in a cost-effective way. The SN philosophy has been widely applied in various service domains, such as e-Business, online travel services, bioinformatics, ...

Influence factors of execution of non-profit organizations were established through the questionnaire, then stablished the execution assessment models by using the fuzzy analytic hierarchy process for non-profit organizations. The empirical analysis ...

With the widespread of the Model-Driven Development (MDD) and surfing on the success of the Unified Modeling Language (UML), software development is shifting from being code-centric to model-centric. Models become the key artefacts in the software ...

We consider the problem of automated planning and control for an execution agent operating in environments that are partially-observable with deterministic exogenous events. We describe a new formalism and a new algorithm, DiscoverHistory, that enables ...

Gary Graham, death-row inmate 696, was convicted in 1981 of the robbery and murder of a man in a Houston Safeway supermarket parking lot. He has vigorously claimed to be innocent to anyone who would listen. As the date of his execution drew near, ...

Ptinto is a hexapod robot designed to keep the equilibrium when moving around rocky and cumbersome areas during the exploration of the Tinto river in Huelva (Spain). We have developed an integrated planning and scheduling system called PIPSS to control ...

Large scale parameter sweep application (PSA) is one of the main grid applications, which may have different characteristics and demands. In this paper, we describe how to use swift to enable the on-demand execution of large scale PSA on open science ...

We present a new framework for describing multi-agent systems with hybrid interacting dynamics, where the interaction between agents occurs at both the continuous and discrete levels. We define multi-agent systems as Interconnected Hybrid Systems, ...