This paper presents design and implementation of a remote Procedure call (RPC) API for programming applications on Peer-to-Peer environments. The P2P-RPC API is designed to address one of neglected aspect of Peer-to-Peer the lack of a simple programming interface. In this paper we examine one concrete implementation of the P2PRPC API derived from OmniRPC (an existing RPC API for the Grid based ...

We demonstrate a specific method and technology for model-based testing of large software projects with the QuickCheck tool using property-based specifications. Our specifications are very precise, state-full models of the software under test (SUT). In our approach we define (a) formal descriptions of valid function call sequences (public API), (b) postconditions that check the validity of each...

This paper presents a “gridifying” process for aerodynamic wing design as a case study of complex engineering design problems. In order to assist engineers and scientists to solve the problems on the Grid environment effectively, we developed an API based on GridRPC, a Remote Procedure Call standard interface for Grid-enabled applications. In this work, we also provide mechanisms to reduce comm...

Due to various considerations, software vendors often translate their applications from one programming language to another, either manually or with the support of translation tools. Both these scenarios require translation of many call sites of API elements (i.e., classes, methods, and fields of API libraries). API mapping relations, either acquired by experienced programmers or already incorp...

API calls are programming interfaces used by applications. When it is difficult for an analyst to perform a direct reverse analysis of program, the provides important basis analyzing behavior and functionality program. address spaces essential analysts identify call information, therefore obfuscation as protection strategy prevent from obtaining information spaces. avoids aims create more compl...

Software birthmarking uses a set of unique characteristics every program has upon creation to justify ownership claims of thefted software. This paper presents a novel birthmarking technique based on the interaction of a program with the standard API. We have used this technique to succesfully distinguish 4 different implementations of PNG image processing.