15644 search results - page 2480 / 3129 » Brittle System Analysis |
190
click to vote
SAC
2005
ACM
16 years 25 days ago
2005
ACM
In traditional access control models like MAC, DAC, and RBAC, authorization decisions are determined according to identities of subjects and objects, which are authenticated by a ...
193
Voted
ADBIS
2005
Springer
16 years 25 days ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
198
Voted
KDD
2005
ACM
16 years 24 days ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
211
Voted
CCS
2004
ACM
16 years 21 days ago
2004
ACM
It is widely believed that diversity in operating systems, software packages, and hardware platforms will decrease the virulence of worms and the effectiveness of repeated applic...
208
Voted
TACAS
2004
Springer
16 years 19 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...