AbstractAbstractAbstractAbstract This paper takes a critical look at electronic markets. Through an examination of Hong Kong’s air cargo industry, where an electronic network rec...
The bitstate hashing, or supertrace, technique was introduced in 1987 as a method to increase the quality of verification by reachability analyses for applications that defeat anal...
d Abstract) LYDIA E. KAVRAKI JEAN-CLAUDE LATOMBE RAJEEV MOTWANI ¡ PRABHAKAR RAGHAVAN ¢ The subject of this paper is the analysis of a randomized preprocessing scheme that ...
Lydia E. Kavraki, Jean-Claude Latombe, Rajeev Motw...
The Database of Ribosomal Cross-links (DRC) provides a complete collection of all the published data produced by cross-linking studies on the Escherichia coli ribosome, as well as...
Pavel V. Baranov, Petr V. Sergiev, Olga A. Dontsov...
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...