ComputationWorld 2018
February 18 - 22, 2018 - Barcelona, Spain

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

DigitalWorld 2018
March 25 - 29, 2018 - Rome, Italy

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

NexComm 2018
April 22 - 26, 2018 - Athens, Greece

  • ICDT 2018, The Thirteenth International Conference on Digital Telecommunications
  • SPACOMM 2018, The Tenth International Conference on Advances in Satellite and Space Communications
  • ICN 2018, The Seventeenth International Conference on Networks
    • SOFTNETWORKING 2018, The International Symposium on Advances in Software Defined Networking and Network Functions Virtualization
  • ICONS 2018, The Thirteenth International Conference on Systems
  • MMEDIA 2018, The Tenth International Conference on Advances in Multimedia
  • PESARO 2018, The Eighth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
  • CTRQ 2018, The Eleventh International Conference on Communication Theory, Reliability, and Quality of Service
  • COCORA 2018, The Eighth International Conference on Advances in Cognitive Radio
  • ALLDATA 2018, The Fourth International Conference on Big Data, Small Data, Linked Data and Open Data
    • KESA 2018, The International Workshop on Knowledge Extraction and Semantic Annotation
  • SOFTENG 2018, The Fourth International Conference on Advances and Trends in Software Engineering

InfoSys 2018
May 20 - 24, 2018 - Nice, France

  • ICNS 2018, The Fourteenth International Conference on Networking and Services
  • ICAS 2018, The Fourteenth International Conference on Autonomic and Autonomous Systems
  • ENERGY 2018, The Eighth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies
  • WEB 2018, The Sixth International Conference on Building and Exploring Web Based Environments
  • DBKDA 2018, The Tenth International Conference on Advances in Databases, Knowledge, and Data Applications
    • GraphSM 2018, The Fifth International Workshop on Large-scale Graph Analysis, Management and Applications
  • SIGNAL 2018, The Third International Conference on Advances in Signal, Image and Video Processing

BioSciencesWorld 2018
May 20 - 24, 2018 - Nice, France

  • BIOTECHNO 2018, The Tenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies
  • BIONATURE 2018, The Ninth International Conference on Bioenvironment, Biodiversity and Renewable Energies

DataSys 2018
July 22 - 26, 2018- Barcelona, Spain

  • AICT 2018, The Fourteenth Advanced International Conference on Telecommunications
  • ICIW 2018, The Thirteenth International Conference on Internet and Web Applications and Services
  • ICIMP 2018, The Thirteenth International Conference on Internet Monitoring and Protection
  • SMART 2018, The Seventh International Conference on Smart Cities, Systems, Devices and Technologies
  • IMMM 2018, The Eighth International Conference on Advances in Information Mining and Management
  • INFOCOMP 2018, The Eighth International Conference on Advanced Communications and Computation
    • MODOPT 2018, The International Symposium on Modeling and Optimization
  • MOBILITY 2018, The Eighth International Conference on Mobile Services, Resources, and Users
  • SPWID 2018, The Fourth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
  • ACCSE 2018, The Third International Conference on Advances in Computation, Communications and Services

(to be completed)

 


ThinkMind // International Journal On Advances in Software, volume 3, numbers 1 and 2, 2010

Type: journal

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

Event editions: - there are 19 editions.

ISSN: 1942-2628

Articles: there are 23 articles

Combining Formal Methods and MDE Techniques for Model-driven System Design and Analysis
Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra
keywords: Formal methods; Model Driven Engineering; Abstract State Machines; model semantics; model execution and analysis

Video Notation (ViNo): A Formalism for Describing and Evaluating Non-sequential Multimedia Access
Anita Sobe, Laszlo Böszörmenyi, and Mario Taschwer
keywords: Multimedia Formalism; QoS; Caching; CDN; Nonsequential Multimedia

Ontology-based Indexing and Contextualization of Multimedia Documents for Personal Information Management Applications
Annett Mitschick
keywords: personal multimedia document management; semantic metadata; generation; maintenance;

Relying on Testability Concepts to ease Validation and Verification activities of AIRBUS Systems
Fassely Doumbia, Odile Laurent, Chantal Robach, and Michel Delaunay
keywords: requirement; data-flow design; testability flows; testability measures; testing strategy; test; coverage analysis

