This issue of Computer Science and Information Systems consists of 10 regular articles and two special sections: “Intelligent Information Processing: Techniques and Applications,” guest-edited by Mehedi Masud and Alaa Sheta, which contains seven articles that cover various theoretical and practical aspects of intelligent information processing, and “Information Technologies in Medicine and Rehabilitation,” guest-edited by Goran Devedžić, which contains six articles that cover various aspects in convergence of medicine, engineering, and ICT. We thank the guest editors, article authors and reviewers for enabling us to present such an interesting and diverse range of topics to our readership.

In addition, we are happy to announce the two-year impact factor of our journal which is 0.549 (2012).

The first regular article, “Context-sensitive Access Control Model for Business Processes,” by Goran Sladić, Branko Milosavljević, and Zora Konjović, presents the context-sensitive access control model for business processes (COBAC), which extends the role-based access control (RBAC) model by introducing several entities that enable the definition of complex access control policies whose implementation by existing models is not possible or is very complicated.

A. J. Gilbert Silvius et al., in “The Relationship between IT Outsourcing and Business and IT Alignment: An Explorative Study,” answer the question of what is the effect of IT outsourcing on the business and IT alignment of companies that have outsourced their IT by reporting four cases which reveal interactions between motivation, outsourcer/provider relationship and its assessment, alignment maturity, and organizational turbulence.

“Including Functional Usability Features in a Model-Driven Development Method” by Jose Ignacio Panach, Natalia Juristo, and Oscar Pastor addresses the lack of proposals to deal with usability features in the the model-driven development (MDD) paradigm. The paper proposes a method in which usability features related to functionality can be represented abstractly in a conceptual model, and their implementation can be carried out automatically.

The article “Forecasting the Acceptance of New Information Services by using the Semantic-aware Prediction Model” by Luka Vrdoljak, Vedran Podobnik and Gordan Jezic employs semantic reasoning to overcome the common shortcomings of existing growth models for forecasting consumer interest in new services, thereby increasing forecasting precision and eliminating the time delay caused by collecting data about the new service before a prediction is made.

In the paper “Constraint Relaxation of the Polygon-Polyline Topological Relation for Geographic Pictorial Query Languages,” Anna Formica, Elaheh Pourabbas, and Maurizio Rafanelli tackle the problem of relaxing spatial constraints for pictorial queries having null answers in geographical databases by proposing a computational model which is based on the notions of operator conceptual neighborhood (OCN) graph and the relative 16-intersection matrix.

Justin Terry and Bela Stantic, in their article “Indexing Method for Multidimensional Vector Data,” present a high-dimensional indexing method based on space-filling curves that, unlike traditional approaches, connects regions of various sizes rather than points, allowing efficient transformation of interval queries into data regions, which results in significant improvements when accessing the data.

“From Machine-to-Machine Communications Towards Cyber-Physical Systems,” by Jiafu Wan et al., reviews two cyber-physical systems (CPS) platforms and argue that CPS is an evolution of machine-to-machine (M2M) communication through the introduction of more intelligent and interactive operations, under the architecture of the internet of things (IoT), demonstrating how M2M systems can be upgraded to CPS, and identifying research challenges related to CPS design.

Cristian Mateos, Alejandro Zunino, and Matías Hirsch, in “EasyFJP: Providing Hybrid Parallelism as a Concern for Divide and Conquer Java Applications,” address the lack of easy and elegant means for parallelizing Java programs by proposing and approach that combines semi-automatic parallelism and parallelism as a concern (PaaC) using the concept of fork-join synchronization pattern.

In “Functional Delay Test Generation Approach Using a Software Prototype of the Circuit,” Eduardas Bareiša et al. present a functional delay test generation approach for non-scan synchronous sequential circuits that employs the iterative logic array model for representing circuits, the software prototype model for representing circuit function, and considers faults on model inputs and outputs.

Finally, Tatjana Lutovac and James Harland, in “A Contribution to Automated-oriented Reasoning about Permutability of Sequent Calculi Rules,” explore the development of systematic and automated-oriented techniques for the analysis of permutability in some sequent calculi. The paper defines necessary and sufficient conditions for the permutation of sequence rules, specified as constraints between the multisets that constitute different parts of the sequent rules.

Mirjana Ivanović

Managing Editor
Miloš Radovanović