484 search results - page 91 / 97 » Design and Implementation of Distributed Task Sequencing on ... |
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper describes the progress of the BIP2000 project. This project, in which four laboratories are involved for 4 years, as uimed at the realization of the lower part of an an...
SOUPS
2006
ACM
14 years 1 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
Nowadays the success of many e-commerce applications, such as on-line banking, depends on their reliability, robustness and security. Designing a web server architecture that keep...
ICCD
2000
IEEE
13 years 11 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
BMCBI
2010
13 years 7 months ago
2010
Background: In recent years, the demand for computational power in computational biology has increased due to rapidly growing data sets from microarray and other high-throughput t...