735 search results - page 134 / 147 » A Mechanization of Phylogenetic Trees |
191
click to vote
ICWS
2009
IEEE
15 years 3 months ago
2009
IEEE
DHTs are scalable, self-organizing, and adaptive to underlying topology changes, thus being a promising infrastructure for realizing efficient Web service discovery. Range queries...
182
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Code clones are similar code fragments that occur at multiple locations in a software system. Detection of code clones provides useful information for maintenance, reengineering, ...
200
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
168
click to vote
LCN
2007
IEEE
16 years 9 days ago
2007
IEEE
—Multicasting has not been widely adopted until now, due to lack of access control over the group members. The Authentication, Authorization and Accounting (AAA) protocols are be...
186
click to vote
INFOCOM
2007
IEEE
16 years 8 days ago
2007
IEEE
— Group communications are important in Mobile Ad hoc Networks (MANET). Multicast is an efficient method to implement the group communications. However, it is challenging to imp...