3103 search results - page 86 / 621 » Locating Features in Distributed Systems |
131
click to vote
NAR
2002
15 years 2 months ago
2002
euGenes is a genome information system and database that provides a common summary of eukaryote genes and genomes, at web site http://iubio.bio.indiana.edu/eugenes/. Seven popular...
134
click to vote
PARA
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Distributed cluster environments are becoming popular platforms for high performance computing in lieu of single-vendor supercomputers. However, the reliability and susta...
115
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These e...
126
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
128
click to vote
ERCIM
2008
15 years 2 months ago
2008
The increasing complexity of distributed embedded systems, as found today in airplanes or cars, becomes more and more a critical cost-factor for their development. Model-based app...