3149 search results - page 510 / 630 » Users in Context |
159
click to vote
TACAS
2007
Springer
16 years 3 days ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
156
click to vote
WEBDB
2007
Springer
16 years 2 days ago
2007
Springer
Publish/subscribe (or pub/sub) systems perform asynchronous message transmission, from publishers to subscribers, without any of the parties having knowledge of the other. The pub...
152
click to vote
CCGRID
2006
IEEE
16 years 1 days ago
2006
IEEE
A challenging issue facing Grid communities is that while Grids can provide access to many heterogeneous resources, the resources to which access is provided often do not match th...
181
click to vote
FOCS
2006
IEEE
16 years 1 days ago
2006
IEEE
There is a vast body of work on implementing anonymous communication. In this paper, we study the possibility of using anonymous communication as a building block, and show that o...
147
click to vote
HICSS
2006
IEEE
16 years 1 days ago
2006
IEEE
Profiles have become a common mechanism for presenting one’s identity online. With the popularity of online social networking services such as Friendster.com, Profiles have been...