Planning virtual infrastructures for time critical applications with multiple deadline constraints Fulltext Access 28 Pages 2017
Wireless visual sensor networks for smart city applications:A relevance-based approach for multiple sinks mobility Fulltext Access 29 Pages 2017
An approach based on runtime models for developing dynamically adaptive systems Fulltext Access 29 Pages 2017
Highly reliable architecture using the 80/20 rule in cloud computing datacenters Fulltext Access 29 Pages 2017
An algorithm computing combinatorial specifications of permutation classes Fulltext Access 29 Pages 2017
Parallel fuzzy cellular automata for data-driven simulation of wildfire spreading Fulltext Access 29 Pages 2017
A method for the detection and classification of diabetic retinopathy using structural predictors of bright lesions Fulltext Access 29 Pages 2017
Secure outsourcing of modular exponentiations under single untrusted programme model Fulltext Access 29 Pages 2017
Scheduling of online compute-intensive synchronized jobs on high performance virtual clusters Fulltext Access 29 Pages 2017
An experience in using machine learning for short-term predictions in smart transportation systems Fulltext Access 29 Pages 2017
Efficient techniques for time-constrained information dissemination using location-based social networks Fulltext Access 29 Pages 2017
Temporally and spatially flexible plan execution for dynamic hybrid systems Fulltext Access 29 Pages 2017
Real-time metaheuristic-based urban crossroad management with multi-variant planning Fulltext Access 29 Pages 2017
Transferring skills to humanoid robots by extracting semantic representations from observations of human activities Fulltext Access 29 Pages 2017
Continuous speed scaling with variability: A simple and direct approach Fulltext Access 29 Pages 2017
Systematic identification of the druggable interactions between human protein kinases and naturally occurring compounds in endometriosis Fulltext Access 29 Pages 2017
An optimized approach for massive web page classification using entity similarity based on semantic network Fulltext Access 30 Pages 2017
Parallel multi-projection preconditioned methods based on semi-aggregation techniques Fulltext Access 30 Pages 2017
A hybrid heuristic queue based algorithm for task assignment in mobile cloud Fulltext Access 30 Pages 2017
Driver behaviour detection and vehicle rating using multi-UAV coordinated vehicular networks Fulltext Access 30 Pages 2017
A polytope-based approach to measure the impact of events against critical infrastructures Fulltext Access 30 Pages 2017
Formalizing semantic bidirectionalization and extensions with dependent types Fulltext Access 30 Pages 2017
Design and implementation of a secure cloud-based billing model for smart meters as an Internet of things using homomorphic cryptography Fulltext Access 30 Pages 2017
A text-based visual notation for the unit testing of model-driven tools Fulltext Access 30 Pages 2017
Efficient image restoration of virtual machines with reference count based rewriting and caching Fulltext Access 30 Pages 2017
Refinement of structural heuristics for model checking of concurrent programs through data mining Fulltext Access 30 Pages 2017
A dynamic prime number based efficient security mechanism for big sensing data streams Fulltext Access 31 Pages 2017
Mobile recommendations based on interest prediction from consumer's installed apps-insights from a large-scale field study Fulltext Access 31 Pages 2017
On the data complexity of consistent query answering over graph databases Fulltext Access 31 Pages 2017
Optimal designs for comparing regression models with correlated observations Fulltext Access 31 Pages 2017
Dispersed decision-making system with fusion methods from the rank level and the measurement level - A comparative study Fulltext Access 31 Pages 2017
Market-based autonomous resource and application management in private clouds Fulltext Access 31 Pages 2017
Domain decomposition approach for parallel improvement of tetrahedral meshes Fulltext Access 31 Pages 2017
A survey of official online sources of high-quality free-of-charge geospatial data for maritime geographic information systems applications Fulltext Access 31 Pages 2017
Cross-scale efficient tensor contractions for coupled cluster computations through multiple programming model backends Fulltext Access 31 Pages 2017
Generation of maximum length non-binary key sequence and its application for stream cipher based on residue number system Fulltext Access 31 Pages 2017
Design and evaluation of a system for network threat signatures generation Fulltext Access 31 Pages 2017
Multimedia recommendation and transmission system based on cloud platform Fulltext Access 31 Pages 2017
Deriving scientific workflows from algebraic experiment lines: A practical approach Fulltext Access 31 Pages 2017
Genome-wide identification, functional and evolutionary analysis of terpene synthases in pineapple Fulltext Access 31 Pages 2017
A colored graph approach to perfect phylogeny with persistent characters Fulltext Access 32 Pages 2017
High Performance Computing education in an Indian engineering institute Fulltext Access 32 Pages 2017
The multi-budgeted and weighted bounded degree metric Steiner network problem Fulltext Access 32 Pages 2017
Towards breaking more composition symmetries in partial symmetry breaking Fulltext Access 32 Pages 2017
Bipartite network analysis reveals metabolic gene expression profiles that are highly associated with the clinical outcomes of acute myeloid leukemia Fulltext Access 32 Pages 2017
Object detection among multimedia big data in the compressive measurement domain under mobile distributed architecture Fulltext Access 32 Pages 2017
Optimal control of groundwater pollution combined with source abatement costs and taxes Fulltext Access 32 Pages 2017
A novel communication system approach for a Smart City based on the human nervous system Fulltext Access 32 Pages 2017
A procedure for deciding symbolic equivalence between sets of constraint systems Fulltext Access 32 Pages 2017
Segmentation of prostate contours for automated diagnosis using ultrasound images: A survey Fulltext Access 32 Pages 2017
Bridging the multi phase-field and molecular dynamics models for the solidification of nano-crystals Fulltext Access 32 Pages 2017
Efficient yet robust biometric iris matching on smart cards for data high security and privacy Fulltext Access 33 Pages 2017
Epitopes based drug design for dengue virus envelope protein: A computational approach Fulltext Access 33 Pages 2017
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability Fulltext Access 33 Pages 2017
Molecular dynamics-assisted pharmacophore modeling of caspase-3-isatin sulfonamide complex: Recognizing essential intermolecular contacts and features of sulfonamide inhibitor class for caspase-3 binding Fulltext Access 33 Pages 2017
A chaos-oriented prediction and suppression model to enhance the security for cyber physical power systems Fulltext Access 33 Pages 2017
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous Fulltext Access 33 Pages 2017
Constrained center and range joint model for interval-valued symbolic data regression Fulltext Access 33 Pages 2017
Dependency pairs for proving termination properties of conditional term rewriting systems Fulltext Access 33 Pages 2017
Analyzing a wind turbine system: From simulation to formal verification Fulltext Access 33 Pages 2017