International Journal On Advances in Software, volume 2, number 1, 2009

Type: journal

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

ISSN: 1942-2628

Articles: there are 13 articles

A Heuristic Approach to the Allocation of DifferentWorkloads in Computational Grid Environments
Javier Díaz, Sebastián Reyes, Camelia Muñoz-Caro, and Alfonso Niño
keywords: Self-Scheduling Algorithms, Heuristic Scheduling, Computational Grid.

A MATLAB GUI for the analysis and reconstruction of signal and image data of a SAFT-based 3D Ultrasound Computer Tomograph
Torsten Hopp, Gregor F. Schwarzenberg, Michael Zapf, and Nicole V. Ruiter
keywords: MATLAB; Graphical User Interface; Ultrasound Computer Tomography; Analysis software

Using Secondary Information Sources to Generate and Augment Semantics of Design Information
Sascha Opletal, Dieter Roller, and Steffen Rüger
keywords: CAD, Knowledge Bases, Semantic Relation

Semantic Enabled Framework for SLA Monitoring
Kaouthar Fakhfakh, Saïd Tazi, Khalil Drira, Tarak Chaari, and Mohamed Jmaiel
keywords: Service Level Agreements; ontology-based model; SOA; SLA monitoring; QoS contracts

Complex software systems : Formalization and Applications
Marc Aiguier, Pascale Le Gall, and Mbarka Mabrouki
keywords: abstract specification language; abstract architectural connector; emergent property; institution; category theory; transition systems; modal first-order logic.

A Underlay System for Enhancing Dynamicity within Web Mashups
Heiko Pfeffer
keywords: Service Composition, Mashups, Composed Web Applications, Workflows, Timed Automata, Realtime

A Method for Automatically Eliciting node Weights in a Hierarchical Knowledge-Based Structure for Reasoning with Uncertainty
S. E. Hegazy and C. D. Buckingham
keywords: Clinical Decision Support Systems; Mental Health; Risk Screening; Hierarchical Knowledge; Decision Trees; Mathematical Modelling.

Addressing Data Model Variability and Data Integration within Software Product Lines
Joerg Bartholdt, Roy Oberhauser, and Andreas Rytina
keywords: Data Modeling; Data Integration; Variability; Software Product Lines; Unified Modeling Language; Model-Driven Software Development

From Supervised to Reinforcement Learning: a Kernel-based Bayesian Filtering Framework
Matthieu Geist, Olivier Pietquin, and Gabriel Fricout
keywords: supervised learning; reinforcement learning; Bayesian filtering; kernel methods

Examining Implementations of a Computationally Intensive Problem in GF(3)
Joey C. Libby, Jonathan P. Lutes, and Kenneth B. Kent
keywords: Optimization; Handel-C; Galois Fields

How to compare and exploit different techniques for unit-test generation
Alberto Bacchelli, Paolo Ciancarini, and Davide Rossi
keywords: testing; comparison methodology; failure detection; regression testing; automatic test generation tools

Incremental verification of consistency properties of large-scale workflows from the perspectives of control flow and evidence life cycles
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, and Koichi Takahashi
keywords: workflow, verification, correctness, evidence life cycle, incremental verification

Crucial Service-Oriented Antipatterns
Jaroslav Král and Michal Žemlička
keywords: antipattern, risk management, SOA type, confederations, antipattern evaluation