31686 search results - page 40 / 6338 » Resource typing in Guru |
PLPV
2010
ACM
14 years 4 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...
IPPS
2009
IEEE
14 years 2 months ago
2009
IEEE
—The problem of finding efficient workload distribution techniques is becoming increasingly important today for heterogeneous distributed systems where the availability of comp...
MHCI
2009
Springer
14 years 2 months ago
2009
Springer
In this article we describe the Sweep-Shake system, a novel, low interaction cost approach to supporting the spontaneous discovery of geo-located information. By sweeping a mobile...
IAT
2008
IEEE
2008
IEEE
Adapting to Changing Resource Requirements for Coalition Formation in Self-Organized Social Networks
14 years 2 months ago
Coalition formation in social networks, consisting of a graph of interdependent agents, allows many choices of which task to select and with whom to partner in the social network....
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
Protein Data Integration approaches at the moment considers data sources as data repositories, but not as applications; which in turn may embody complex interactions with other da...