NexTech 2021 Congress
October 03, 2021 to October 07, 2021 - Barcelona, Spain

  • UBICOMM 2021, The Fifteenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
  • ADVCOMP 2021, The Fifteenth International Conference on Advanced Engineering Computing and Applications in Sciences
  • SEMAPRO 2021, The Fifteenth International Conference on Advances in Semantic Processing
  • AMBIENT 2021, The Eleventh International Conference on Ambient Computing, Applications, Services and Technologies
  • EMERGING 2021, The Thirteenth International Conference on Emerging Networks and Systems Intelligence
  • DATA ANALYTICS 2021, The Tenth International Conference on Data Analytics
  • GLOBAL HEALTH 2021, The Tenth International Conference on Global Health Challenges
  • CYBER 2021, The Sixth International Conference on Cyber-Technologies and Cyber-Systems

SoftNet 2021 Congress
October 03, 2021 to October 07, 2021 - Barcelona, Spain

  • ICSEA 2021, The Sixteenth International Conference on Software Engineering Advances
  • ICSNC 2021, The Sixteenth International Conference on Systems and Networks Communications
  • CENTRIC 2021, The Fourteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
  • VALID 2021, The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
  • SIMUL 2021, The Thirteenth International Conference on Advances in System Simulation
  • SOTICS 2021, The Eleventh International Conference on Social Media Technologies, Communication, and Informatics
  • INNOV 2021, The Tenth International Conference on Communications, Computation, Networks and Technologies
  • HEALTHINFO 2021, The Sixth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing

NetWare 2021 Congress
November 14, 2021 to November 18, 2021 - Athens, Greece

  • SENSORCOMM 2021, The Fifteenth International Conference on Sensor Technologies and Applications
  • SENSORDEVICES 2021, The Twelfth International Conference on Sensor Device Technologies and Applications
  • SECURWARE 2021, The Fifteenth International Conference on Emerging Security Information, Systems and Technologies
  • AFIN 2021, The Thirteenth International Conference on Advances in Future Internet
  • CENICS 2021, The Fourteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
  • ICQNM 2021, The Fifteenth International Conference on Quantum, Nano/Bio, and Micro Technologies
  • FASSI 2021, The Seventh International Conference on Fundamentals and Advances in Software Systems Integration
  • GREEN 2021, The Sixth International Conference on Green Communications, Computing and Technologies

TrendNews 2021 Congress
November 14, 2021 to November 18, 2021 - Athens, Greece

  • CORETA 2021, Advances on Core Technologies and Applications
  • DIGITAL 2021, Advances on Societal Digital Transformation

 


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

SERVICES CONTACT
2010 - 2017 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.