238 search results - page 48 / 48 » Security Control for COTS Components |
ICPADS
2006
IEEE
13 years 11 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...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
EUROPAR
2009
Springer
13 years 10 months ago
2009
Springer
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...