1992 search results - page 245 / 399 » On the (limited) power of non-equivocation |
129
click to vote
CONEXT
2006
ACM
15 years 8 months ago
2006
ACM
In the context of a reconfigurable transport protocol, this paper introduces two protocol instances based on the composition and specialisation of the TFRC congestion control and...
116
click to vote
MINENET
2006
ACM
15 years 8 months ago
2006
ACM
Recent research has proposed efficient protocols for distributed triggers, which can be used in monitoring infrastructures to maintain system-wide invariants and detect abnormal ...
125
click to vote
MSWIM
2006
ACM
15 years 8 months ago
2006
ACM
Mobile devices should allow users to exploit services anytime, without any place restriction and in a transparent way. The Bluetooth technology achieves this feature, by providing...
106
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
106
click to vote
SIGSOFT
2006
ACM
15 years 7 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...