79 search results - page 12 / 16 » Towards an Understanding of Security Concerns within Communi... |
IFL
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
CHI
2006
ACM
14 years 7 months ago
2006
ACM
Within the CHI community there is growing interest in moving beyond cognition and expanding into the social, emotional, and bodily aspects of the human-computer experience. Sex li...
JSSPP
2007
Springer
14 years 1 months ago
2007
Springer
The TeraGrid is a closely linked community of diverse resources: computational, data, and experimental, e.g., the imminent very large computational system at the University of Tex...
EGC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe the idea of a Science Gateway, an applicationspeciļ¬c task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...