Different behaviour of a double branch-and-bound algorithm on Fm|prmu|CmaxFm|prmu|Cmax and Fm|block|CmaxFm|block|Cmax problems Fulltext Access 16 Pages 2007
Reliable overlay multicast trees for private Internet broadcasting with multiple sessions Fulltext Access 16 Pages 2007
Scheduling parallel CNC machines with time/cost trade-off considerations Fulltext Access 16 Pages 2007
An acquisition policy for a multi-supplier system with a finite-time horizon Fulltext Access 16 Pages 2007
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine Fulltext Access 16 Pages 2007
Applications of Hierarchical Reasoning in the Verification of Complex Systems 3 Fulltext Access 16 Pages 2007
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs Fulltext Access 16 Pages 2007
An approximate decomposition algorithm for scheduling on parallel machines with heads and tails Fulltext Access 16 Pages 2007
Semi-Automated Component-Based Development of Formally Verified Software Fulltext Access 16 Pages 2007
Soft-sensing of level of satisfaction in TOC product-mix decision heuristic using robust fuzzy-LP Fulltext Access 16 Pages 2007
Satisfiability and completeness of protocols for electronic negotiations Fulltext Access 16 Pages 2007
Flexible time-varying optimization methodology for the solution of groundwater management problems Fulltext Access 16 Pages 2007
An application of Special Ordered Sets to a periodic milk collection problem Fulltext Access 16 Pages 2007
Using Bayesian networks for bankruptcy prediction: Some methodological issues Fulltext Access 16 Pages 2007
Designing a quantity discount scheme for a newsvendor-type product with numerous heterogeneous retailers Fulltext Access 16 Pages 2007
Local dominance and local recombination in MOEAs on 0/1 multiobjective knapsack problems Fulltext Access 16 Pages 2007
Risk-averse profit-based optimal scheduling of a hydro-chain in the day-ahead electricity market Fulltext Access 16 Pages 2007
Challenges of continuous global optimization in molecular structure prediction Fulltext Access 16 Pages 2007
A tabu search algorithm for a two-dimensional non-guillotine cutting problem Fulltext Access 16 Pages 2007
Delivery itineraries and distribution capacity of a freight network with time slots Fulltext Access 16 Pages 2007
A column generation approach to the heterogeneous fleet vehicle routing problem Fulltext Access 16 Pages 2007
Flow shop scheduling problems with decreasing linear deterioration under dominant machines Fulltext Access 16 Pages 2007
Outsourcing or capacity expansions: Application of activity-based costing model on joint products decisions Fulltext Access 16 Pages 2007
Improving metaheuristics convergence properties in inductive query by example using two strategies for reducing the search space Fulltext Access 16 Pages 2007
Computer assisted customer churn management: State-of-the-art and future trends Fulltext Access 16 Pages 2007
Discrete bandwidth allocation considering fairness and transmission load in multicast networks Fulltext Access 16 Pages 2007
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems 1 Fulltext Access 16 Pages 2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources 1 Fulltext Access 16 Pages 2007
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Fulltext Access 16 Pages 2007
Architectural Interoperability Checking in Visual Coordination Networks 1 Fulltext Access 16 Pages 2007
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode Fulltext Access 16 Pages 2007
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking Fulltext Access 16 Pages 2007
Stochastic Concurrent Constraint Programming and Differential Equations Fulltext Access 16 Pages 2007
Parametric Performance Contracts for Software Components with Concurrent Behaviour Fulltext Access 16 Pages 2007
Autonomic Adaptation solution based on Service-Context Adequacy Determination Fulltext Access 16 Pages 2007