Sciweavers

CAI
2005
Springer
13 years 12 months ago
Behavioural Equivalences on Finite-State Systems are PTIME-hard
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.,...
Zdenek Sawa, Petr Jancar
CAI
2005
Springer
13 years 12 months ago
Mobile Agent System Framework Suitable for Scalable Networks
Francisco Maciá Pérez, Juan Manuel G...
CAI
2005
Springer
13 years 12 months ago
Development of Threat Evaluation Tool for Distributed Network Environment
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 ...
Keun-Hee Han, Il-Gon Kim, Kang-Won Lee, Ji-Yeon Ch...