Results 11 to 20 of about 140,437 (320)
Executable Business Process Modeling
Развитие образования, 2020 As noted in the explanatory note to the «Information Systems Specialist» professional standard, the success of implementing information systems is largely determined by the accuracy of their adaptation to the business processes of the customer ...
Natalya V. Bogoslovskaya +1 more
doaj +1 more source
Analysis of Dialogical Argumentation via Finite State Machines [PDF]
, 2013 Dialogical argumentation is an important cognitive activity by which agents exchange arguments and counterarguments as part of some process such as discussion, debate, persuasion and negotiation.
C. Hamblin +14 more
core +3 more sources
DEEP: a provenance-aware executable document system [PDF]
, 2012 The concept of executable documents is attracting growing interest from both academics and publishers since it is a promising technology for the dissemination of scientific results. Provenance is a kind of metadata that provides a rich description of the
D. Koop +7 more
core +2 more sources
A Formal Executable Semantics of Verilog [PDF]
, 2010 This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of the official language standard, and ...
Katelman, Michael +3 more
core +1 more source
Annual Review of Psychology, 2013 Executive functions (EFs) make possible mentally playing with ideas; taking the time to think before acting; meeting novel, unanticipated challenges; resisting temptations; and staying focused. Core EFs are inhibition [response inhibition (self-control—resisting temptations and resisting acting impulsively) and interference control (selective ...
openaire +3 more sources
Formal executable descriptions of biological systems [PDF]
, 2005 The similarities between systems of living entities and systems of concurrent processes may support biological experiments in silico. Process calculi offer a formal framework to describe biological systems, as well as to analyse their behaviour, both ...
Brodo, Linda +5 more
core +2 more sources
Research on Dynamic Integrity Measurement Model Based on Memory Paging Mechanism
Discrete Dynamics in Nature and Society, 2014 In order to solve the existed problems of dynamic integrity measurement method, a dynamic integrity measurement model based on Memory Paging Mechanism is proposed in this paper.
Chaowen Chang +3 more
doaj +1 more source
IEEE Access, 2018 In Android, performing a program analysis directly on an executable source is usually inconvenient. Therefore, a reverse engineering technique has been adapted to enable a user to perform a program analysis on a textual form of the executable source ...
Yauhen Leanidavich Arnatovich +3 more
doaj +1 more source
Higher-order Rewriting for Executable Compiler Specifications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 In this paper we outline how a simple compiler can be completely specified using higher order rewriting in all stages: parsing, analysis/optimization, and code emission, specifically using the crsx.sf.net system for a small declarative language called "X"
Kristoffer H. Rose
doaj +1 more source
Continuum, 2010 Executive resources allow for flexible, adaptive, goal-directed responses to environmental circumstances in essentially all facets of daily living. Executive function is composed of related, but separable, components. This article will highlight three essential aspects of executive function: (1) working memory, (2) planning and organizing, and (3 ...
Rachel G, Gross, Murray, Grossman
openaire +2 more sources