The increasing transparency and accountability of all organisations , including public service and government, together with the modern complexity, penetration and importance of ITC (information and communications technology), for even very small organisations nowadays, has tended to heighten demand for process improvement everywhere. This means that Business Process Modelling is arguably more ...

This paper provides a set of empirical tests of the cross-sectional variation of stock volatility and investablility, where investability is defined as the degree to which a stock is accessible to foreigners. Unlike previous studies, which focus on market volatility and market return, we study the relationship between individual stock return volatility and its investablility. Our findings have ...

Web-based collaboration platforms evolve into service-oriented architectures by promoting composite and user-enriched services. In such platforms, the collaborations typically include both human and software services, thus creating highly dynamic and complex interactions. However, in existing platforms users cannot specify different interaction interfaces as services that can be reused in vario...

Resumen. MWACSL is an Aspect-Oriented and Model-Driven approach for software development in the context of web applications. MWACSL uses domain specific aspect languages for dealing with the different aspects of a system. In this context one application is composed of a primary model and a set of aspect models, each one expressed by means of a Domain Specific Aspect Language. Furthermore, MWACS...

Recently Hochstättler and Nešetřil introduced the flow lattice of an oriented matroid as generalization of the lattice of all integer flows of a digraph or more general a regular matroid. This lattice is defined as the integer hull of the characteristic vectors of signed circuits. Here, we characterize the flow lattice of oriented matroids that are uniform or have rank 3 with a particular focus...

A data flow oriented test selection method for selectively generating abstract tests from a LOTOS specification is presented. This method is based on static data flow analysis to identify maximal IO-df-chains, which exhibit the associations between each specification output and those specification inputs that influence the output through definitions and uses of variables. The maximal IO-df-chai...

The efficacy of the aspect-oriented paradigm has been well established within several areas of software security as aspect-orientation facilitates the abstraction of these security-related tasks to reduce code complexity. The aim of this paper is to demonstrate that aspect-orientation may be used to monitor the information flows between objects in a system for the purposes of misuse detection. ...