5599 search results - page 87 / 1120 » Abstract State Services |
222
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- The use of atomic commit protocols in mobile adhoc networks involves difficulties in setting up reasonable timeouts for aborting a pending distributed transaction. This ...
106
click to vote
CMSB
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
MHCI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
114
click to vote
WIA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Hopcroft’s algorithm for minimizing a deterministic automaton has complexity O(n log n). We show that this complexity bound is tight. More precisely, we provide a famil...
106
click to vote
FSE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we present an efficient algorithm for the retrieval of the RC4 secret key, given an internal state. This algorithm is several orders of magnitude faster tha...