Clustering algorithms for scenario tree generation: Application to natural hydro inflows Fulltext Access 15 Pages 2007
Calculating distances for dissimilar strings: The shortest path formulation revisited Fulltext Access 15 Pages 2007
The p/q-active uncapacitated facility location problem: Investigation of the solution space and an LP-fitting heuristic Fulltext Access 15 Pages 2007
Trade reduction vs. multi-stage: A comparison of double auction design approaches Fulltext Access 15 Pages 2007
Framework for efficient feature selection in genetic algorithm based data mining Fulltext Access 15 Pages 2007
Modeling international investment decisions for financial holding companies Fulltext Access 15 Pages 2007
Price and quality competition: The effect of differentiation and vertical integration Fulltext Access 15 Pages 2007
A two-echelon base-stock inventory model with Poisson demand and the sequential processing of orders at the upper echelon Fulltext Access 15 Pages 2007
A Mizuno–Todd–Ye type predictor–corrector algorithm for sufficient linear complementarity problems Fulltext Access 15 Pages 2007
Multi-criteria classification – A new scheme for application of dominance-based decision rules Fulltext Access 15 Pages 2007
A dynamic adaptive local search algorithm for the circular packing problem Fulltext Access 15 Pages 2007
An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types Fulltext Access 15 Pages 2007
Sensitivity analysis for product design selection with an implicit value function Fulltext Access 15 Pages 2007
Comparison of two multicriteria decision aid methods: Net Flow and Rough Set Methods in a high yield pulping process Fulltext Access 15 Pages 2007
Information management in distributed collaborative systems: The case of collaboration studio Fulltext Access 15 Pages 2007
Control and voting power in corporate networks: Concepts and computational aspects Fulltext Access 15 Pages 2007
A single-period inventory placement problem for a supply chain with the expected profit objective Fulltext Access 15 Pages 2007
An optimization model for the design of a capacitated multi-product reverse logistics network with uncertainty Fulltext Access 15 Pages 2007
Minmax regret location–allocation problem on a network under uncertainty Fulltext Access 15 Pages 2007
Solving the short-term electrical generation scheduling problem by an adaptive evolutionary approach Fulltext Access 15 Pages 2007
A study on the persistence of Farrell’s efficiency measure under a dynamic framework Fulltext Access 15 Pages 2007
A Contract-based Approach to Specifying and Verifying Safety Critical Systems Fulltext Access 15 Pages 2007
Multi-objective time–cost trade-off in dynamic PERT networks using an interactive approach Fulltext Access 15 Pages 2007
Improved modeling and solution methods for the multi-resource routing problem Fulltext Access 15 Pages 2007
A robust optimization model for multi-site production planning problem in an uncertain environment Fulltext Access 15 Pages 2007
A branch and bound algorithm for the one-machine scheduling problem with minimum and maximum time lags Fulltext Access 15 Pages 2007
Bayesian inspection model with the negative binomial prior in the presence of inspection errors Fulltext Access 15 Pages 2007
The effect of information sharing on supply chain stability and the bullwhip effect Fulltext Access 15 Pages 2007
Using separable programming to solve the multi-product multiple ex-ante constraint newsvendor problem and extensions Fulltext Access 15 Pages 2007
A new heuristic for resource-constrained project scheduling in stochastic networks using critical chain concept Fulltext Access 15 Pages 2007
Matching daily healthcare provider capacity to demand in advanced access scheduling systems Fulltext Access 15 Pages 2007
A branch and bound algorithm for scheduling trains in a railway network Fulltext Access 15 Pages 2007
Concern-Specific Languages in a Visual Web Service Creation Environment Fulltext Access 15 Pages 2007
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming Fulltext Access 15 Pages 2007
Using Microcomponents and Design Patterns to Build Evolutionary Transaction Services Fulltext Access 15 Pages 2007
A Holistic Approach to Security Policies – Policy Distribution with XACML over COPS Fulltext Access 15 Pages 2007
An Approach for the Specification, Verification and Synthesis of Secure Systems Fulltext Access 15 Pages 2007
Implementing Relational Specifications in a Constraint Functional Logic Language Fulltext Access 15 Pages 2007
Visual Specification of Systems with Heterogeneous Coordination Models 1 Fulltext Access 15 Pages 2007
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS 1 Fulltext Access 15 Pages 2007
Design, Analysis and Performance Evaluation of Group Key Establishment in Wireless Sensor Networks 1 Fulltext Access 15 Pages 2007
Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities Fulltext Access 15 Pages 2007
Object-Oriented Structure Refinement – A Graph Transformational Approach Fulltext Access 15 Pages 2007
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers Fulltext Access 15 Pages 2007
Modeling Environment for Component Model Checking from Hierarchical Architecture Fulltext Access 15 Pages 2007
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle Fulltext Access 15 Pages 2007
Toward Automatic Concurrent Debugging Via Minimal Program Mutant Generation with AspectJ Fulltext Access 15 Pages 2007