1833 search results - page 326 / 367 » Mechanized Verification with Sharing |
ICPADS
2006
IEEE
14 years 5 months ago
2006
IEEE
One of the guiding principles of the Grid is local (site) autonomy. Resource owners maintain control over their resources even when those resources are part of a larger Grid. In o...
NDSS
2006
IEEE
14 years 5 months ago
2006
IEEE
Software monocultures are usually considered dangerous because their size and uniformity represent the potential for costly and widespread damage. The emerging concept of collabor...
CLUSTER
2005
IEEE
14 years 4 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
WOWMOM
2005
ACM
14 years 4 months ago
2005
ACM
— Many MAC sub-layer protocols for supporting the usage of directional antennas in ad hoc networks have been proposed in literature. However, there remain two open issues that ar...
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
There has been much research investigating team cognition, naturalistic decision making, and collaborative technology as it relates to real world, complex domains of practice. How...