1992 search results - page 245 / 399 » On the (limited) power of non-equivocation |
178
click to vote
CONEXT
2006
ACM
16 years 15 days 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...
184
click to vote
MINENET
2006
ACM
16 years 14 days 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 ...
275
click to vote
MSWIM
2006
ACM
16 years 14 days 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...
155
click to vote
PPOPP
2006
ACM
16 years 14 days 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 ...
176
click to vote
SIGSOFT
2006
ACM
16 years 14 days 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...