Filters








17,411 Hits in 3.8 sec

Translating keyword commands into executable code

Greg Little, Robert C. Miller
2006 Proceedings of the 19th annual ACM symposium on User interface software and technology - UIST '06  
We call expressions of this form keyword commands, and we present a novel approach for translating keyword commands directly into executable code.  ...  Our prototype of this system in the web browsing domain translates click search button into the Chickenfoot code click(findButton("search")).  ...  CONCLUSION We have scratched the surface of a domain with great potential: translating keyword commands into executable code.  ... 
doi:10.1145/1166253.1166275 dblp:conf/uist/LittleM06 fatcat:rayxyq7htvf23fawcbf7o4wvhy

Improved Rapid Automatic Keyword Extraction for Voice-based Mechanical Arm Control

Chi-Huang Shih, Cheng-Jian Lin, Shiou-Yun Jeng
2021 Sensors and materials  
We also propose an improved rapid automatic keyword extraction (IRAKE) method, which uses the word string matching feature in the dictionary method to correspond to the relevant execution action function  ...  As smart voices gradually enter the human living environment, people can interact with controlled systems through simple commands without the need for a screen.  ...  If the command format of the mechanical arm is converted using the proposed IRAKE method of keyword extraction, the corresponding machine codes will be obtained.  ... 
doi:10.18494/sam.2021.3266 fatcat:x7erabwhybgqbjn6tcaovaupyi

The Verification of rCOS Using Spin

Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu
2008 Electronical Notes in Theoretical Computer Science  
When rCOS is translated to SPIN, pre and post conditions are translated into "assert" and invariants are translated into "never" claims.  ...  Without doubt, throughput of commands execution in parallel is improved from sequent commands. However, allowing multiple threads to execute in parallel also cause some problems.  ... 
doi:10.1016/j.entcs.2008.03.085 fatcat:inkqssw2yvhcplx62xoirozlru

Bash2py: A bash to Python translator

Ian J. Davis, Mike Wexler, Cheng Zhang, Richard C. Holt, Theresa Weber
2015 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER)  
At the request of our industrial partner, we therefore developed a source-to-source translator, bash2py, which converts bash scripts into Python.  ...  Bash2py correctly converts most Bash into Python, but does require human intervention to handle constructs that cannot easily be automatically translated.  ...  Since bash2py is a code translator it does not execute commands.  ... 
doi:10.1109/saner.2015.7081866 dblp:conf/wcre/DavisWZHW15 fatcat:sglsrlwmlbfq7cmj3cmbr7xl3i

Behavior development through task oriented discourse

John R. Lee, Andrew B. Williams
2004 Computer Animation and Virtual Worlds  
As digital human animation and simulation systems are coming into widespread use, scenario designers and digital animators must introduce specific tasks, procedures and animation sequences into a digital  ...  Then keywords in these simpler sentences are translated into agents, objects, actions, and manners to be used for behavior execution.  ...  The complex instruction is translated into a series of IPARs, interconnected in a structure that is based on the keywords used to interconnect the simple commands.  ... 
doi:10.1002/cav.36 fatcat:tgnbbegstrfd5kbtee4zurrhda

SMask

Martin Johns, Christian Beyerlein
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
Therefore, no syntactic means exists to differentiate between executable code and generic data.  ...  This circumstance is the root of most code injection vulnerabilities: Attackers succeed in providing malicious data that is executed by the application as code.  ...  If insufficient sanitized, user-provided data is included in this code an attacker may be able to execute arbitrary commands on the web server.  ... 
doi:10.1145/1244002.1244071 dblp:conf/sac/JohnsB07 fatcat:myznp4oyznhezmyicifs76d2ou

FORMAL MODELING AND ANALYSIS OF ENTITY FRAMEWORK USING ALLOY

Maria Belen Bonino, Ana Garis, Daniel Riesco
2021 International Journal of Software Engineering and Computer Systems  
This platform is usually chosen by agile projects following the code-first approach that allows automatic generation of a database from domain classes coded in the C# language.  ...  The proposal allows engineers to start the software development using Alloy for modeling, validation and verification, automatically translate Alloy specifications to C# domain classes and then generate  ...  With the help of the database provider, EF translates queries into SQL code. It then executes the query and returns instances of the domain objects.  ... 
doi:10.15282/ijsecs.7.2.2021.2.0085 fatcat:3v2xroc6fve3fftxvhkoj6hijy

Deeply Integrating C11 Code Support into Isabelle/PIDE

