26071 search results - page 4954 / 5215 » Making the |
123
click to vote
INTERFACES
2007
15 years 4 months ago
2007
We trace the evolution of the auto component supply chain in India (following the opening of the Indian economy in 1990) using a combination of data on firm and sectoral performan...
134
click to vote
TCOM
2008
15 years 4 months ago
2008
Multiple-input multiple-output (MIMO) system with multicode transmission can provide high speed data services by transmitting independent parallel substreams from multiple antennas...
171
click to vote
ASE
2005
15 years 4 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
156
click to vote
ASE
2005
15 years 4 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
121
click to vote
IOR
2007
15 years 4 months ago
2007
We analyze a general market for an industry of competing service facilities. Firms differentiate themselves by their price levels and the waiting time their customers experience,...