CIT
2005
Springer
13 years 10 months ago
2005
Springer
CAI
2005
Springer
13 years 10 months ago
2005
Springer
CAI
2005
Springer
13 years 10 months 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
13 years 10 months ago
2005
Springer
CAI
2005
Springer
13 years 10 months 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 ...
ASC
2005
13 years 10 months ago
2005
TC
2008
13 years 10 months ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
TC
2008
13 years 10 months ago
2008
This paper presents a new coverage formulation addressing the quality of service of sensor networks that cooperatively detect targets traversing a region of interest. The problem o...
TC
2008
13 years 10 months ago
2008
As the scale of high-performance computing (HPC) continues to grow, failure resilience of parallel applications becomes crucial. In this paper, we present FT-Pro, an adaptive fault...
TC
2008
13 years 10 months ago
2008
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...