Sciweavers

3428 search results - page 122 / 686
» Making the Case
Sort
View
WSC
2004
15 years 5 months ago
Simulation, a Framework for Analysing SME Supply Chains
The following paper briefly presents the formulation and development of a case study supply chain simulation model as developed for an industrial company. The case study company i...
P. J. Byrne, Cathal Heavey
JAPLL
2006
114views more  JAPLL 2006»
15 years 4 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle
ENTCS
2007
83views more  ENTCS 2007»
15 years 4 months ago
Enhancing Theorem Prover Interfaces with Program Slice Information
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
Louise A. Dennis
ANOR
2005
98views more  ANOR 2005»
15 years 4 months ago
Condorcet Winners for Public Goods
In this work, we consider a public facility allocation problem decided through a voting process under the majority rule. A location of the public facility is a majority rule winner...
Lihua Chen, Xiaotie Deng, Qizhi Fang, Feng Tian
TON
2010
168views more  TON 2010»
14 years 11 months ago
Engineering Wireless Mesh Networks: Joint Scheduling, Routing, Power Control, and Rate Adaptation
Abstract--We present a number of significant engineering insights on what makes a good configuration for medium- to largesize wireless mesh networks (WMNs) when the objective funct...
Jun Luo, Catherine Rosenberg, André Girard