Sciweavers

3604 search results - page 96 / 721
» All Common Subsequences
Sort
View
CORR
2011
Springer
204views Education» more  CORR 2011»
14 years 3 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 3 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...
SIGSOFT
2004
ACM
16 years 19 days 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»
14 years 12 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 16 days 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...