ThinkMind // International Journal On Advances in Software, volume 4, numbers 3 and 4, 2011

Type: journal

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

Event editions: - there are 26 editions.

ISSN: 1942-2628

Articles: there are 25 articles

The OMiSCID 2.0 Middleware: Usage and Experiments in Smart Environments
Rémi Barraquand, Dominique Vaufreydaz, Rémi Emonet, Amaury Negre, and Patrick Reignier
keywords: Oriented Architecture; Ubiquitous Computing; Middleware; Wizard Of Oz; Smart Environments

On a New Method for Derivative Free Optimization
Lennart Frimannslund
keywords: Generating Set Search, Derivative-Free Optimization, Saddle points, Sparsity

A Systematic Review and Taxonomy of Runtime Invariance in Software Behaviour
Teemu Kanstrén
keywords: systematic review, software behaviour, runtime invariance, taxonomy

Interface Contracts for WCF Services with Code Contracts
Bernhard Hollunder
keywords: Code Contracts, Windows Communication Foundations, WCF, Web Services, WS-Policy, WSDL, Contracts Aware Proxies

Answering Complex Requests with Automatic Composition of Semantic Web Services
Brahim Batouche, Yannick Naudet, and Frédéric Guinand
keywords: complex web request; composition of web services; semantic web services.

Scripting Technology for Generative Modeling
Christoph Schinko, Martin Strobl, Torsten Ullrich, and Dieter W. Fellner
keywords: generative modeling, procedural modeling, computer graphics, JavaScript, compiler

Simulation and Test-Case Generation for PVS Specifications of Control Logics
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, and Paolo Masci
keywords: simulation; validation; test-case generation; control logics

The CloudMIG Approach: Model-Based Migration of Software Systems to Cloud-Optimized Applications
Sören Frey and Wilhelm Hasselbring
keywords: Approach CloudMIG, Cloud Computing, Model-based software migration to cloud-based applications, Resource-efficient cloud-based applications, Eucalyptus, CSA hierarchy

A Formal Language for the Expression of Pattern Compositions
Ian Bayley and Hong Zhu
keywords: Design patterns, Pattern composition, Object oriented design, Formal methods

A Pattern-based Adaptation for Abstract Applications in Pervasive Environments
Imen Ben Lahmar, Djamel Belaïd, and Hamid Mukhtar
keywords: Adaptation patterns, mismatches, abstract applications, component model

On the Quality of Relational Database Schemas in Open-source Software
Fabien Coelho, Alexandre Aillos, Samuel Pilot, and Shamil Valeev
keywords: open-source software; database quality survey; automatic schema analysis; relational model; SQL

Using Statistical Information for Efficient Design and Evaluation of Hybrid XML Storage
Lena Strömbäck, Valentina Ivanova, and David Hall
keywords: XML, Hybrid XML management, indexing, storage design.

A Proposal of a New Compression Scheme of Medium-Sparse Bitmaps
Andreas Schmidt, Daniel Kimmig, and Mirko Beine
keywords: Compressed bitmaps; WAH algorithm; RLE; CPU memory gap

Turning Large Software Component Repositories into Small Index Files
Marcos Paixão, Leila Silva, Talles Brito, and Gledson Elias
keywords: Component repositories; clustering techniques; indexing

Superposition of Rectangles with Visibility Requirement: A Qualitative Approach
Takako Konishi and Kazuko Takahashi
keywords: qualitative knowledge representation; superposition; rectangle packing; spatial database

Efficient Non-Sequential Access and More Ordering Choices in a Search Tree
Lubomir Stanchev
keywords: marker bits; search trees; ordering directions; data structures

Transactional Composition and Concurrency Control in Disconnected Computing
Tim Lessner, Fritz Laux, Thomas Connolly, and Malcolm Crowe
keywords: Transaction Management; Disconnected Transaction Management; Advanced Transaction Models; Concurrency Control; Optimistic Concurrency Control; Semantic Concurrency Control

Verifiable Constraints for Ambients of Persistent Objects
Suad Alagic, Harika Anumula, and Akinori Yonezawa
keywords: Object databases; constraints; reflection; transactions; verification

Models of 40-Year Spatial Development of Cities in the Czech Republic in a geographic information system
Lena Halounová, Karel Vepřek, and Martin Řehák
keywords: GIS; remote sensing data; city plan; number of inhabitants; urban model; land use; road traffic intensity

Rainbow Table Optimization for Password Recovery
Vrizlynn Thing and Hwei-Ming Ying
keywords: Digital forensics, password recovery, rainbow table, optimization, time-memory trade-off, cryptanalysis

An Augmented Reality Platform for the Enhancement of Surgical Decisions in Pediatric Laparoscopy
Lucio Tommaso De Paolis and Giovanni Aloisio
keywords: Augmented Reality; medical image processing; user interface; minimally invasive surgery; preoperative surgical planning

Retrieval of 3D Medical Images via Their Texture Features
Xiaohong Gao, Yu Qian, Martin Loomes, Richard Comley, Balbir Barn, Alex Chapman, Janet Rix, Rui Hui, and Zengmin Tian
keywords: CBIR; 3D image retrieval; 3D texture extraction; MIRAGE system; 3D visualization

Ontology Structure, Reasoning Approach and Querying Mechanism in a Semantic-Enabled Efficient and Scalable Retrieval of Experts
Witold Abramowicz, Elżbieta Bukowska, Monika Kaczmarek, and Monika Starzecka
keywords: Expert finding system; knowledge representation; expert characteristic, reasoning, querying

Block Matching Motion Estimation with Variable Search Window Size
Ionut Pirnog and Claudia Cristina Oprea
keywords: motion estimation, block matching, variable search window

Automatic Categorisation of E-Journals by Synonym Analysis of n-grams
Richard Hussey, Shirley Williams, and Richard Mitchell
keywords: Automatic Tagging; Document Classification; Keyphrases; Keyword Extraction; Single Document; Synonyms; Thesaurus