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 30 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
|