Sciweavers

3604 search results - page 96 / 721
» All Common Subsequences
Sort
View
CORR
2011
Springer
204views Education» more  CORR 2011»
14 years 7 months ago
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple ...
William E. Walsh, Michael P. Wellman
CCE
2011
14 years 7 months ago
Separation of butanol from acetone-butanol-ethanol fermentation by a hybrid extraction-distillation process
The alternative fuel butanol can be produced via acetone-butanol-ethanol (ABE) fermentation from renewable resources, i.e. biomass. Expensive feedstocks and the high costs for the...
Korbinian Kraemer, Andreas Harwardt, Rob Bronneber...
130
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
Merging partial behavioural models
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
Marsha Chechik, Sebastián Uchitel
CORR
2007
Springer
70views Education» more  CORR 2007»
15 years 3 months ago
Secure Broadcasting
Abstract—We study a problem of broadcasting confidential messages to multiple receivers under an information-theoretic secrecy constraint. Two scenarios are considered: 1) all r...
Ashish Khisti, Aslan Tchamkerten, Gregory W. Worne...
ICFP
2009
ACM
16 years 4 months ago
Partial memoization of concurrency and communication
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jaga...