Control and data parallelism are two complementary but often mutually exclusive paradigms used to program massively parallel systems. We propose to encapsulate both control and data parallelism in regular classes of a sequential Object Oriented language: a SPMD programming model is used and thus no language extensions are needed, provided a Shared Virtual Memory is available. We show how these ...

In this paper we describe the architecture and implementation strategy of a concurrent distributed object oriented program execution environment, where concurrently executing processes access objects in a virtual shared memory. Lin-earizability, basic correctness condition for the semantics of concurrent object invocation, is implemented using a lock-free protocol, and integrated transparently ...

Mobile data acquisition is a vital proposal for the fieldwork in a wide range of sciences. Current advances in telecommunications and high bandwidth availability enable effective wireless access to geodata in a field and bi-directional communication with the server site. Aim of the MobilDat project is to improve support of field mapping with mobile devices. This improvement is based on the idea...

Object-oriented programming environments are increasingly needed for programming OIS applications. A prototype object-oriented language has been implemented, and we are refining the language and its implementation. The environment integrates a number of database and operating system concepts, in particular, abstract data types, database constraints, atomic transactions, data persistency, trigge...

Source code analysis does not provide enough information for the program understanding activities. Understanding object oriented software systems during software maintenance are difficult and take a considerable amount of time and cost. In software maintenance perspective reverse engineering process extracts information to provide visibility of the object oriented components and relations in th...

Software testing, including runtime verification, is essential for developing reliable software products. As is often the case with the development of industrial software products, the scale of a test program tends to be larger than that of a product program. As the test program is inherent in the product program, it is often structured in an ad hoc manner. We consider that improving modularity...

Trust has become an important feature of security. Originally having its roots in the social sciences, it has fast moved into the field of computer science and more recently into the domain of network security. It is becoming important for scientists to model human trust, especially in a network environment where a lack of trust between network devices, such as routers, can result in poor quali...