6607 search results - page 872 / 1322 » Making TeX Work |
195
click to vote
PPAM
2005
Springer
16 years 11 days ago
2005
Springer
We present a web computing library (PUBWCL) in Java that allows to execute tightly coupled, massively parallel algorithms in the bulk-synchronous (BSP) style on PCs distributed ove...
196
click to vote
SACRYPT
2005
Springer
16 years 11 days ago
2005
Springer
The ability to link two different sightings of the same Radio Frequency Identification (RFID) tag enables invasions of privacy. The problem is aggravated when an item, and the ta...
179
click to vote
VSTTE
2005
Springer
16 years 11 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
181
click to vote
WINE
2005
Springer
16 years 11 days ago
2005
Springer
We consider a class of networks where n agents need to send their traffic from a given source to a given destination over m identical, non-intersecting, and parallel links. For suc...
187
click to vote
ACMDIS
2004
ACM
16 years 10 days ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...