FunnyQT1 is a new model querying and transformation approach which is implemented as an API for the functional, JVM-based Lisp-dialect Clojure. It provides several sub-APIs for implementing different kinds of queries and transformations. For example, there is a model-to-model transformation API, and there is an in-place transformation API for writing programmed graph transformations. FunnyQT cu...

Parallel development has been shown to frequently lead to conflicting changes. These conflicts can be categorized into two main classes: (1) direct conflicts, which arise due to concurrent changes to the same artifact, and (2) indirect conflicts, which arise due to changes in one artifact affecting concurrent changes in another artifact. While the detection of direct conflicts is supported by c...

In manufacturing, the Human Machine Interface (HMI) handles the human interaction with a machine controller. Currently, in computer numerically controlled (CNC) machines, most HMIs are tied to a CNC using a proprietary connection that leads to non-reusable, vendor-specific, application software resulting in costlier integration. With a standard HMI-Controller Application Programming Interface (...

Translational science research development requires life sciences researchers to update their concept on systems integration and data integration. The RESTful API has proven to be very useful in integrating the massive amount of data and tools. This work presents an approach for biological systems analysis based on the semantic web and RESTful API. The integration of this approach in the BioExt...

PKCS#11 is a widely adopted standard that defines a security API for accessing devices such as smartcards and hardware security modules. Motivated by experiments on several devices we develop an approach that allows us to formally establish security properties of keys stored on such devices. We use first-order linear time logic extended by past operators. The expressiveness of a first-order lan...

In this paper, we present a survey of existing augmented reality implementations to determine a software and hardware approach in implementing an augmented reality API. The API seeks to combine augmented reality on a mobile device with a 3D model of the human body on a digital table. We address the advantages and shortcomings of existing augmented reality APIs and examine their compatibility wi...

With the development of the Internet, Web services, such as Google Maps API and YouTube Data API, become more important and convenient for the Web knowledge distribution and integration. However, currently, most existing Web sites do not provide Web services. In this paper, we present a partial information extraction technology to construct the Web services from the general Web applications qui...

The following short report introduces an approach to utilize unbounded, reliable fifo queues as basis for an operational semantics of distributed applications whose implementation is based on the Berkeley Sockets Api. After a sketch of Tcp and the Sockets Api, a first draft of a formalization of distributed programs is given as well as a straight-forward translation into the abstract formal mod...

It is not always easy for an Android user to choose the most suitable application for a particular task from the great number of applications available. In this paper, we propose a semi-automatic approach to extract feature names from Android applications. The case study verifies that we can associate common sequences of Android API calls with feature names. key words: Android, feature extracti...

Qualitative reasoning is an approach for dealing with commonsense knowledge without using numerical computation. Instead, one tries to represent knowledge using a limited vocabulary such as qualitative relationships and qualitative categories for representing real values (J. Renz, B. Nebel, 2007). Qualitative approach is use to deal with incomplete knowledge and it is considered to be close to ...