Search results for "Programming Language"
showing 10 items of 624 documents
Experimental evaluation of hypertext access structures
2002
Transient hypertextual access structures (THASs) are temporary graphs formed automatically on the basis of the situation-dependent information needs of software engineers. The approach is implemented in the HyperSoft system, which is a hypertext-based software maintenance support tool. THASs highlight the relevant parts of the program and enable nonlinear browsing between them. The system also supports various graphical views whose elements are linked to the program text. This paper describes the effects of using these hypertextual structures in two separate experiments. The subjects of both experiments were computer science students (total N = 70). In both experiments, the subjects perform…
Uz modeļu transformācijām balstītu rīku būves metožu izstrāde un realizācija
2012
Anotācija Promocijas darbā „Uz modeļu transformācijām balstītu rīku būves metožu izstrāde un realizācija” aplūkota uz modeļu transformācijām un metamodeļiem balstītu problēmorientētu rīku būves sfēra un risināta problēma, kā atvieglot šādu rīku izstrādi un lietošanu. Konkrēti aplūkota rīku būves platforma GRAF, kuras izstrādē autors piedalījies, un tā papildināta ar vairākiem servisiem, kas atvieglo rīku izstrādi ar šo platformu, kā arī ar to izstrādātu rīku uzturēšanu. Galvenie papildinājumi ietver vidēji augsta līmeņa modeļu transformāciju valodu izstrādi un realizāciju, metamodeļa skata jēdziena definēšanu un ieviešanu, kā arī modeļa un metamodeļa fragmenta specificēšanu, eksportu, impor…
Update of the Binoth Les Houches Accord for a standard interface between Monte Carlo tools and one-loop programs
2014
We present an update of the Binoth Les Houches Accord (BLHA) to standardise the interface between Monte Carlo programs and codes providing one-loop matrix elements.
Modellierung überbetrieblicher behandlungsprozesse durch objekt-petrinetze
2005
Clinical processes are often performed by the cooperation of different healthcare organization. But even that for modeling of such processes the object Petri nets can be used, they often lack of intuitive comprehensibility. This contribution presents an interpretation of object Petri nets which assigns abstract net elements to real objects of the healthcare domain. By doing this it helps domain user to apply this Petri net type to the modeling of clinical processes. The application of this approach is demonstrated.
Boolean-controlled systems via receding horizon and linear programing
2009
We consider dynamic systems controlled by boolean signals or decisions. We show that in a number of cases, the receding horizon formulation of the control problem can be solved via linear programing by relaxing the binary constraints on the control. The idea behind our approach is conceptually easy: a feasible control can be forced by imposing that the boolean signal is set to one at least one time over the horizon. We translate this idea into constraints on the controls and analyze the polyhedron of all feasible controls. We specialize the approach to the stabilizability of switched and impulsively controlled systems.
Pellet: A Practical OWL-DL Reasoner
2007
In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.
ETAT: Expository Text Analysis Tool.
2002
Qualitative methods that analyze the coherence of expository texts not only are time consuming, but also present challenges in collecting data on coding reliability. We describe software that analyzes expository texts more rapidly and produces a notable level of objectivity. ETAT (Expository Text Analysis Tool) analyzes the coherence of expository texts. ETAT adopts a symbolic representational system, known as conceptual graph structures. ETAT follows three steps: segmentation of a text into nodes, classification of the unidentified nodes, and linking the nodes with relational arcs. ETAT automatically constructs a graph in the form of nodes and their interrelationships, along with various a…
Lua Code: Security Overview and Practical Approaches to Static Analysis
2017
Lua is an interpreted, cross-platform, embeddable, performant and low-footprint language. Lua's popularity is on the rise in the last couple of years. Simple design and efficient usage of resources combined with its performance make it attractive for production web applications even to big organizations such as Wikipedia, CloudFlare and GitHub. In addition to this, Lua is one of the preferred choices for programming embedded and IoT devices. This context allows to assume a large and growing Lua codebase yet to be assessed. This growing Lua codebase could be potentially driving production servers and extremely large number of devices, some perhaps with mission-critical function for example i…
Some thoughts about the conceptual / procedural distinction in translation: a key-logging and eye-tracking study of processing effort
2014
This article builds on the conceptual / procedural distinction postulated by Relevance Theory to investigate processing effort in translation task execution. Drawing on relevance-theoretic assumptions, it assumes that instances related to procedural encodings will require more effortful processing not only in relation to the time spent on the task but also in terms of product indicators such as seconds per word and number of micro translation units per word. Drawing on key-logging and eye-tracking data, the article shows that there are statistically significant differences when conceptual and procedural encodings are analysed in selected areas of interest, with instances related to procedur…
Panel Summary: Behavioural Models
1997
The aim of this paper is to report the panel discussion on behavioural models of human or machine agents interacting with the environment. In particular the following hot points will been analysed: a framework for describing behaviour; learning and evolution; closure and teleonomy when it comes to behaviour; the perception-learning-planning loop; the information integration at the (pre)attentive level; knowing by acting and knowing by computing.