13603 search results - page 2713 / 2721 » On the Computational Complexity of Cut-Reduction |
TAMC
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. In this paper, we give streaming algorithms for some problems which are known to be in deterministic log-space, when the number of passes made on the input is unbounded. ...
TRUST
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. Increasing adoption of smartphones in recent times has begun to attract more and more malware writers towards these devices. Among the most prominent and widely adopted o...
WOLLIC
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
HICSS
2002
IEEE
14 years 9 days ago
2002
IEEE
One trend in day-to-day computing involves moving seamlessly from large powerful workstations to small handheld devices. A second trend is continuous collaboration with colleagues...
ICNP
2002
IEEE
14 years 9 days ago
2002
IEEE
The rapid advancement in wireless communication technology has spurred significant interest in the design and development of enhanced TCP protocols. Among them, TCP Westwood (TCPW...