The use of distributed memory architectures as an eeective approach to parallel computing brings with it a more complex program development process. Finding a partitioning of program code and data that supports suucient parallelism without incurring prohibitive communication costs is a challenging and critical step in the development of programs for distributed memory systems. Automatic data di...

In this paper, we introduce a new adaptive data analysis method to study trend and instantaneous frequency of nonlinear and nonstationary data. This method is inspired by the Empirical Mode Decomposition method (EMD) and the recently developed compressed (compressive) sensing theory. The main idea is to look for the sparsest representation of multiscale data within the largest possible dictiona...

During maintenance activities programmers make pervasive use of domain knowledge about the code that they maintain. Unfortunately, most of the current program analysis techniques do not explicitly take into consideration knowledge about the domain of the analyzed program. In this paper we advocate the need to use the domain knowledge explicitly in reverse engineering in order to enhance the cur...

The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing method calls that leverages the fundamental object-oriented programming concepts of encapsulation and invariants. The analysis consists of a novel partial context-sensitivity heuristic and a new take on cutpoints that, in ...

Business Process Analysis (BPA) aims to verify, validate, and identify potential improvements for business processes. Despite the wide range of technologies developed so far, the large amount of information that needs to be integrated and processed, as well as the quantity of data that has to be produced and presented still poses important challenges both from a processing and presentation pers...

The purpose of this thesis is in showing how recent developments in logic programming can be exploited to encode in a computational environment the features of certain linguistic theories. We are in this way able to make available for the purpose of natural language processing sophisticated capabilities of linguistic analysis directly justified by well developed grammatical frameworks. More spe...

Extant process modeling techniques address different aspects of processes, such as activity sequencing, resource allocation, and organizational responsibilities. These techniques are usually based on graphic notation and are driven by practice rather than by theoretical foundations. The lack of theoretical principles hinders the ability to ascertain the “correctness” of a process model. A few t...

Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements for quality attributes such as performance, security, and dependability. As a consequence, during this period the field of software architecture has matured significantly. However, current practices of software architect...

Currently scientists and practitioners are discussing Service Oriented Architectures (SOA) as an approach to reconcile business requirements and IT. The alignment of business and technology in organizations is a key challenge in the discipline of Enterprise Architecture (EA). Therefore the contribution starts with a discussion of SOA as an EA integration concept to synchronize business requirem...