Towards Constraint-based High Performance Cloud System in the Process of Cloud Computing Adoption in an Organization

Towards Correctness of Program Transformations Through Unification and Critical Pair Computation

Towards Cost-Effective Storage Provisioning for DBMSs

Towards cross-lingual alerting for bursty epidemic events

Towards DARWIN/TPF: required prospective program

Towards Decentralized Trading: A Topological Investigation of the Dutch Medium and Low Voltage Grids

Towards declarative diagnosis of constraint programs over finite domains

Towards Deployable DDoS Defense for Web Applications

Towards Design and Implementation of a Language Technology based Information Processor for PDM Systems

Towards Designing a Biometric Measure for Enhancing ATM Security in Nigeria E-Banking System

Towards Detection of Gravitational Waves

Towards Developing an Automated Science Analysis System for Mars Surface Exploration.

Towards direct detection of exo-Earths: high contrast lab demonstration at 2 l/D

Towards dual recycling with the aid of time and frequency domain simulations

Towards Eco-friendly Database Management Systems

Towards Effective Sentence Simplification for Automatic Processing of Biomedical Text

Towards Efficient Calculation of Information Measures for Reordering of Binary Decision Diagrams

Towards Efficient Exact Synthesis for Linear Hybrid Systems

Towards Electronic Shopping of Composite Product

Towards Evaluating the Quality of a Spreadsheet: The Case of the Analytical Spreadsheet Model