107
Voted
CAI
2005
Springer
15 years 4 months ago
2005
Springer
115
Voted
CAI
2005
Springer
15 years 4 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.,...
119
Voted
CAI
2005
Springer
15 years 4 months ago
2005
Springer
143
Voted
CAI
2005
Springer
15 years 4 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 ...
105
Voted
ASC
2005
15 years 4 months ago
2005
160
click to vote
TC
2008
15 years 4 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...
122
click to vote
TC
2008
15 years 4 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...
153
click to vote
TC
2008
15 years 4 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...
137
Voted
TC
2008
15 years 4 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...