Implicit computation of maximum bipartite matchings by sublinear functional operations Fulltext Access 16 Pages 2014
Monolithic and modular termination analyses for higher-order attribute grammars Fulltext Access 16 Pages 2014
An approach to the integration of accessibility requirements into a user interface development method Fulltext Access 16 Pages 2014
A survey of Cloud monitoring tools: Taxonomy, capabilities and objectives Fulltext Access 16 Pages 2014
The complexity of computing the behaviour of lattice automata on infinite trees Fulltext Access 16 Pages 2014
Multicriteria Decision-making Method Based on Risk Attitude under Interval-valued Intuitionistic Fuzzy Environment Fulltext Access 16 Pages 2014
Giving form to social cloud storage through experimentation: Issues and insights Fulltext Access 16 Pages 2014
On Nash Equilibrium Strategy of Two-person Zero-sum Games with Trapezoidal Fuzzy Payoffs Fulltext Access 16 Pages 2014
A Hitchhiker's Guide to descriptional complexity through analytic combinatorics Fulltext Access 16 Pages 2014
PRE: Stronger security notions and efficient construction with non-interactive opening Fulltext Access 16 Pages 2014
Dynamic tuning of the workload partition factor and the resource utilization in data-intensive applications Fulltext Access 16 Pages 2014
Test generation for sequential nets of Abstract State Machines with information passing Fulltext Access 16 Pages 2014
FeatureIDE: An extensible framework for feature-oriented software development Fulltext Access 16 Pages 2014
On the relation between context-free grammars and parsing expression grammars Fulltext Access 16 Pages 2014
Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays Fulltext Access 16 Pages 2014
Towards Bayesian experimental design for nonlinear models that require a large number of sampling times Fulltext Access 16 Pages 2014
Partial-route inequalities for the multi-vehicle routing problem with stochastic demands Fulltext Access 16 Pages 2014
On disjoint matchings in cubic graphs: Maximum 2-edge-colorable and maximum 3-edge-colorable subgraphs Fulltext Access 16 Pages 2014
The Gateway Location Problem: Assessing the impact of candidate site selection policies Fulltext Access 16 Pages 2014
Instantaneous reference current scheme based power management system for a solar/wind/fuel cell fed hybrid power supply Fulltext Access 16 Pages 2014
A new improved adaptive imperialist competitive algorithm to solve the reconfiguration problem of distribution systems for loss reduction and voltage profile improvement Fulltext Access 16 Pages 2014
Natural and extended formulations for the Time-Dependent Traveling Salesman Problem Fulltext Access 16 Pages 2014
Stochastic scenario-based model and investigating size of battery energy storage and thermal energy storage for micro-grid Fulltext Access 16 Pages 2014
Mean deep coalescence cost under exchangeable probability distributions Fulltext Access 16 Pages 2014
Development of a decentralized smart charge controller for electric vehicles Fulltext Access 16 Pages 2014
Multi-objective energy-efficient workflow scheduling using list-based heuristics Fulltext Access 16 Pages 2014
Security, energy, and performance-aware resource allocation mechanisms for computational grids Fulltext Access 16 Pages 2014
Controlled automated discovery of collections of business process models Fulltext Access 17 Pages 2014
Collective additive tree spanners of bounded tree-breadth graphs with generalizations and consequences Fulltext Access 17 Pages 2014
Model-driven engineering of information systems: 10 years and 1000 versions Fulltext Access 17 Pages 2014
Validation of user intentions in process orchestration and choreography Fulltext Access 17 Pages 2014
A novel hybrid particle swarm optimization and gravitational search algorithm for solving economic emission load dispatch problems with various practical constraints Fulltext Access 17 Pages 2014
A branch and prune algorithm for the computation of generalized aspects of parallel robots Fulltext Access 17 Pages 2014
Polarization of forecast densities: A new approach to time series classification Fulltext Access 17 Pages 2014
Modeling and execution of event stream processing in business processes Fulltext Access 17 Pages 2014
Optimized echo state networks using a big bang–big crunch algorithm for distance protection of series-compensated transmission lines Fulltext Access 17 Pages 2014
Multi objective optimal reactive power dispatch using a new multi objective strategy Fulltext Access 17 Pages 2014
Generalised scalable fault dependent time invariant state space model for large interconnected power systems Fulltext Access 17 Pages 2014
A sampling algorithm for bandwidth estimation in a nonparametric regression model with a flexible error density Fulltext Access 17 Pages 2014
Formal specification and verification of a coordination protocol for an automated air traffic control system Fulltext Access 17 Pages 2014
Computing and counting longest paths on circular-arc graphs in polynomial time Fulltext Access 17 Pages 2014
Structural results on circular-arc graphs and circle graphs: A survey and the main open problems Fulltext Access 17 Pages 2014
Exact and heuristic solution approaches for the Integrated Job Scheduling and Constrained Network Routing Problem Fulltext Access 17 Pages 2014
Using local similarity measures to efficiently address approximate graph matching Fulltext Access 17 Pages 2014
A feature construction approach for genetic iterative rule learning algorithm Fulltext Access 17 Pages 2014
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies Fulltext Access 17 Pages 2014
Computing minimal extending sets by relation-algebraic modeling and development Fulltext Access 17 Pages 2014