DataSys 2020 Congress
September 27, 2020 to October 01, 2020 - Lisbon, Portugal

  • AICT 2020, The Sixteenth Advanced International Conference on Telecommunications
  • ICIW 2020, The Fifteenth International Conference on Internet and Web Applications and Services
  • ICIMP 2020, The Fifteenth International Conference on Internet Monitoring and Protection
  • SMART 2020, The Ninth International Conference on Smart Cities, Systems, Devices and Technologies
  • IMMM 2020, The Tenth International Conference on Advances in Information Mining and Management
  • INFOCOMP 2020, The Tenth International Conference on Advanced Communications and Computation
  • MOBILITY 2020, The Tenth International Conference on Mobile Services, Resources, and Users
  • SPWID 2020, The Sixth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
  • ACCSE 2020, The Fifth International Conference on Advances in Computation, Communications and Services

InfoSys 2020 Congress
September 27, 2020 to October 01, 2020 - Lisbon, Portugal

  • ICNS 2020, The Sixteenth International Conference on Networking and Services
  • ICAS 2020, The Sixteenth International Conference on Autonomic and Autonomous Systems
  • ENERGY 2020, The Tenth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies
  • WEB 2020, The Eighth International Conference on Building and Exploring Web Based Environments
  • DBKDA 2020, The Twelfth International Conference on Advances in Databases, Knowledge, and Data Applications
  • SIGNAL 2020, The Fifth International Conference on Advances in Signal, Image and Video Processing
  • BIOTECHNO 2020, The Twelfth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies

SoftNet 2020 Congress
October 18, 2020 to October 22, 2020 - Porto, Portugal

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

InfoWare 2020 Congress
October 18, 2020 to October 22, 2020 - Porto, Portugal

  • ICCGI 2020, The Fifteenth International Multi-Conference on Computing in the Global Information Technology
  • ICWMC 2020, The Sixteenth International Conference on Wireless and Mobile Communications
  • VEHICULAR 2020, The Ninth International Conference on Advances in Vehicular Systems, Technologies and Applications
  • INTERNET 2020, The Twelfth International Conference on Evolving Internet
  • COLLA 2020, The Tenth International Conference on Advanced Collaborative Networks, Systems and Applications
  • INTELLI 2020, The Ninth International Conference on Intelligent Systems and Applications
  • VISUAL 2020, The Fifth International Conference on Applications and Systems of Visual Paradigms
  • HUSO 2020, The Sixth International Conference on Human and Social Analytics
  • BRAININFO 2020, The Fifth International Conference on Neuroscience and Cognitive Brain Information

NexTech 2020 Congress
October 25, 2020 to October 29, 2020 - Nice, France

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

ComputationWorld 2020 Congress
October 25, 2020 to October 29, 2020 - Nice, France

  • SERVICE COMPUTATION 2020, The Twelfth International Conference on Advanced Service Computing
  • CLOUD COMPUTING 2020, The Eleventh International Conference on Cloud Computing, GRIDs, and Virtualization
  • FUTURE COMPUTING 2020, The Twelfth International Conference on Future Computational Technologies and Applications
  • COGNITIVE 2020, The Twelfth International Conference on Advanced Cognitive Technologies and Applications
  • ADAPTIVE 2020, The Twelfth International Conference on Adaptive and Self-Adaptive Systems and Applications
  • CONTENT 2020, The Twelfth International Conference on Creative Content Technologies
  • PATTERNS 2020, The Twelfth International Conference on Pervasive Patterns and Applications
  • COMPUTATION TOOLS 2020, The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  • BUSTECH 2020, The Tenth International Conference on Business Intelligence and Technology

NetWare 2020 Congress
November 15, 2020 to November 19, 2020 - Valencia, Spain

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

DigitalWorld 2020 Congress
November 21, 2020 to November 25, 2020 - Valencia, Spain

  • ICDS 2020, The Fourteenth International Conference on Digital Society
  • ACHI 2020, The Thirteenth International Conference on Advances in Computer-Human Interactions
  • GEOProcessing 2020, The Twelfth International Conference on Advanced Geographic Information Systems, Applications, and Services
  • eTELEMED 2020, The Twelfth International Conference on eHealth, Telemedicine, and Social Medicine
  • eLmL 2020, The Twelfth International Conference on Mobile, Hybrid, and On-line Learning
  • eKNOW 2020, The Twelfth International Conference on Information, Process, and Knowledge Management
  • ALLSENSORS 2020, The Fifth International Conference on Advances in Sensors, Actuators, Metering and Sensing
  • SMART ACCESSIBILITY 2020, The Fifth International Conference on Universal Accessibility in the Internet of Things and Smart Environments

 


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.