International Journal On Advances in Software, volume 5, numbers 1 and 2, 2012

Type: journal

Notes: A free access journal featuring works submitted on an invitation basis only.

ISSN: 1942-2628

Articles: there are 11 articles

Combining Explicitness and Classifying Performance via MIDOVA Lossless Representation for Qualitative Datasets
Martine Cadot and Alain Lelu
keywords: symbolic discrimination; variable interaction; machine learning; classification; non-linear discrimination; user comprehensibility; feature construction; feature selection; itemset extraction

Testing of an automatically generated compiler, Review of retargetable testing system
Ludek Dolihal, Tomas Hruska, and Karel Masarik
keywords: Porting of a library, C library, compiler testing, simulation, hardware/software codesign, Codasip.

Compiler-based Differentiation of Higher-Order Numerical Simulation Codes using Interprocedural Checkpointing
Michel Schanen, Michael Förster, Boris Gendler, and Uwe Naumann
keywords: Algorithmic Differentiation; Source Transformation; Optimization; Numerical Simulation; Checkpointing

A Programming Paradigm based on Agent-Oriented Abstractions
Alessandro Ricci and Andrea Santi
keywords: agent-oriented programming; multi-agent systems; concurrent programming; distributed programming

Design by Contract for Web Services: Architecture, Guidelines, and Mappings
Bernhard Hollunder, Matthias Herrmann, and Andreas Hülzenbecher
keywords: Design by contract; Web services; WS-Policy; Contract policies; WCF; JAX; Contracts for Java; Contracts-aware proxies

An Implementation Approach for Inter-Cloud Service Combination
Jie Tao, Daniel Franz, Holger Marten, and Achim Streit
keywords: Service Composition, Cloud Computing, Workflow Engine, Cloud Interoperability

User-driven Service Retrieval Platform for Converged Environments
Edgar Camilo Pedraza Alarcon, Julian Andres Zuñiga Gallego, Luis Javier Suarez Meza, and Juan Carlos Corrales
keywords: automatic service retrieval; converged environments; natural language; Telecommunications and Internet services.

Ad hoc Iteration and Re-execution of Activities in Workflows
Mirko Sonntag and Dimka Karastoyanova
keywords: workflow ad hoc adaptation; iteration; re-execution; service composition

Modeling Disjunctive Context in Access Control
Narhimene Boustia and Aicha Mokhtari
keywords: Description logic; reasoner; disjunction; access control; context.

Seeing the Big Picture: Influence of Global Factors on Local Decisions
Terry Bossomaier, Michael Harré, and Vaenthan Thiruvarudchelvan
keywords: game of go, decision making, entropy, online data mining

An Adaptive Computational Intelligence Algorithm for Simulation-driven Optimization Problems
Yoel Tenne, Kazhuiro Izui, and Shinji Nishiwaki
keywords: computational intelligence; modelling; classification; model selection