6978 search results - page 1052 / 1396 » On Proofs in System P |
167
click to vote
ESCIENCE
2005
IEEE
16 years 14 days ago
2005
IEEE
Volunteer computing projects use a task server to manage work. Clients periodically communicate with the server to report completed tasks and get new tasks. The rate at which the ...
122
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Past research in deception detection at the University of Arizona has guided the investigation of intent detection. A theoretical foundation and model for the analysis of intent d...
199
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
Existing ad hoc routing protocols are either unicast or multicast. In this paper we propose a simple extension to the Dynamic Source Routing Protocol (DSR) to cater for group comm...
161
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper develops and tests a model of the impact of licensing restrictiveness and organizational sponsorship on the popularity and vitality of open source software (OSS) develo...
185
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
One of the challenges in delivering e-government services is to design the Web sites to make it easier for citizens to find desired information. However, little work is found to e...