2850 search results - page 417 / 570 » On Timed Models and Full Abstraction |
147
click to vote
GD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. One of the most popular graph drawing methods is based on achieving graph-theoretic target distances. This method was used by Kamada and Kawai [15], who formulated it as ...
158
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
172
click to vote
ISOLA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
184
click to vote
INFOCOM
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
149
click to vote
BTW
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that...