64
Voted
CIT
2005
Springer
15 years 13 days ago
2005
Springer
70
Voted
CAI
2005
Springer
15 years 13 days ago
2005
Springer
76
Voted
CAI
2005
Springer
15 years 13 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.,...
79
Voted
CAI
2005
Springer
15 years 13 days ago
2005
Springer
102
Voted
CAI
2005
Springer
15 years 13 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 ...
69
Voted
ASC
2005
15 years 14 days ago
2005
120
click to vote
TC
2008
15 years 14 days 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...
90
Voted
TC
2008
15 years 14 days 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...
112
Voted
TC
2008
15 years 14 days 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...
99
Voted
TC
2008
15 years 14 days 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...