CAI
2005
Springer
14 years 14 days ago
2005
Springer
CAI
2005
Springer
14 years 14 days ago
2005
Springer
The paper shows a logspace-reduction from the boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (i.e.,...
CAI
2005
Springer
14 years 14 days ago
2005
Springer
CAI
2005
Springer
14 years 14 days ago
2005
Springer
Current information protection systems only detect and warn against individual intrusion, and are not able to provide a collective and synthesized alert message. In this paper, we ...