Frédéric Tuong, Burkhart Wolff
2019 Electronic Proceedings in Theoretical Computer Science  
We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment.  ...  A command starts with a pre-declared keyword followed by the specific syntax of this command; an evaluation of a command parses the input till the next command, and transfers the parsed input to a transition  ...  For example, the annotation command setup has been defined for being executed at bottom-up time, whereas the execution of the variant setup⇓ happens at top-down time.  ... 
doi:10.4204/eptcs.310.3 fatcat:v2lp6rfauje6biw2ts2fdtfixq

Verifying Erlang/OTP Components in μCRL [chapter]

Qiang Guo
2007 Lecture Notes in Computer Science  
In this paper we extend this work and propose a model that supports the translation of an OTP finite state machine design pattern into a µCRL specification.  ...  One (existing) approach is to perform an abstraction of an Erlang program into the process algebra µCRL, upon which standard verification tools can be applied.  ...  Translating Erlang/OTP FSMs into µCRL This section investigates the translation of the OTP FSM design pattern into μCRL.  ... 
doi:10.1007/978-3-540-73196-2_15 fatcat:bp5ch32adrdatngt4kxuilxfre

Workflow Semantics of Peer and Service Behaviour

Antonio Brogi, Razvan Popescu
2008 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering  
., testing possible execution scenarios) and analysis (e.g., verifying reachability or lock freedom) of the behaviour of P2P peers and services. * Work partly supported by the SMEPP project (EU-FP6-IST  ...  Exit terminates the execution of the peer or service code. Structured Commands. Figure 3 illustrates SMoL structured commands 3 .  ...  As we already mentioned, we have also developed a prototype tool for the transformation of SMoL descriptions into Java code.  ... 
doi:10.1109/tase.2008.28 dblp:conf/tase/BrogiP08 fatcat:6lq2iwlgrrgxxpcxpyr5qzjini

Appendix D: The mpC User's Guide [chapter]

2004 Parallel Computing on Heterogeneous Networks  
The mpC compiler translates an mpC program into an ANSI C program with calls to RTS. The compilation unit is a source mpC file.  ...  file is translated into two distinct target files: the first one is for the host process and the second one is for the other processes.  ...  At the top level, we suggest including in the mpC code calls to MPC_Global_barrier and MPC_Barrier to split the program execution into small debuggable portions.  ... 
doi:10.1002/0471654167.app4 fatcat:4sv5yuefpjbjrkkb43gqkoxaae

Automatic Conformance Test Generation Based on a Verified Model of a Bus System Standard

Armin Lechler, Tomas Macias, Agus Atmosudiro
2014 Procedia CIRP  
Little and Miller [17] developed an algorithm for translating informal arbitrary keyword commands into an executable code based on a function tree to be used for web applications.  ...  contained in the model into a domain-specific executable code.  ... 
doi:10.1016/j.procir.2014.10.043 fatcat:3iefi4rdxbeolnrnjpmxrclbte

Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

Kurt W. Leucht, Glenn S. Semmel
2008 IEEE Aerospace Conference. Proceedings  
They developed a process and a prototype software tool that automatically translates a highlevel representation or specification of safety critical application software into ladder logic that executes  ...  The numerous benefits of automatic application code generation are widely accepted within the software engineering community.  ...  translation into PLC code, in addition to a few other executable examples of tabular spec.  ... 
doi:10.1109/aero.2008.4526587 fatcat:pu77jdtfd5f3fmvz7mxyhgsv7y

An Extended Form of MATLAB To-map Reduce Frameworks in HADOOP Based Cloud Computing Environments

T. Tamilvizhi, B. Parvatha Varthini, K. Manoj, R. Surendran
2016 Research Journal of Applied Sciences Engineering and Technology  
Here proposing a translator which converts Matlab commands to Mapreduce commands especially concentrated in executing some basic commands in Mapreduce environment to access large datasets.  ...  Matlab is a very effective tool for numerical computing since executing this command in a platform independent, distributed environment makes it more efficient.  ...  independent commands to Mapreduce codeTranslate multiple Matlab commands to Mapreduce code.  ... 
doi:10.19026/rjaset.12.2807 fatcat:smzzrzrmgjetjakj4vsvo4dofi

Software Test Automation with Robot Framework

Joshua T. Walker
2020 International Journal of Computer Applications  
The code to execute the keywords is stored in the library "notepad.py," which is called at the beginning of the test case.  ...  To execute the test case, a tester would only need to run the command "robot notepad_save_file.robot" from a command prompt, assuming Robot Framework is installed and the user has navigated to the correct  ... 
doi:10.5120/ijca2020920784 fatcat:2fu4ofiswbfr5f3tcwl3vkxyau
« Previous Showing results 1 — 15 out of 17,411 results