Sciweavers

1428 search results - page 115 / 286
» aims 2010
Sort
View
ENTCS
2010
99views more  ENTCS 2010»
15 years 4 months ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
ENTCS
2010
127views more  ENTCS 2010»
15 years 4 months ago
Combining Model Reductions
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
Ferdinanda Camporesi, Jérôme Feret, H...
DSS
2006
104views more  DSS 2006»
15 years 4 months ago
Supply chain information sharing in a macro prediction market
This paper aims to address supply chain partners' incentives for information sharing from an information systems design perspective. Specifically, we consider a supply chain ...
Zhiling Guo, Fang Fang, Andrew B. Whinston
ECRA
2006
164views more  ECRA 2006»
15 years 4 months ago
Comparison of product bundling strategies on different online shopping behaviors
Bundling is a very popular sales-promotion tool, in which a critical issue is to decide what products should be sold together in order to improve sales. Traditionally, this decisi...
Tzyy-Ching Yang, Hsiangchu Lai
ENTCS
2006
111views more  ENTCS 2006»
15 years 4 months ago
Token-Passing Nets: Call-by-Need for Free
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
François-Régis Sinot