1255 search results - page 60 / 251 » A Proof Environment for the Development of Group Communicati... |
LCN
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we propose a high performance parallel file system over iSCSI (iPVFS) for cluster computing. iPVFS provides a cost-effective solution for heterogeneous cluster envi...
BMCBI
2006
13 years 9 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
POPL
2001
ACM
14 years 9 months ago
2001
ACM
We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial propert...
ACMDIS
2008
ACM
13 years 11 months ago
2008
ACM
This paper provides details of an in-depth investigation into how racing sailors use information displays and devices, and shows that these devices act as communication loci and i...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
While tactical command. control and communication environments might appear to be entirely instrumental in nature, they nevertheless provide a setting for social interaction. This...