Towards a Deterministic Business Process Modelling Method based on Normalized Systems Theory
Dieter Van Nuffel, Herwig Mannaert, Carlos De Backer, and Jan Verelst
keywords: Normalized Systems, Business Process Engineering, Business Process Modelling, BPMN

Adaptive Object-Models: a Research Roadmap
Hugo Sereno Ferreira, Filipe Figueiredo Correia, Ademar Aguiar, and Jõao Pascoal Faria
keywords: Architectural Structures and Viewpoints, Design Patterns, Families of Programs and Frameworks.

Goal Sketching from a Concise Business Case
Kenneth Boness and Rachel Harrison
keywords: goal-oriented requirements engineering; project management; agile development.

A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
Pietro Colombo, Luigi Lavazza, Alberto Coen-Porisini, and Vieri del Bianco
keywords: meta-modeling; modeling tools; problem frames

Understanding Frameworks Collaboratively : Tool Requirements
Nuno Flores and Ademar Aguiar
keywords: Frameworks; Understanding; Collaborative; Tools; Requirements

Automatic Identification of Cohesive Structures within Modularity Reengineering
Anja Bog, Oleksandr Panchenko, Kai Spichale, and Alexander Zeier
keywords: Source code organization, Restructuring, reverse engineering, and reengineering, Metrics

Requirement-driven Scenario-based Testing Using Formal Stepwise Development
Qaisar A. Malik, Linas Laibinis, Dragos Truscan, and Johan Lilius
keywords: Scenario-based testing; Requirements Traceability; Event-B; Formal Refinement; JUnit;

Integrating Quality Modeling in Software Product Lines
Joerg Bartholdt, Roy Oberhauser, Andreas Rytina, and Marcel Medak
keywords: variability; software product lines; quality modeling; feature modeling

Enabling Innovations in Mobile-Learning: A Context-aware and Service-based Middleware
Sergio Martin, Elio Sancristobal, Rosario Gil, Gabriel Díaz, Manuel Castro, Juan Peire, Mihail Milev, and Nevena Mileva
keywords: context-awareness, e-learning, framework, location, LMS, mobile learning, ubiquity

Sources of Software Requirements Change from the Perspectives of Development and Maintenance
Sharon McGee and Des Greer
keywords: Requirements change; requirements management; project management; card sorting; software evolution; development; maintenance.

Equipping Software Engineering Apprentices with a Repertoire of Practices
Vincent Ribaud and Philippe Saliou
keywords: reflective practitioner, software engineering processes, Course-of-Action, semantic wiki.

Modernization of a Legacy Application: Does it Have to be Hard?
Arne Koschel, Carsten Kleiner, and Irina Astrova
keywords: service-oriented architecture; mainframe; legacy integration; experience report; Web service

Human-Computer Interaction Design Patterns: Structure, Methods, and Tools
Christian Kruschitz and Martin Hitz
keywords: HCI patterns, History, Organization, Evaluation, Validation, Standardization

Metrics for the Evaluation of Adaptivity Aspects in Software Systems
Claudia Raibulet and Laura Masciadri
keywords: adaptivity, adaptive systems, evaluation, software metrics.

A Quality Criteria Framework for Pattern Validation
Daniela Wurhofer, Marianna Obrist, Elke Beck, and Manfred Tscheligi
keywords: patterns; validation; quality framework; validation methods; case study.

Adaptable and Adaptive Visualizations in Concept-oriented Content Management Systems
Hans-Werner Sehring
keywords: concept-oriented content management; adaptive user interfaces; personalization; content distribution

A Practical Approach to Distributed Metascheduling
Janko Heilgeist, Thomas Soddemann, and Harald Richter
keywords: Grid computing; metascheduling; resource discovery; decision making

Accelerating Cellular Automata Evolution on Graphics Processing Units
Ludek Žaloudek, Lukáš Sekanina, and Václav Šimek
keywords: cellular automata; parallel computing; GPU; CUDA; genetic alghorithm

Service-Oriented Integration Using a Model-Driven Approach
Philip Hoyer, Michael Gebhart, Ingo Pansa, Aleksander Dikanski, and Sebastian Abeck
keywords: model-driven development; service-oriented integration; Web services; Unified Modeling Language

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