Abstract
Despite the important existing contributions on public and political entrepreneurship, research on these topics is still scarce, particularly at the empirical level. Studies on political entrepreneurship have usually focused on the biography of entrepreneurial leaders and the analysis of case studies. Thus, a parameterisation of the variables and relationships that permit quantitative empirical research is in demand. The present study adds to the empirical literature on public and political entrepreneurship by proposing to examine and intersect several dimensions of political entrepreneurship at the local level: funds, activities, infrastructure, and global. Based on responses gathered from 108 Portuguese municipalities, we found that both individual - gender, previous occupational status, age, and managerial competencies of the mayor - and contextual conditions - accessibilities, educational endowments, and business structure of the municipalities, namely the share of medium and large firms - are key determinants of local political entrepreneurship. © The Author(s) 2012.

Abstract
Spreadsheets play an important role in software organizations. Indeed, in large software organizations, spreadsheets are not only used to define sheets containing data and formulas, but also to collect information from different systems, to adapt data coming from one system to the format required by another, to perform operations to enrich or simplify data, etc. In fact, over time many spreadsheets turn out to be used for storing and processing increasing amounts of data and supporting increasing numbers of users. Unfortunately, spreadsheet systems provide poor support for modularity, abstraction, and transformation, thus, making the maintenance, update and evolution of spreadsheets a very complex and error-prone task. We present techniques for model-driven spreadsheet engineering where we employ bidirectional transformations to maintain spreadsheet models and instances synchronized. In our setting, the business logic of spreadsheets is defined by ClassSheet models to which the spreadsheet data conforms, and spreadsheet users may evolve both the model and the data instances. Our techniques are implemented as part of the MDSheet framework: an extension for a traditional spreadsheet system. © 2012 Springer-Verlag.

Abstract
The performance of several commercial and experimental software packages (Gotas, StainMaster, ImageTool, StainAnalysis, AgroScan, DropletScan and Spray_imageI and II) that produce indicators of crop spraying quality based on the image processing of water-sensitive papers used as artificial targets were compared against known coverage, droplet size spectra and class size distribution verified through manual counting. A number of artificial targets used to test the software were obtained by controlled spray applications and given droplet density between 14 and 108 drops cm(-2) and a wide range of droplet size spectra. The results showed that artificial targets coupled with an appropriate image system can be an accurate technique to compute spray parameters. The between-methods differences were 6.7% for droplet density, 11.5% for volume median diameter, <3% for coverage (%) and <3% coverage density. For the 16 droplet class size distribution tested the between-methods differences were all <15%. However, most of the image analysis systems were not effective in accurately measuring coverage density when coverage rate is greater than about 17%. The Spray_imageII software estimated the coverage density with a mean absolute error of 2% and the absolute error is below 10%, even with about 43% of coverage rate. This software, when compared to the other programmes tested, provided the best accuracy for coverage and droplet size spectrum as well as for droplet class size distribution.

Abstract
In this paper we present the main concepts of a domain-specific aspect language for specifying cross-cutting concerns of MATLAB programs, together with a suite of metrics that is capable of assessing the overall advantage of introducing aspects in the development cycle of MATLAB software. We present the results of using our own suite to quantify the advantages of using aspect oriented programming, both in terms of programming effort and code quality. The results are promising and show a good potential for aspect oriented programming in MATLAB while our suite proves to be capable of analyzing the overall characteristics of MATLAB solutions and providing interesting results about them.

Abstract
Despite the availability of both multithreading and tabling in some Prolog systems, the implementation of these two features, such that they work together, implies complex ties to one another and to the underlying engine. In recent work, we have proposed an approach to combine multithreading with tabling, implemented on top of the Yap Prolog system, whose primary goal was to reduce memory usage for the table space. Regarding the execution times, we observed some problems related to Yap's memory allocator, which is based on the operating system's default memory allocator, when running programs that allocate a higher number of data structures in the table space. In this paper, we propose a more efficient and scalable memory allocator for multithreaded tabled evaluation of logic programs. Our goal is to minimize the performance degradation that the system suffers when it is exposed to simultaneous memory requests made by multiple threads. For that, we propose a memory allocator based on local and global pages, to split memory among specific data structures and different threads, together with a strategy where data structures of the same type are pre-allocated within a page. Experimental results show that our new memory allocator can effectively reduce the execution time and scale better, when increasing the number of threads, than the original allocator.

Abstract
Meeting safety requirements typically require substantial invasive extensions to applications. Even in the absence of faults, the overhead associated with these invasive extensions may unacceptably increase execution time. In this paper we focus on a number of experiments with schemes for error detection, having a 3D Path Planning application for an avionics system as case study. We analyze how these error detection schemes can be implemented to meeting system's time budget. The experiments allowed us to acquire the requirements for automating the application of the error detection schemes in the context of a hardware/software design-flow, and to determine how those schemes can be addressed using a novel approach where safety requirements are described using an aspect- and strategy-oriented programming language, named LARA. For our experiments and validation, we consider an FPGA-based embedded system consisting of a general purpose processor (GPP) coupled to custom computing units which are primarily used for hardware acceleration and for implementing fault detection schemes. © 2012 IEEE.