15888 search results - page 2756 / 3178 » Supporting human-intensive systems |
174
click to vote
MKM
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
159
click to vote
NOSSDAV
2004
Springer
16 years 13 days ago
2004
Springer
In recent years, several architectures have been proposed and developed for supporting streaming applications that take advantage of multiple paths through the network simultaneou...
166
click to vote
PDCAT
2004
Springer
16 years 13 days ago
2004
Springer
Malicious codes and worms comprise the largest portion of the loss caused the security problem in the Internet. Small worms such as the āBlasterā spread quickly through the eno...
180
click to vote
PDCAT
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. This paper proposes a novel View-Oriented Parallel Programming style for parallel programming on cluster computers. ViewOriented Parallel Programming is based on Distribu...
170
click to vote
SAT
2004
Springer
16 years 13 days ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...