4171 search results - page 534 / 835 » Choice numbers of graphs |
156
click to vote
VMCAI
2005
Springer
16 years 5 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
134
click to vote
SIGMETRICS
2004
ACM
16 years 4 days ago
2004
ACM
Virtual Private Networks (VPNs) feature notable characteristics in structure and traffic patterns that allow for efficient resource allocation. A strategy that exploits the underl...
210
click to vote
MIDDLEWARE
2004
Springer
16 years 2 days ago
2004
Springer
Data grids, large scale web applications generating dynamic content and database service providing pose significant scalability challenges to database engines. Replication is the ...
141
click to vote
DATE
2003
IEEE
16 years 12 hour ago
2003
IEEE
Test pattern decompression techniques are bounded with the algorithm of test pattern ordering and test data flow controlling. Some of the methods could have more sophisticated sor...
141
click to vote
HICSS
2003
IEEE
16 years 8 hour ago
2003
IEEE
The recent interest in ad hoc networks, in general, and in the Bluetooth technology, in particular, has stimulated much research in algorithms for topology control of such network...