3865 search results - page 712 / 773 » From Bidirectionality to Alternation |
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
The Mobile IP (MIP) protocol for IP version 4 provides continuous Internet connectivity to mobile hosts. However, currently it has some drawbacks in the areas of survivability, per...
CAV
1999
Springer
15 years 4 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
ECAL
1999
Springer
15 years 4 months ago
1999
Springer
Categorization dynamics as the clustering of words in word relation is studied by a constructive approach which is suited to inquire evolutionary linguistics with dynamical view on...
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
Imagine some program and a number of changes. If none of these changes is applied (“yesterday”), the program works. If all changes are applied (“today”), the program does n...
ICDT
1999
ACM
15 years 4 months ago
1999
ACM
A large number of database index structures have been proposed over the last two decades, and little consensus has emerged regarding their relative e ectiveness. In order to empir...