9626 search results - page 1649 / 1926 » Invariant Based Programming |
157
click to vote
HUC
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. NearMe is a server, algorithms, and application programming interfaces (APIs) for clients equipped with 802.11 wireless networking (Wi-Fi) to compute lists of people and ...
218
click to vote
IFIP
2004
Springer
16 years 9 hour ago
2004
Springer
: Mobile Ad hoc Networks are characterized by multi-hop wireless links, without any infrastructure, and frequent host mobility. A plethora of routing protocols has been proposed. A...
149
click to vote
IFIP
2004
Springer
16 years 9 hour ago
2004
Springer
: Handoff at the link layer 2 (L2) consists of three phases including scanning, authentication, and reassociation. Among the three phases, scanning is dominant in terms of time del...
214
click to vote
IFIP
2004
Springer
16 years 9 hour ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
167
click to vote
ISMIR
2004
Springer
16 years 7 hour ago
2004
Springer
In the last few years, several algorithms for the automatic alignment of audio and score data corresponding to the same piece of music have been proposed. Among the major drawback...