Sciweavers

4280 search results - page 471 / 856
» Mechanisms for information elicitation
Sort
View
AFP
2008
Springer
236views Formal Methods» more  AFP 2008»
16 years 1 months ago
A Tutorial on Parallel and Concurrent Programming in Haskell
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
Simon L. Peyton Jones, Satnam Singh
AH
2008
Springer
16 years 1 months ago
Designing a Personalized Semantic Web Browser
Web browsing is a complex activity and in general, users are not guided during browsing. Our hypothesis is that by using Semantic Web technologies and personalization methods, brow...
Melike Sah, Wendy Hall, David De Roure
BROADNETS
2007
IEEE
16 years 1 months ago
Computer worm ecology in encounter-based networks
Abstract— Encounter-based network is a frequentlydisconnected wireless ad-hoc network requiring immediate neighbors to store and forward aggregated data for information dissemina...
Sapon Tanachaiwiwat, Ahmed Helmy
COMSWARE
2007
IEEE
16 years 1 months ago
Software Architecture for Dynamic Thermal Management in Datacenters
Abstract— Minimizing the energy cost and improving thermal performance of power-limited datacenters, deploying large computing clusters, are the key issues towards optimizing the...
Tridib Mukherjee, Qinghui Tang, Corbett Ziesman, S...
GLOBECOM
2007
IEEE
16 years 1 months ago
A Novel MAC Protocol for Cooperative Downloading in Vehicular Networks
—In this paper, we propose a novel protocol called VC-MAC that utilizes the concept of cooperative communication tailored for vehicular networks, especially for gateway downloadi...
Jin Zhang, Qian Zhang, Weijia Jia