4615 search results - page 771 / 923 » Virtual Classes and Their Implementation |
158
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
170
click to vote
IDMS
2001
Springer
15 years 10 months ago
2001
Springer
A number of research studies show that the operating system has a substantial influence on communication delay in distributed environments. Thus, in order to provide applications w...
134
click to vote
PCM
2001
Springer
15 years 10 months ago
2001
Springer
It is very common that a user likes to collect many multimedia files of their interests from the web or other sources for his/her daily use, such as in emails, presentations, and t...
166
click to vote
RECOMB
2001
Springer
15 years 10 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
168
click to vote
WEBDB
2001
Springer
15 years 10 months ago
2001
Springer
Indexing schemes for semistructured data have been developed in recent years to optimize path query processing by summarizing path information. However, most of these schemes can ...