3384 search results - page 329 / 677 » More Testable Properties |
180
click to vote
CP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract There has been considerable interest in the identification of structural properties of combinatorial problems that lead to efficient algorithms for solving them. Some of...
181
click to vote
SPIN
2007
Springer
16 years 25 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
191
click to vote
DSN
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper considers the eventual leader election problem in asynchronous message-passing systems where an arbitrary number t of processes can crash (t < n, where n is the tota...
176
click to vote
INFOCOM
2006
IEEE
16 years 23 days ago
2006
IEEE
— In the standard approach to studying connectivity, a physical layer is assumed that allows direct transmission between neighbors within some fixed distance. The graph resultin...
179
click to vote
MMSEC
2006
ACM
16 years 21 days ago
2006
ACM
The widespread use of the Internet makes software piracy and unauthorized modification easier and more frequent. Among the many techniques developed for protecting software copyr...