12981 search results - page 2355 / 2597 » Model Checking (Abstract) |
121
click to vote
CIA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The rapid advances in the computer industry allow building larger systems that require mass storage volumes. As storage space increases, its management becomes increasing...
140
click to vote
CTRSA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Known compact e-cash schemes are constructed from signature schemes with efficient protocols and verifiable random functions. In this paper, we introduce a different ap...
133
click to vote
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
The domain-specific track evaluates retrieval models for structured scientific bibliographic collections in English, German and Russian. Documents contain elements (title, abstrac...
141
click to vote
COCOON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Protein-protein interactions (PPIs) are one of the most important mechanisms in cellular processes. To model protein interaction sites, recent studies have suggested to f...
139
click to vote
COCOON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We model a network in which messages spread by a simple directed graph G = (V, E) [1] and a function : V N mapping each v V to a positive integer less than or equal to...