894 search results - page 79 / 179 » Universal Relations and |
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
This paper documents the progression through 4 methods of orienting incoming students in the use of Syracuse University’s computer systems. It discuses design issues involving: ...
ICCBSS
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This paper describes enhancements being made to the University of Southern California’s COnstructive COTS (COCOTS) integration cost model to address security concerns. ...
CSFW
2002
IEEE
14 years 1 months ago
2002
IEEE
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe the mechanization of recent examples of compositional reasoning, due to Charpentier and Chandy [4]. The examples illustrate a new theory for composition proposed by Ch...