Refinement Sensitive Formal Semantics of State Machines With Persistent Choice Fulltext Access 16 Pages 2009
A Semantic Condition for Data Independence and Applications in Hardware Verification Fulltext Access 16 Pages 2009
Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol Fulltext Access 16 Pages 2009
Verifying Communication Protocols Using Live Sequence Chart Specifications Fulltext Access 16 Pages 2009
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments Fulltext Access 16 Pages 2009
Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA Fulltext Access 16 Pages 2009
A decision support for identifying crucial knowledge requiring capitalizing operation Fulltext Access 16 Pages 2009
Optimal policy for an inventory system with backlogging and all-units discounts: Application to the composite lot size model Fulltext Access 16 Pages 2009
A conflict analysis approach for illuminating distributional issues in sustainability policy Fulltext Access 16 Pages 2009
Optimal integrated production and inventory control of an assemble-to-order system with multiple non-unitary demand classes Fulltext Access 16 Pages 2009
Mixed-integer programming approaches for index tracking and enhanced indexation Fulltext Access 16 Pages 2009
Coordinated decisions for substitutable products in a common retailer supply chain Fulltext Access 16 Pages 2009
Multi-ant colony system (MACS) for a vehicle routing problem with backhauls Fulltext Access 16 Pages 2009
Nonstationary analysis of the loss queue and of queueing networks of loss queues Fulltext Access 16 Pages 2009
Balancing assembly lines with variable parallel workplaces: Problem definition and effective solution procedure Fulltext Access 16 Pages 2009
Reasoning in Abella about Structural Operational Semantics Specifications Fulltext Access 16 Pages 2009
Equational Abstractions for Reducing the State Space of Rewrite Theories Fulltext Access 16 Pages 2009
Adaptive Latency Insensitive Protocols and Elastic Circuits with Early Evaluation: A Comparative Analysis Fulltext Access 16 Pages 2009
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation Fulltext Access 16 Pages 2009
Using CLP Simplifications to Improve Java Bytecode Termination Analysis Fulltext Access 16 Pages 2009
Reconstruction of Partial Orders and List Representation as Random Structures Fulltext Access 16 Pages 2009
Definite Descriptions and Dijkstra's Odd Powers of Odd Integers Problem Fulltext Access 16 Pages 2009
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol Fulltext Access 16 Pages 2009
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis Fulltext Access 16 Pages 2009
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives Fulltext Access 16 Pages 2009
Improved Continuous Approximation of PEPA Models through Epidemiological Examples Fulltext Access 16 Pages 2009
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures Fulltext Access 16 Pages 2009
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition Fulltext Access 16 Pages 2009
Rate avalanche: Effects on the performance of multi-rate 802.11 wireless networks Fulltext Access 17 Pages 2009
Modelling thermal processes in buildings using an object-oriented approach and Modelica Fulltext Access 17 Pages 2009
Modeling and analysis of preloaded liquid spring/damper shock absorbers Fulltext Access 17 Pages 2009
V3COCA: An effective clustering algorithm for complicated objects and its application in breast cancer research and diagnosis Fulltext Access 17 Pages 2009
A cooperative parallel tabu search algorithm for the quadratic assignment problem Fulltext Access 17 Pages 2009
TS2PACK: A two-level tabu search for the three-dimensional bin packing problem Fulltext Access 17 Pages 2009
Inventory control with product returns: The impact of imperfect information Fulltext Access 17 Pages 2009
Maximizing business value by optimal assignment of jobs to resources in grid computing Fulltext Access 17 Pages 2009
Radial and non-radial decompositions of profit change: With an application to Indian banking Fulltext Access 17 Pages 2009