3885 search results - page 186 / 777 » Clarifying Goal Models |
148
click to vote
AIMSA
2000
Springer
15 years 9 months ago
2000
Springer
The paper discusses the potential of the usage of Extended Boolean operations for personalized information delivery on the Internet based on semantic vector representation models. ...
147
click to vote
DIAU
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a security analysis of Onion Routing, an application independent infrastructure for tra c-analysis-resistant and anonymous Internet connections. It also includ...
118
click to vote
CSFW
1999
IEEE
15 years 9 months ago
1999
IEEE
We use a compositional framework to model security architectures involving heterogeneous and distributed security functions. Our goal is to assist the ITSEC evaluation of suitabil...
130
click to vote
AIML
2006
15 years 6 months ago
2006
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
119
click to vote
CASCON
2006
15 years 6 months ago
2006
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protect...