Multiple-objective scheduling and real-time dispatching for the semiconductor manufacturing system Fulltext Access 19 Pages 2009
DEA–DA for bankruptcy-based performance assessment: Misclassification analysis of Japanese construction industry Fulltext Access 19 Pages 2009
A novel approach to determine cell formation, intracellular machine layout and cell layout in the CMS problem based on TOPSIS method Fulltext Access 19 Pages 2009
Ant colony optimization for the two-dimensional loading vehicle routing problem Fulltext Access 19 Pages 2009
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity Fulltext Access 19 Pages 2009
Finding the longest common subsequence for multiple biological sequences by ant colony optimization Fulltext Access 19 Pages 2009
Operational Termination of Membership Equational Programs: the Order-Sorted Way Fulltext Access 19 Pages 2009
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets Fulltext Access 19 Pages 2009
Scheduling jobs on a single machine to maximize the total revenue of jobs Fulltext Access 19 Pages 2009
A cross entropy-Lagrangean hybrid algorithm for the multi-item capacitated lot-sizing problem with setup times Fulltext Access 19 Pages 2009
On the modelling and simulation of the competition for a secession under media influence by active particles methods and functional subsystems decomposition Fulltext Access 19 Pages 2009
A heuristic based on multi-exchange techniques for a regional fleet assignment location-routing problem Fulltext Access 19 Pages 2009
Minimizing makespan in permutation flow shop scheduling problems using a hybrid metaheuristic algorithm Fulltext Access 19 Pages 2009
Bond graph modelling and simulation of multidisciplinary systems – An introduction Fulltext Access 19 Pages 2009
The management of intrusion detection: Configuration, inspection, and investment Fulltext Access 19 Pages 2009
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs Fulltext Access 19 Pages 2009
A Transformational Approach to Prove Outermost Termination Automatically Fulltext Access 19 Pages 2009
Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions Fulltext Access 19 Pages 2009
Side-payment contracts in two-person nonzero-sum supply chain games: Review, discussion and applications Fulltext Access 19 Pages 2009
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA Fulltext Access 19 Pages 2009
Object oriented modelling and simulation of hydropower plants with run-of-river scheme: A new simulation tool Fulltext Access 20 Pages 2009
A DPS-based system modelling method for 3D-structures simulation in manufacturing processes Fulltext Access 20 Pages 2009
Magnetizing inrush current identification using wavelet based gaussian mixture models Fulltext Access 20 Pages 2009
Decomposing capacity utilization in data envelopment analysis: An application to banks in India Fulltext Access 20 Pages 2009
A Stackelberg game and its improvement in a VMI system with a manufacturing vendor Fulltext Access 20 Pages 2009
On the superiority of pulsing under a concave advertising market potential function Fulltext Access 20 Pages 2009
Traffic assignment model with fuzzy level of travel demand: An efficient algorithm based on quasi-Logit formulas Fulltext Access 20 Pages 2009
Effects of sourcing structure on performance in a multiple-product assemble-to-order supply chain Fulltext Access 20 Pages 2009
Implementation of an Orchestration Language as a Haskell Domain Specific Language Fulltext Access 20 Pages 2009
Modeling and Analyzing the Implementation of Latency-Insensitive Protocols Using the Polychrony Framework Fulltext Access 20 Pages 2009
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM Fulltext Access 20 Pages 2009
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information Fulltext Access 20 Pages 2009
Galerkin alternating-direction method for a kind of three-dimensional nonlinear hyperbolic problems Fulltext Access 20 Pages 2009
Towards a general model of the multi-criteria workflow scheduling on the grid Fulltext Access 20 Pages 2009
A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude Fulltext Access 20 Pages 2009
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names Fulltext Access 20 Pages 2009
On Refinement-Closed Security Properties and Nondeterministic Compositions Fulltext Access 20 Pages 2009
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints Fulltext Access 21 Pages 2009
Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes Fulltext Access 21 Pages 2009
Optimal production plans and shipment schedules in a supply-chain system with multiple suppliers and multiple buyers Fulltext Access 21 Pages 2009
A User Interface for a Mathematical System that Allows Ambiguous Formulae Fulltext Access 21 Pages 2009
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation Fulltext Access 21 Pages 2009