1419 search results - page 177 / 284 » Notes on Formalizing Context |
139
click to vote
CSFW
2003
IEEE
15 years 6 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
DEXAW
2003
IEEE
15 years 6 months ago
2003
IEEE
A challenging task in security engineering concerns the specification and integration of security with other requirements at the top level of requirements engineering. Empirical ...
106
Voted
HPDC
2003
IEEE
15 years 6 months ago
2003
IEEE
Dynamic, heterogenous and distributively owned resource environments present unique challenges to the problems of resource representation, allocation and management. Conventional ...
110
click to vote
IEEEAMS
2003
IEEE
15 years 6 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
100
click to vote
WETICE
2003
IEEE
15 years 6 months ago
2003
IEEE
Recent advances in networking technology have increased the potential for dynamic enterprise collaborations between an open set of entities on a global scale. The security of thes...